From 7ef89a37c8c32aee25767ab39d109f250946dbf6 Mon Sep 17 00:00:00 2001 From: A S Date: Wed, 12 Dec 2018 16:44:02 +0100 Subject: [PATCH] Made clear that we work backwards for accoutable safety --- pdf/grandpa.pdf | Bin 300688 -> 301338 bytes pdf/grandpa.tex | 22 +++++++++++----------- 2 files changed, 11 insertions(+), 11 deletions(-) diff --git a/pdf/grandpa.pdf b/pdf/grandpa.pdf index 9c86708199873befcfc5a8ec1d7790fa3d42fbca..dbbcbe01f4966f448779df50bd02e9c811066c5b 100644 GIT binary patch delta 58240 zcmZ7718^km7clzRwr$(i#5ZZQI=F=Dq)_d+YnEy6Wk!=X9Sw zJymCBe)V+XFSM*iw0fvaFb?+gLQqf|z@fe#aKGIpP`KN4tElo~W`MAM-1D{MV$7u! zO)Ho2t#=gMYhcwxlYA1jG}k^bpnVnuRJouecXQ32P6t4mq9>tk07(8yiu zl69Wlg3PVStvH6?zgC8MbaeUe=(@Tk;o~ybdh+ZuZGF+KW%XhGd3WhP(8~`R;C21> z=yH91x;W0rUA_6)FKy7Cl}#w*iwg+wqlVP`cyN9rcKUj+7G_QR6~w#PG_lph z@tUweX+&;@Xh!CF(tLhKgJ^gBvq!F8ki2HwW}eQC9B-1t!&b>kHBRIGi0ORclAO^~ zNvVH#rtZ{rWsV9tNz?2ZL-%bH;L;HY?l5$Fn|7s0n6PfrGFa(!)tanuZY;J^s1|Lx zAt)l;e-mb+Gi0l-Ltqmv`eGzaPxE*{+t;etCKMXZ^4ir)qn(gVy@c z*uB2x&Vo2}H_P0nbMYq&-kfH7*5#WBVQ06h<}z)L8N+@dR*MUmM%K$nZE0Gc7_M?JwMhmh$o0K+Trj;*y=9$R5bRIdylC zm!4%8dbN8&UNs&@9uQrM=FjroROZWKMctu-(sVFKEd~cIN#d$hF>j+Pt8SD47n(|&Mz1%0Iqv8gyw zoOKq8x*--%XfB9TMk{kF0Unw-^MF|eC(g)mAmKTW1R+KP`ZEYKA6G~{AfPQf79&L%wsdINaYKNc+JQruTM=z?tU z$6t?wyP9Q#c#Qy*a0n(}F+*4kX~uQQ%M68=Hl-ekfTlI6)7M zl{lC1Q-p1hw)A0DBb=KT#|9GiPpK>F@#)HVrOLI~?rA)QFSWp{pK^cJ>`eLmqY>G^ z!+aoJQC1z!lN3}0n60()I&`X2T;29D_VjDAr=ND=gP$i1`yCt%j~p5#Iwo|p@#5r# zgvRazSYSC+OU2+|ON@`D<9EY7&rlZo%pwS0StCGP;yApzf2cq!Kj(J{)-bOggn2m6 zHc>08!%EBw$=5>r93th(wUodU)}UjOCJ&E_!M4l8wyTZ@>lL@@e>9c0%qk@(Qbka`hrCNv#Ae|-hZ@Ed zGxsb6UyYYLyRf1%8e!gu}UYBQ=!*wRF-HQpoc93a$!PNYurwX32Ryhq*2yT^CL&C)8RHF zPJkF_W)q*#QUKpES^vZ!Uri3*gMFDY=sd2)s`krFE0fk8x;RseCdD9}A}MH>+r)dk&^9IGu?D?>9>3vAWXmH(X=83P%W%(?EkDDhYM1ZtrncAPs>I+V zUvKUXs6HHP^;^0@`{~oeZNrC{=Rfl;w0m)(_6j{URDIaBz!K4pP&{vHABkv`ZbOlG z`J16U==Y7ZAftR93BDIx+atKp7wYBXcM2Ag6WY{cJ;YGcPwKuMSib}SYKn!l0B>LD zfI|GhAsQGKNE4+WCK`9t%Qi?9Ago75h~P95Z3TV^-)u1|xvufI3wDL2WVCUAue4>N z6vzWi@g8R*)|NCvXpn(K{4kUF2^u19GxBDHi1)=VD*RU2fC)jXDMsj2L+@NwOegx} zGfo-b@0m z4P_bvYH}sfS<4&lZFzmfzpXvyof;$p|7tu?Yz`B)`c?7}-@)RiXXT9P-JkuzuuG*d zRe#IlF5OABSOL=i%5q~XQ@nbRA!?al?5_hhLZ zD^rMxdb@8sXk~8zwYJjQtqlD8U>B$u{=iGu8wG8@-cO2@MtJlj)^G=cpasJqDPNSA zc}6%!O`x+2*Yn6i)TqY+NIz+~Po%iHU*EG$cbKEq*fm|l^b>V=DG zW2aL!pH9{I=d8GUB9=#keTmC)X_|t7;_RCLt5qUEQrRigTTV`Qxut5C7U9pp#=m5C zdwf{t!!73)#-0#;=M>8_lT{P5+N8Ar%drrd)yS;TDRLW@4M;R;946sMC#u zoxu-8rT#K_pEt*^&zFT`7P>>XeRGQZj*`sn1@C#VaciM|cy`=Bv>WfwxV#dW7(JT5PO(+I2-ge!zfc``5%2YR%t&kMl0BNQo}@hlJt@H1El5x z3}BcU*VD$+n(Tio-^o;yAaA1Zp9l=m%2({qq!j*wEw;{>Ii`Pn!Nf(il3c^B@HqlP zX)ZjCA`C}Gx8 z>@j>Oa0O)n=R#NpFwsD(MlBFQ5?OHx(1fQZ0n!^ihO+vu46?2QR}p5sQG+TC5Rc2* zcm?>dr(u)^br>ED@@H_S_RE*K2(s>=cm^@)wge|4A;Eq4T~ts8aX)KCnG1588rH13}*vjIKA$8mYW&6^~!Vb`39^!_v=W+;?UP;nQb z&YHNfercW>B{(m$jDyXT(tUbatA?nBm3ZxTM+KgOR0ad}!AT&@paT?JN@7D9nnQ8T zTc_`c?c!hNkZIpAGv3e z7mZ{iVFq%?NDFdp``j7IN0m+*u9psXJqrKjb%_;rW=?jy73|UHYIWp5=&=w1STs0J zmeno0LRybvB4YxRuzWe;Cri?a)H>CHFv3H`*1t41K^17w6 zPvYfu6}?RH3REFyE=1g(ksq!Cg6@O{&dwEOB5<<#Un4U>lVj{QyBQFlx-5UHdcwt^ z+o~QhDxcghk2Pbi=n9e78_Qi(fp}OM1ki$!NH_RK1d1)XFwdcCm@&-_lRiMAqoPX* zhLc>EIS&7>lRaCIVcA9SS)jbDXC|Aj^gfX~2F<3oZBC~U4U6qI3 z5~na$awkuKcDe+kBoFNMJQ}c6!r{AkktJ(KN==rUEJ6!x+_az5X0cI^CUo=<-BnP> z>{Rhh^UQMBuGT#Nv}qwkeq-`)TdH~qXv#UPQX6S172I?BA*==ksLk>TM}p79Jaw&m zXZ!urP#xZb3{Sm?Kfh%3PW80dRGYv8$3<&h1Qg-y*~D(w&Q-%(*tzW{m>AthcMo6t z#%U+$?%uP}gUL%2l?37m7z7{I=q7jQ(dm+Dwo~Sf&C&Md4TC35_&yPcV=Ygt^^nPb z2ihl0ATm8K#;~6T$f$+9d;o;ESGdKFjGmiC*LUdHE-Ld81Wq0EW1aSaEV!BpQKMe1 zoq{ZV@Lc%4w~DQXb*J}Ce}?ff7d=UcMI~T3WzdR48*2NgYiS2dCy&X=3{otK#s5*b z*@ZuN_)VB}4L&UuHC82rIjULn`S4@>r{=+^ZSKsPe3PaJK$pD~FV*(6`>P-!5%L!q zCC&5i)zG=ue5yW#LU1V>FqM0-H3q>c4V_sXMs3cxl;02Y2^nyS58H^1vZ6?y)!P`h2P>Fc)qQC=c zT?xcz76;ZU0d9cMB898`YiuD;_i~J;d%%HmROkaS1Nlct{#)lM@=KJ9_5%u5>c`J< zRZt4GIF7TmJ5WKwePIpUBiYn9#@H4NCM#@Nm@42kJ**78N2NAtn(q#LWe$mMXYgG@ zm0{`xLS(Yrw*1mVdQ~FsWhWup>`n}97PyM*Pv*2j0Iw!0{O4t{9dXj5R`=@iUo|s+J(Yq=E$wVMba{Y_aY#DYb7wl*Zc05W5)1>=MYDzgg@&Pri(ym% zG*P6wq+~qnJAQop;QCR?gd3eyn{slOx@#0qW#(7Q3MUb48h2PLU7A5?)zT=hXv40) z_Y)}0u`t@>wXXj|Kk@eGjj&x6Ar?@uIt#d6ZG*+a&BVdYL&Cwz&cw^bL&C+%!^FZfzaVW&i=0QwIyi&GJ9QTGW?wJ7`VndakRO zm!j1SiK6cP^B2{zj@py}9m%Q5^m*qt_*YT;No7Qt_Sx2!(X~8urcHA0q^9CU{oq{F$va|yQ%n7>cuCOKLN6qN-|5%m|3q4 zRdl{(Q$(!tBITc`h9|IV6_VaNEySl$IZd3^S(Zt02kk7SfGp02Bw;MyN?h#p$sc+7 zN&${S?+^Yj-dv8S|ICJ{E=9&yoQP{3cYK8rKHe0JBLoGb`FN{A3|0f-X`st(QΜ(|u@_J924Zx_K7ymBi)`A{TsmrGe0KfgHXE}WP zdi?xlnYPLK1Iq4@H?i7qV?tmVXbKW*{}Bbga&C%_0$jhq1z8B*CWo}*4#yknWPLjd zc-u?`DmxP>eP%RL(mOnV5E8ccK0~;luulaX1!cjz68ZJ&OcnaLF|H0?O z=72`4!q@HEI6qNge6 z=2}z~1z_NG&m}gMi`%+v8NpcJ@@l*cFZ|ef^ITVdx_O)2LOn)0{Zx}l2_nU#RIDH^ zz~*-0`G{W=z90@3j+vt^gjtv6OzvpNYWBzhm@AZ;n5eTG7I2=~>C7`3p2&gH)HnPR z#^elMh~@|;vIA=Xv2YXx9k|5ebEFVd$IL>T0C3b+zNja9d3#aZz~L~S&%SHJ8juMk za@nM3GLmflD6Gcs9uP@3xgO~DWVo$AjsLYia)VW)sN*8rTawE#DNRYI`I8Sg;Veic zAtc`KjTkzT*KQpGsabF}gbqR33?H)AvciGZpe<3kdeOm;~|z;K$P( z0U*cJ`{$Ni@5r6)2rVXFB?`MVQeTaaH__iKr`Y1_{tu5MCf%L}F~Q3#S8b~QFaF9A zdu2~xSO?qL5ixyj&Pm_?Lzb>%yC)A8H^;g65c*!%0PKdu;mb7(8>unBYh2gI``52) zw`E97>9emLOt=9B$`f~(@eL!wd+3jCels-I)Uck%^h-S%ca3E(82Z}Vu z1Q~PNFCV~)6W1kZ)Vz8DBjx?|nLe>}&qR`3*YIEYjzM94o3)Rfxg?a&mNzm;y8{kR z(wz$IAU(EGyt#>ac)SlBYefw987ruEBK7paJ{~ zGrJI4`+=J!RtMNC5_Ez|6)c6|ML)^%Q@A0l@nnbz5$+0^ONWxW{W@W2E zgkwr)dtFnz9hae`-f${R&^CfmL;!eijh50N$?VSjhub3soMH|}JsFrURGA~&AZ+05 zGAo1jA;3U=RY`{q^iK|vKZfa}co2*y)i||#^^GCz#p^zmGSgZ(bAwE zUr>`cXzxG5ZT%|nDq7FhQpIIBuMjy4D3*IZ3hxntFUG;1gxfsTiUa>BS zdZnys+3%`_Na762K58SPMG>9B;O;5!7R0g-fjZ&3`_oB{Ep3jf1Yoi1!V2ccS%Q5v zI7=^35hO%9>61;6zv!v4Cc~D;fP`b7D`64EfpT(14=bB@@)KbPJ>M)gq;2=)sHph; z8O2=UO^{mNd}m8l)zIfimw}0WCBRIS-qHeU_gi+6ok0(_oC&!LWuOzWN8qE`!_pV?fb}mQR}o#NyuR(#j^1j>mEe`v zmM0CYrO3LA2^AgLa`3Qb z;)YY^RzoobAG11aJU(Qzl=_k|&x|IAu5FpaQN0TT7?{&p5CHOr2qKLIJsaaBOnofB z6=&=xmETza3s}~gPXS0G+_mOE`9Icfpz0nX9zU;WYq&rU+ke0XdD58r>aiE@m&6AO z4bS=Wu!AUcTMJd>854l?O~zKEODx^|;~@EkE;fbl6or6l2u?EN5%*b5xJlbyZfqAm zsipMJGOae#)(F7qkixSR0k^0FnZd9a4*pkkX#$bT>l1|n852|A2%wuHbwY6WGqAO@ zp9|4kh{=YNvYPg8WH(wV&AR{~rsgldr7P3p|WaJ=x894{;s z2@BL_b65-`x7ySU7(2FJ)!@reGLD{dQclp%j4#kEnk(IIUkF7PkRiuGl~BF;0v0uF z+)1R){?rVN?JmwXpVX7h{G0iBUm*q&oj;tgZUVTj7ZOj^cJ`3@oW>w=IKIjVcQ=te z-_!p&aLkdURHICPx|S=aS2(MI0J$k)y?X{=O@Gq4H9}s933v(Z_9(RiLr`a8%aZrk zvjnt;GUfc+T%=I+dDHPfkv{==lfkKn_3*VE?7IG-C%CB6pqfO4--<_VHa`oSt0<}< z2LJ$_QGdTjxRFy-FCph{t%mWSnT^&OJ!dcWl6qIr4v~OTnW~IqKp=bORlOd$9xr=Q zcsGxjt{qu{SPsC^_;DNqpkDKDe}?8|4GLn$1fFn@4^@R{ropJ|EAErnZ25tB6mXES!e63nNy|08Rz06rk&R z!vU8P<_~%4Z4-N37hI3qg_Eu8kvmv0l?#LCVcFt?nW#l|TthUkOh9aHd-ZyZ41OC8 zj@ly-(7L6{VF-pQJ7I&G@iY!`9!hM0mzS^t3Oh)RI;p*%`AM57?NWXa!ksK5bbG*S z4O+o03g1~^HVDF4Uk1a-5RqEZ4aj{EuxqOuHA)zdMQ`7B;&K-gc!BG7J1vl@KM5gh z*x`W1TD;q?7&^z)Dnp0s#Lc=6s8%YdIFD8=c)e3@663}Bd)F8DetwP~AeA3P$nDbS zqdLPoZ0SabWL~RZ55E<{xbY+3nniQ)1>p^22d&`mTwy4NN)6NeUPeV{)NE{m@NkHvMPkB=3iA^h^Tk1$@e-r4%aqnU4U z1MC7c&XW+@e{Wi=?EG_L=>iN(GQXr|gx}0S*`b|B1fO`ln{Q7rVZb>f659$O_*fv`H)3Q#r-`J>{oAQoFJZy7XI2X^ z7&bB!!a^q?b|YnJjX^2qCm;SznLo}V3e1U+4_33DqdS&53a`KSZUfMUwrkedE^tJ< zPk=XO?Sdkz&oY|@*VQ8(UGUNH8$$oE*HH)vN)DOXbz-uZDBo89-AI<9u$$W5+TY=p zA~voTOLJ&y8LsezkJTnqw~C8c7S6-g)n$ z#$^8pTC4|6d?T|ogl??MnyoKtWjsNjto65@)+FCVR=_C_8-L>p;b}78ar^xp%4@;4 z7h4zZSUydcO{H>h^J#MX(~wcq`F1y^83|j4Hi30%Zdh7kU0#+FpEf##U zUN_H{G$`^Fi$ZM?KHEA2VocbN$cZ&I03#+M6Ar9`QFVpimx*_I@vhsSpdAB*a2I-i z#$^BF3eK#xeg5`_X!w&-qNg}rKmylv)k2PM`IQeq5#BWnA*vNX++IxYinG|e8PB`G zghW`s4f=t{gaO#xdq7V_b!OcL_51b#h*+#sl|FidYDDXt(kBLM$*e77N6h;x=KXt?Xnuu6`Vm~lr z;I8_x9A|`h56Y}DLw2{?@$WK*i)c*TACra#gqV*}MmEU`(@?4!m+0nvcl=MQImnX6 zi468peVvl9=`FH|WU#0?&kJR;V#)Qyd5wK~(%*RC`l>~l3Y8{P2Kr&%GK7uQyRXni zgR_JA$|Hb@a3WY2j%p;EnZAi#r+paLXY|eX=iFW77=HoXv*Us0fkfMvb&vRO;K>2| z(ov0#qeWES-d00wpjMZ73cZs+gYtbyJY-zSkhNZ<=_q0a9q&clZk42xEoK; z2UB-NxnZEz-BFcPh>adk#u_?o_acvV1{VY{Gr(zTkIKuk0 z5onhw&;W4}-E^vlux$~pt&C6M!=m{l`k{#F^|m=ynH9Vh#jE7qa4B5#H*3IZTgeNx zS`9FMc?52{^O(lOuR7VW@`XeValP3tPg$kt&*Dfw-cravqI(sV2_c36GE>D149T&Q zFH-A9oCR;yQgS0Ne}m|%ci1WJG}*)8YkTZ z3(_C}VaTWY5wCQEQZMk@6GmvG>Nx+*XboUXLGovqpmIxLlO=1Fyza>h4}bwn!(yIf zACGKDA}+2FjZ+emnjK1EL{rGuUb58lPP4-}iCIiQp5GLbD~sI7q4dI()-CL7*q*u! zw3*ShsZk~v8S1}#QR=YKt}wdT2vro`7Z(mtUU@+hK*cZ0DCIFhaG&I$$^Fjv zV9^K+(O!bMt07Ai&|?+8SVHE8Eb5iq=&9n+R{AK6qsFQa03XETM|D=h?lHg8{Q(xyZ z@r5ZI%H`UMlb-Y`>%#s=uj0(!Q|vzLZK4Bh8z;Nc1{=go0+PU>sonToE($=}a)=CC zN?uvAm6d1;3#sZ9H$5KurGmww&mZhK02{niQ<()6eW1z=^t#;PkL?gjQ9H^XQ61R4 z@R6U&8&sXDIAv@z&raNh*6m?eHRzf+RnV~^xGPnS}JYVp8yhN4Foy7U)OkitW6nm%zXyI=Y+v~C zQG89q>(0pQZg72DbC}hMv3pLk5u=8;tIwxq*5H4qhwx_tE$2hm^->&#q0P?SeXxQ$ zVgrwmj$b(TPn~R4EJ4-dg>C>AMppgPw26W)877zhD-Lm9$^qsVQHT%UNi)sMjq2uDJ+x+vmua zo--R%sy5CXUrm%hjbhiNC|S{_|QA3T)ubD;^Ly zY=FVZ!}N{2?BCbs=4K^fO-{ z*uRmP12}7h0o)itqy0bU*m!uESiVbf^su)#fD;n>|34khbQ5Y&vh+YzP{ed&EKmes zYzA(69u_DfaAp)Sz2(0h!#a3ieFkFsG!`foP;?9ff|HGt<9}Fv`Hj`&ysqC^y)&sU zUyXJBBQ_voYo*~Y>#p{Dj`cS3hKd%&MgHu;~MUn`)=z zcp1%{)mPP zE!J`qn&yjU$4oT!FK>%V93jO%2=_S&4f_I6Mt|6UAb_nQQ$F_%{yKFquY@g( zUzYX4hXGvAiF%CtAfNX6*8f3!txpDYIJIO?eSxKm2WLcsWxr(#5v%s8w_~RSoOIar zu{>4#UK3w7E0MHD5YIHLN(>`;LUx^3QAC}h7(c32L94hE+xK@~H6tgSTN-WGf>Z8A zK3$5dWwADBY%h1Ua+ECIXsM*a+VPQT+R$S!%K(bu+)*&cvllT>O3GQ9xtuEv>plk0 zqJ4=%KG*!p-1Yb0n|Izj6ix|!{eA~oLEFSBzk^crO%t%{Ct$;Cg?$w`)RvYfQI|VGmK`I~mIEu#p^9AtgfLa7$B%lT`or0?AEY;mB4aUjIUUD;K z+7!!U6ynb$%8;*6n#)w-j)3tutBhUvso_%!cd4A2;Zx?W&|K~c!TJ^av6Uj-H#KLm zKU?p~YofQ|(^PghFFBEq+9|GsO`YpNMB6#UVOE|V`cd~uCkr3hTqdBS#Goh6kP2{a zjj|=XH04I)d9T%LU0_?`l|Y#nsS8v|l^{MT9M&@!vacryYI0Kk5UW3=-Y7Qt7sqt{p;lMs(xdn+b{|o8 zepc7Ia?A9p@iNHxgxi%|;k4kPG7sp_uITcT+zm}aPLou*llW@inpS<#b%w<9t8Ivn z?9BM>ZJaK>wt&8_Aj$Bzljj4SiKVD-i^wK2JCtl3-yGi&A|8P6B);{O9jf~o*s)%_ z{D_nlN?o)^EC;7*TW+a1KVqs#PH(5`s$gTTd)hnq_Snu;ZgYSN%i&#KkqiK+VMsrh zh}R+Nlk~|d>a8JyA9W}+IcYqASPb^|30#buGvWRba0AJmm_I!Bbkov(tUnsvDf!Sc zac^Y1iOI>yNh^;*`8iuYp_RjBR<=*sr`CXZ*9%}2YH=1qRyBpC60x4r5IbN(X9o^e^|f4yG(HyeS(GA0 zKkf^?4gsD0y-7f4BOFE4|9nNo6TaH(%H$bY869fLcTfB!eH#JW-KbS&9WK-G5U;bZ z^?;6W<6&FjoclW9SP_NW(Q0XYhL+1L!hMG8qz!V(!|yROi~Ce&19&PV?u*E3_j@Gr z>u3YCi(8L&!@$J;#$tCiZSjC{fFLRQ%JY6%|8dOe$RDBJChGsvKN-;-*b|%tX&^mC z2R{d?hnn%z-R1dacN#z%wLh89-z|Xp);Jn4km`@e?|2cUQG~EU|}Jr6D?4T`e*DtEGD&hY{UZa0JsW6uD#m1u*f^IqUG zI~29&FFt5H^asq&?y|%3p9Js8v}~$iCNJSPC}bjqR;Q)b3qWeH1@XTKrKQgZP`?M_ z?ZM?;_+HqbmPX6#>%N3}SLf@Vn}+-*)NRL+Jk`Jx5W+pEr@DM6Fc#*;M!&NU0_aYu z92Xd7k>VX5NO_LuY?SUzNsz^J$gkq9?2vOl1d|!09oU7A0Ka9SrTzr6iBo+tbsGg0 z$QfA|-a8IAd_d?^onV14&sm_qqBxAUW zO==NY$@U*v6TFt<2jE-R!AO$HHn<^{5V&Fvh9y-72u7n|R2O|LSe-BVLz(pvDzEDA z1+t>7`J3{xP#tB1Q&26z$dJki~!HfmlNph;9_#)tS8{NN|8(awh$tz~>;i$CEL zZISrHq5;CdHuhfV{*Q=SKd~V>S%K2qz0$U1_tQV^6iYUbi%9v9zvAPHG>7eG&X^Um z&Fp55X3$dF0LNrGU49Et-iICCdaoT;R$05uS{^6-T>dMbr51g^YMKhj9g-%|no(Jb zq@vH~&%YM41I~+WhXTBp+ZZEu($L*q^p2QY=>V!ZBgVY=Utq!ok=6;4K}5E{?c>|H z-cG0=(WqLg^0Upa@1mt~BEZeje)1b-^Kkie))yTSbJ(bOCMWCUhnpTFnKf5BJ6Em@ z3hCt>(L_(M-T2#rn-n8b?9=f@|0TQCLF}3Gy~lf5(}VMUJy}Z9a=UU>+fWaRk&Yl} zp8#}4&6E;BjQWwrwibZf8(~^8pkgsI)|;B_It>@Yjng5_(8e9D{z$$#{N)!kpFG8% z4Zn%!{8GuQRX$ZODbd_>u#$}FCQ8S@Geh~b164Ov0(M9e3RhA@TZyKNsq-QLnxVI^ zYHaBZC8zyF$AW_QwZSVGw`HE56;DNloB=p&-+G=nGwNH?<)W_yK^(g*ZRV2bQ3%H0 zbKPKRy8n+iAh*UwKC=d>LlGuE6}L&$Pc;U`SfVi*eRzNi z$9cb?t9{f@yQ_OYgnR9%C~a7Mgt9i74F>B>-9Kv`IyVazXCmWUIL|Hf&8;$K#gcmZ zNIKwKSm|lZMr$8c2U)XYEKhk3eqhIk>?x8~WReJ97JYQbN1ON^6%dmbks?Ug;8H?D zmjc8D?S;_pbEKeelu2J0CO~!1NZ5Ocyz)cm`yAQxqCNSV;vvC*97I zBwF3z81?yi`(p$sl?QWlPfEXkz_FUfFSD9{;yok7XMd}aD7HAXOi3+t!NlE`*?OSO z9yuQB*Jia-!(&v@i)Cswdnq8I6}I`h_{BZB4JH%Dgc$@{g>@|~MwK3cU)(med7OAD zNhCLBt$j5`O)26aK~;Oa{EYBOG4^1ZCW}((oqb3_!Dedbeq^E4WupfCQczz&+-Ii1 zex|@6_@+oza+rL5v~$$6H7U;D4Etwq?gY_zC>OO~WwFYv%TT_1)G**iMY1~}v_+ow zHauvb@@Kk11M`?{?>L8DXo0jYd$~Sk(?NaLgFVh_5R~a~-w1*{<3}^kT{aApB00~S z2KqZWU%(D5;Fm#P&C$<)iwve^FWRALLSM=eIhOVur$nlhCaa^F3(ey07B%?6dSCfamJ6>mgm3%g%kRetAgUAqFk=lshe%d#&fPtVtoK%zC?&Hl0gTp8Gd>) z>d+o|yC)xN{y}I)W3Y9v@00|#d)(OMF%TtZAC`2-)Z&prfXcfgCxI{A2fELUP4*rH zZV??~i&7Gt>FIpJ`AP+rP&ukC1j&(}6Im8zoq2t$?AUZHx}U)$5Hz3JRQoQ##Kc47 zf@@*Goj%_a6$Y^U!`w6riKh<6+!F0!9}^5YzJxFM(112xRMhERLz`UyE1|dea;VhK z8R2s|cltcIuFf~wHb1=wy#g<P8=g7IgXK1vkpuA&QK~$KFCr~lzmFSu=Usn+;R67^3z8E@pr*>W3i)eB6k$@6 z?;Jpa7ldiRdiERtwU0)MRj?74b_qCfY2{+37DrCSsM^ILJi`-%0)KI_L)m!K0st{2 zH?@dp|2;H4Ux#Ro;VvzQ58!$ogJ^|E_BYdaY^~Oml_@A?JT>^l+;;Xi33l~@<9zNQX6m2MKT*zqM zAnLb>^QvT-=pg-SKsTv@k;0%SVcq4kNf|N0hH8EW&!$6|OBIUGI&ZQ10i45%&U~e{ zN9x=SP4OWY^ClZ-5*38o zL7$Q1bF(IRr?f@J*+$&+(h%$V^lOGTZ6}&m=Wtl;tzTE|*kIiqMNW|d{85$!XKlFH zHy$lfGUJQ&P^_7lQ6|Wt5emi>B^?KAtXRi@{mD%Ez6i|#*}R35$iTMpA0$2cuq0_6 zY5;yc_n~l-{BfZ^Cc6mR_!Vd3pS-Qa(PCm0zQV{v&v6a-lm8B~UF0+Qv@aMK{#Jyt zWaRmR7Z=2c^SNq4<%jjeS=y|A|7&I=A+OyWYV+rCK`hEX);mt^8QfCX=J%3d!U2Hc zmL_PlR+#>Eu7Z>t^d{n?uy8|~PQl3)A_a_V(;kf^*k6-d2l;!wh6e%|u?1xz!HE|GyUcI*)oZ;x%v0sk3rug z)3JJYy-%G?xROxTBDdVCWLKC(#O;4j(uX6{*$2&`kduM5j??O4x9C-UUAuFt*m?ln zqja)ndW3yiRZ20k5HAN-rIumYzH*~A?FJTYcqH$(@3%@uVfdNyfB&ris()x{@Djdx zuvkQ*u1*mx5HLKT>IB)EG_RnR7dU549iL z2yGY5O`k%fp`>c5t}fsjrw~^7&do1#>BGckte@1H#3ns?lY&|#8P)mORj;+ z6Vi%&VDhXFt*d#GN9-(W6hnzVUF%u+hwB(H1zbVE)7^ci zj#M3<=7r4!Q`xKCfyyEhFMpoBi^#mh$@<3s3GbY zb^JlVwC+a=$hA2}3tW(rt{LNkv-IuMs@_ezwyC`cO+?AU7xslcHF`Kgh6pPrMXye@ zW<6feaAFdZIp8cbOXwDWg-XDm{U_x0@U#+s#wqVN(&pRrhz&+aNkr7&VhIi4&n6hf zvQDzTDOp=kBLDcr@@PeHc{)8w(%8P7@zh=p8EpUoUk|lV{zx}o4)Sx!W&f+fOPg@U zK*Y>u(ctn2swnXr5XIEZXh9OMGg0QA2gLGeJemBD;fizNB9y{1aD7A^b)jc)_;1elu)bL znez;W)s5m5jR8DhA+=}i}IYd@dUx+yp<6nWc*YZ@rdj44GeuF^^Z*J){R&l|{cY(2?h zu}WWs`1(Efw)NYE%e|c}`e;1Fu-}a{`V$3uzME~(1f~&sF|$8lbZdbw2W%eV3k5=CT+u#OrAQL5 z#bMuFxE&t8Rm&B)0;v6bd}Z$b46e4P>O7LCkyTcjSj}77E3TXy|GsY74#Ldbrjg1idC{XT0j;jCfG*HmbWJLo513`e z>25<<=(&^Y%d~{a=GBPm<_@%_7z)Ep&Jmg}ANWZ~PHw`FzyRxO=LhkVuJY{vd9Am(Dq-MhbyLveR^cXuo9?(R-;4GzUU zxE3u|q`13N+}+)!*qi4$XU;q4dwzcXULuxA(Iw=ZaC$&ef`dqW2N-;x1`4+-ZkYJpX4Ksm~U{cCrzmf+F9SPXU&tD z#=CuyV$+jiaq)XoZJO(yGJ&4doTdG#hqlsMAAx4(e%*3SBSN!Bgsv(sKZKa9PJ=7 zy*{KS4QT;A$3!fm&HYd6wLS|3cH#X-ov0Q>fJ?*Ico$+S-f zwR2Vuygh3Cq80L)P32t?r*tlc7SQ8CD2OsfQ^2Tl?Y(yiwF8=zHp?2ZWs5re2 zW!-(E(s!h~TLljDoDdd?%}7;kOf5<6vZ-Dn9bs+qaeOX$DCxat%1J_~Q!a^Lo$h0i z$nG|fp`f_Xl%`pf7Lr;@GC6}{0C>1jKpPlT^k#hnW%<6W|v)eAikS zMswq5oA!ia4iF*()W|CX0IZcC_%+KNICu-zBjv>PUwZmUm7gZl`DONGSH^QFUsR=; zc&fta$P%(I$4Xyi%lcD*lb#Q8n;vJj-5vIMZ;x_)xzE||U+0;Fo?5FTGp@S76rZe4 zlQc!E-WkeIz;C5UH>TkI{Z&e9; z+G-N(TCBro?TU_N0Wea1!L072LFU!8{q>D6;gTubY&0 zs4(aXo?ee%i;Cj`8_pye_L<;12!9AF&D)s|h{MluOxWiX(AKwnZn)g@9?H`?6WwhJ z{JJtqz`WdN5#OI#c}kQwp-rlE5M=d`sQQ$hus{0T;&tsbvKBrBAqamP;qRh57Q_%y zGkv1dJOl8}8{A5IVA_od_@WnFpEA5#jjfQbpn7V9w1XunTSuM=hyxnwZGR*vZ<7Sy zB@pzVZKv-91tpol`B*~F>er!+csd5l8E-SPF)t*$hJwVC!>oc?#!3_fANOpS&r^_}XXw>@R2~h>K)VH*}llo8T&%nIY*u$+?Cji1PBT$mGD>C%p8m ztIKaq(ZUtw!L8D=O2*LOJsZv(qJJ@^CcY8sW|b5aQE?=Hb_=|?9S&s~Dx`y&j-3F& z7~v~QF!k#Sy<)vmdf_Uh@}BW^Z>Ng5%Pw@9ZyW9HhFcR;+(nfeOZF z^-2PgXgbG?%^?FU+@JnnYvp_^=dF4AS@@1iul1eoN#HatO@yqL{4Xuhhje=I;F)k= zWIy%kJ|p|pLHM@BeC~|H@4!&0@O4SifP-X^U&X<*QtB z;tYu?%y&)vSJM#&)dF2d;N&iWuY}P`;B)^Gib$a7g39ExLh)|64?QxxOv}o~-+qw~ z%}H#RJC=rM+2w`Wz+>MC`+6`w?FMC%4{mQL-pARg)R_qzk8?EqsF3?Sf2av@;{3sT zifv;t7Q|H3~Hl#^l&RjH7btL#Srh^B?@P9wPl zPW7DoRAX9H2fxXL_A2tg2O=Lr(971@VfMGbJa#KKJ9lc>eT5bD6qejM1U%Gk0DpQ~ zR%W%+iA&S?ntfhU62D2X@z4hdzJras@@;o#jrX_IO-2O8(ET;s{YqSul7hsIOL+U@ z+}CD56VMc@O{wl5m)1fJxJ@E4SoNzz!-|Rsdbz_@DhrU5QxB3K51nI!yh*u+3yifU zYWUvoH0KjywWEB%DL`)tZ->7rf514Itwz;Iky{rlVkWz)F=ndY9Orxpp zo?xFbq{62$U6?Oj5Y@s~gFC`O zsnK~-79lq-=-XJ{S9bo3L#66Umn{K9=%lvB*OzX{4LLF9_ka2sslA+;g(r%nBX#SX zA`-cXt=MY$CU)7%E)af(bM3#Gkdzn}iUnah5kaUCMl|^+d~imKK$&-<4+@~H>>zhc zVQ6VZHV|=ZP?#wLT&9D$fb(pv5;Dkst^u7^r(l1yt(c?3VJ4`jtK3-&hP=8*Uc1&Q z!~mbrcg?kuV;Su0iCu+yibUp4S&zpQ3oKCQ6`EBJi@veqH>&cpwl_b57hl-&ujjAL zxGJG1KLuLDVV&Fq>PeYTV#v35Lu9qP7o>uL5H6?NE)q}xg_emFTh|^%Fqrri-|K@{ zyylW?K~ZDNc$Gm4jA3a;m-dYyEPFFJCYZ%KvkjbxVFR7$f*wN`4dJ26L*XM}K2f4H zB-v)fcQ!dfFl3juoM1y%!HEX?3X}Mw#d**T zPH~HCSVVb1IB8eSpvgi1HA*8Y85wRIzHIKi49@|iGG2t>8JkD|Ui#lInMSCpG+b{r zN)!tqRtAlFlstjN^R#4dWc)GRON_oCkNB>XXTy)oy2njIRVd^Rgls;m*@!zTXg=NtuDC(~Y(6VMnzYE=u9|X0J}mD7YYYgt z!05=Fe7afVX`G7?U$po+BmDdDmsB}M-r}t98g)Eu3@OeiOE=FbSBkVpe1{KSdVo|J zJ+)@m?WgPutEQq>H$?uCYfd>=&5YMNvZvm=HU}fcLA)?=b*im00iDILK6~*OcE$4P zg|IyUWUB9RHyBk6*LSdbANcqjR@%SsxR`u&d$1aB8~Q1z+pyce^-fHEX%_dPd+1IE z^jd$!%X<-9upWsZwTi_DbOSJV))Ej1{_}FM)GUB z4WQtIO}5|@WV@V>4SQ&tAD2WNmHxobsb>KLfY}D=zTnlwc?av#lNx9({Otr7Smd~L z<}lZ}vX>}|+lfB}zpNn&qk#Q>_qK>c;Si>oBNQL&IJ__2C$Yg);bV_jfqJs34$!mP zm50|eI&Um%8T%=WuBPMwhcLy-It2Y4N$_jD*mneU0$v0!RinMZGulJ0u)_%{Xu>;u z0L0zygQQZiTr9_k?T9bBz0DEbXO{bpC|s}C+-X&glxB=znJZH&%pu(%N{}&qC?RcQgYj1R94&?oq`r$-?HpW3S4b5iB@H(J`OdzJvV)X|gWV8(oF$ z`D$z(R&+T$y`Su2+I_a;e_kb!8bP8AJyUy)7)$IHM^8am2=e<$p?J8M-L?vF+%Xt| z-pxT1wu@S9fq8LOW;yf^+XrqxfXLbkW+LGvbAvi>o5t?h$|q0lpzb8AoyxH&D;5%NR70*W zKML{@pW%NI-`=xj4gfK3F$L(1hV=HYhz#M`1Y&L;X>5x-MlJQl3oZ=3JhgBA z%l?|aDFj1@#>RQq@8oyZKpI|p<+=bn8RfyGn`&Lxkm-u&hA$j4GR4g0$2pR#F~ zYK?E+GO8w;@q8jbjzu)xFoat;G;ImHbR`D+Or;j5ZKRjbgn;9Fjq|nOBgJ8JBc6!} zPGx;JA+jZ1TdD&W(Aq37|UQPc~xF8Lzw$Za!LQV*`WJj@7 zQp)n5-OP}?`+NDmYgY(~3of|CF}n8)&hzf~mknsId3{=G>Q)G(vU#c`*%~Yk9B67+ zbhQe3@)Q=M$OHxC^`hv8=q20&%Ge=_g%6aVM)=TwEmr7%HCEs|1~_4g2n7l@I|%&! zhri0s&Iv@r0Ow7yeq6@pUFT+FPzod3F=>>S+xZH1zygghByffyq%$V~-F zs~{PZmy`=6xU&7@rn06`J{y82VCDr$scc*v%pCtzK?8vT2L5M&p=SeZPF@~nRKEyAM2l&*g;k+H#ajMFK8~%i0r)ogF*#g zow3+?n7P?NdMqz9A3HlK2WU(_P7cr*vFIS|3G!z7xIlG~UdslWJ4N-01jJ9BaM*c4 zmMrH#@+~_kPXV+9&?6h`f6>#jPxKV7cRj3stX*zSkowC5I!+EwQuco^D(LWt|0S>s z@A}w0|E!;rl!FWOVURZbujb45Zzuy0hzX9C;_+dC#SKz`K?lGIS|;dRv4Q60;$-{x z5dWD6=Tje>3lzryDsgdu{9krZJOei`GYH=P&s&}!5Me;(E;~EdzveCtJNth)y`akf z5_vh#l=gu4M+CHJ+qAQ{ z!;hQN8J_U5*$GUZr?qSVHTObAYp42{<>)7Oc4<2oKi~Rh<}9Vih8A;$*TrukfXT({ zMfc^WZ_37c1v{7J;5)$P@%8WHR0Ux~NN^HNsrybUy(X*U5K*9DSI0Vk+P%4(pS4>y zVcr?!lN$YTnsvp3I*W4B#=fm)20ER>X(f7#tfOV79V$IRta=Ha3bbUm#VVU2ULswt z-rk%0=lfoO1sT75E|btCPfuV8ASgh0czovaY$sRbuk;6zO~tSifo|bgG^ctRiF4G1 zPDyE2hMhF=UF%iWP0sN5{ zrbU7_pPFCU;S`E?h}~QPfKaw$?%8e<>Szv#JY_j|FOSMf*(X^pP3Fii2p3&DbcLt6 zXAntdrU?A$1lj8%JbjLH5I3YbQ%B%>r4*t4CP%)!joIlj8>ai|#_W~?bzUZ!N=p`^ zlBFXeUDWCK=FNqdToJTYr?K}=gVg3huzEWT@w6obG~1MIcx zM#fUM!03^w5-N9{v8nQXlv=bUFsp8Nd7NF1frX%Q>z{1xnG1hpdbN!j{2E+OBbQ0} znKs-zx?&hns(v;c0f5aW`go*Tt~fqpey-o2&_PB(i-rTDOE%EPJV+@f?nQt=?C)Jh z-q?D%#ABr?_9lY_)G0gKB8rGgvPlMvRfXgN9)1LN7g!jkFz(9>A zB|diBl5>A-cGGe=nOluBSxI`ktx6vN&B6kYNr{TL|1SIddgW}42TKI_!%vlWt4fim z)So7_(u+jpa>ZpBd%JU572MuNw|BEJY}zBbnXmmWus4>s0rQ53wyK9qkIhl%SG$CJ zFlU1>fH)+2fc9_;+^)fOfHx|?)@-CcFYz~2%C}*=>~wLxD^CL||u#1F_TcI_p>w_VQdCVYvQQ7BkfdtkTcfOC#uN&i`q1 zpK`o3Ulg+rChBza@sRS6tD_*%Ao4Qu*rw(Gg(RMq511ojozQjt>UFE)C3oae<`Q!u zx)D5)vis8K`%dQ;4U@EOP-M2fJS{-@WsBh(?^!val>gvKfQ(Urs9<539F|E{|hn2(nL@YZR@yueZ?>ghrA3gZ^Dihd{3dSw6&DuH=MalgEiLN z(Q!)b9zakeH$R+-!@WE7_?yiA!q=Bfx16m(rqqSQvFHikuVOl-=|5)&E!et*h!Bxp z8yzOeBP~MFm6~So)*+smuLa1vA-MZAmdJbTqakk8(pf?rEXrRVmf0CF^Bhhk`rlZg zz%b3Hu?(lT5YB!w$X&AN8uOyV92P#P#v&Wv-~u{B)OY3&Pz?h_rO%t-3>*GXN@Vy& zZx29GD)J!Fy~buxiX|RN4^JfiE2nXPy7{XsH5vUJIm;5WKOUhbM+eVvF$2@sAuHqI zZ=8r-Vx4BoTVveQ)VZ9(vxW4Yw4bK>x;Y4ITIXqh?a}1aHAZpCYcOGj{802`^pOKB z1l>Sh^Pi4R`d%yJafcYW@Qmq_a>Otp{a%2C0-su)ih7QhAXJQb9dyJD#xi+CAqE8> znYan@pP<(v&KmzW-S4ZfN+%1a$C)X|FZY-L zM&8jmbhY(s%=w#%HVC46;CzVcuM@aB`u!+}Y8R#Na)zUoaNPo{_p8#m2njHc)g#?Q zWrNi!c>F_*+;Hg=Tt4YZQNkA57!lYo_tqiB(Bsx-6c1S3Y@XoenjR~+%;{A{Ey)cp zv88Z%WtZ);tH~)NOxKGdqux_3I zNgbGJK4JtJFaOJ+v~lFuBOy?VH^O%ph2HK{KnfR<-xQH{v#u%c5(gOltIgp@yF_f@ zXxd3-$R^@~=}YTS!cqZDYmaeqG4t1Wojdk>Si~O)tWBhyfsqR(-cppy+}WNnUN&dC zZKW$?$Kop?=A4r=&$RdqWj}&N0Aj*WV43^Q8&WX46Ai(raIyjwNV$xf1tagB_9h+I zk1@Ak=kL%$0Y)Q+-$xtv5uW*My!TjKpH*%ddf98kR{cJ($UKzeu4tgu*z`i@-1qtx zjG}vB}o$UH!a`6#MkBlrUuCtQ^D6h6}fb!+Mzil;1L<0?ridj@pmN zthSo9I+Q63J`o29Ai1beq(lL7#FI`W8o$e_L<`l3*LTOUp%dp;dtNa z#B#WetJf#?*%B7=L!&6)O7a-P2HQ_w%78kR-p_3~S5S4YZ`l+W2Yew@_6QHasw{09 zO`ugYmt97B;Wj^<42@_`@6j&5@Etuyc>o3#Y<6w(xBVGRTT)h21n}Sw>3h@8qcHLE zrY^QO-oLdk%N&mqz#zHHRY)!(u5~QJY*<1d93C}?8lVNoO;5t(e^6wJbf$Y#292uc zuF1Q|!3@%ouGc9C*|g()sgq~@?tJaL{;0N-8-n}>*3xnG(XuuM%DyX?zVd^==_9hi zUQw_aNHkTP)?Nn30=PWFMeK;0q&lBIeJjp6)4*c*)6`LaSb?|OEIXudyF6?niaU2$ z#yScQt8oXd9U&H>=ZGx~;Tj)gZ+DRpn)qvBH%y((gDsqw-se0#*2R=aZ1=}nM=*tY zy!2+&*QdyhYB}oP(dEb|5D*h98vgrIKXRNT;kigeGo07lhyWxav{1Ml>Vl7(20D;! z?d$CUBBYtZuik?Y3>+El36~1jaHg#kg6uksEVE>n9BlT_@KGd+m0nz&kgZrzUOwX< zO8Ur>n9_tTOzug`miwoMD8n|SZe_g~DYXQ^;`%Sa(IvonrycpmCn^<^NH!1X(!w!q z(T82y)O)o{JwTt<6p-uB8k}b4f@2sMX5vJpSp^u!xu_EtTDv>R5Vp6j0j(Xn)TO(w_8-Lk;#f?SS zO#krt&3ZlXlP)~zYddit{~NSR`7r&FSwjCR!p9FpN`P@54#r=35}2I4(w?~CD~8Fp zQY+7*lwt$B)|(Zr?MCZdS(@5{7_8d|j%esWo1hTktYltpG)%;0V_-2%Q7godUe(h(%y0}sN8L3<_WU zu_7mKPtf67f-vp#4AZ^kMD#6N+FRITu(Akq_9SV#KeH2MV*Ob;a{q>7OrZgj;p1fC z=3-=4x4(@wsnzOl?=tSc5fKP6Ba?qKCT8(`4*`S%abWabSP(Msk258fY11vy*ainA z8;HSzv!P$2V(dcXx?~(#w&C|^I1u-^syJy_5lc?Y5Q3+&ogDakD0zFhVh>)Gz7207 zOYF^^DGE5m`{5R^aqa`}2@&0j1WN{~F5z!~rKPr5qsw@ECEu`Pf_boss!52FJg?g) z{s8PGji6V4^XWx-K)0*kFX)U6)o(PExcM59`7skVdY4nk@hv=wj!c`_daZMOrICJ8 zqqUF1M*fD5t|Zflc1M2IaXP4ro_EXHR>L0|Ozyc;P_^329f(j8Sy<5>n`Z=rLSE)` zOpdo!hCB_q*sDck@>FWgwfuov#}T*iwg`xi{7$8Im1qc95gNf*Nm`uO}qBNU|ieMhYwPTk9alo zI!e3BxW$-Z&xIKhT8Bgrr@s97g`6B!WTXx%W=jIIR{&D}XBPe&e!=D*)Wh72w}UuL z)pVH1xiyaK%(tpSGUfK@pB*Uqq(T52|H@|NxE}O-eBW?j08j95(HitLOM|Geu;?x6 z{;Op`f4DBWot7tUcaVy$I$~Kh4299~r(b_Q?(uJNGPIhBKVO2Izd&HV4{jZ!yPaX; z8t;+$%6qKsNl|jU4wfreyt9myGDDxtTLvdIQdacW27iRZ9VT9V*FKjB8e0c6=VX4s z6XiIs)jG(+M96frW9aVPr_^8MVGv`RB@ z*=cce;&x;G3GeSB3J#r?w7Ls$ps|Yy5Wq`jN}9lCdwQ@~$e4{@XyneEOl~5c3sP$# zDtj5GO)HfB{YbgUoc`;#0z32q*Qd<2Be2&?RC>rXFJ1(aB&J9l9UTxicV>AXVc}DdD*8^j9aX(^ zpaA}i2D4t>D_Q?|%oND(Qpv)mT{urBiS2gibjK7Li({^9^@jz->@x`-utI);f=ogP zveDfa3zIoapS(3;lu#W2lfH}mZm+V8y%cLSBw!R8N!sx`?q{#@7npd|lWsS~_g%$G zC|sS^M?cA^O)YAHF(QTtp!@JZR)VEZStWz8(Ewd|EI1CU-`(o%outr~v6Ppc1NX40 zXHUF};k6Xz+Rhq>`(*L7ix6Kynx##6d*yIAnWnaq_w#Xi=>hV4 z_e&IL#YEH|jz_8VpME_yUpf>!i~eZ7pTe&2xJ4GT{nWYn1Sc9EGWox)^z0lQ|FqJR zfjHv-A(0&H|B^@)4%UCc6gvmozmF-~pZGw38*phN9uVUCC&d(mDY>}+A%`HU#|NU6 zpq$cw*&WG0{0u#Xty+zkgNKuun+x<_c2*Fn0}(q=^Ed}D8|bs3cJ+U8954+N91|D~ z4*p-9479F)I^5HYz|kN$I8t&c$${md!LT^~7bN2W!8~qO4&XQ@IOTtoxIo;Gm7N_3 zg#}LWpCu5Z6jymT(@_cTVBz1La%ayfva}{5#*;RF~ zQ`=cbuDwz!dzsU8OOMBu;sd0dgm`#MJy~QvGhgEuTsq#T=R}AD>7B;PC)^{lhj^YU zqmqmEh4NjPFoxR$7Kj~CIL5y{X(dQszJL1}W5~035iD)go(C(%qwF2TwhKOD>@sD& znoE0{KK!0)P2S){Jag1jMe!51S%M0x44$rQr_rCrzLDtDv)Yn;4H3Y8uf>D(L}W{z zD^_mem{{hh%1jC0hJ^if;WC(3-t))^*(|bGEgvnj-^9K`-& z$jQ!Pv=Wa$^FS$>#POYcJf7XZQdq#V-%xpjwB56I{qA|3CNub6onuiVz`Gnda+6rp zwe1nPN%Uefo{Pdd;tc8yu(9%a0OZM#B#%|9c^nd2yjd8nSRdzPb6DVMr|`uj1pz zIhJ$M(o&2X+SyB-$m!>6%2CRdi?c1Wv}NK(2pj23_sAU<{yzZWBF)tAa^~sZ{M(q4 ziR>t6h|fpjy0TS@>qaY4kd{a9A<=LXg>6_2Qe<};*-tb`;zzpteN~}J_M$xH#yvX{ zbt)2n#fcXu+ad@Z;Ejf&;cxG3d&`^ewt5QHs-xsQu@)S<6(C+Vhp{$!^S7jDRl^*= zd|PQWT@tvwU@!ortyK~8KKuUkG@N#H7vc47To6zLJp5^M$ z8n#uBI|qAMbwze+K1-J3U>ehHL)%p9c*Sa(8N(%k$esW+-!~A}4aO7bX8}g)cX)aa zfoP!g+lqKGnsAG5xwS@*g%7uugBKDQc9Q@? z8MAa@I2GVo#`!#zkoC;Cg|1%2!{;F@ z7AinoDOdm^vqBeo#yK~FUzbWX%foGVHh&An4m0uK__D)^r10|A9@Dm5RSifXac|}-8TxI=0fh9vpIaw_ufW6Qr<0tpZvT2Q!-yAM7CV$6M(VbrC2bRQ z5pm7L0A4rkq7(g;vz}vyoIAV@+1z}bz+&fW+c*cvW+Vj+ATg?O5&~6c2ZrjHREEFYbTRCxwaZzt?vXiRFLo6fJA}1sSA~ z5KP?$$S`F4Lkjy#$ot`ybK|}F4AM80=b?wg?$7IL#g(i=Ag*0H%24iQmY9Yamp1nV zQD_zZNJUlRm47)TsoRDE9PgnE&88~rIV|to9~I=&sX`I~*{=o8$8b@)ALKXt%oF>q z(lGTJ3;IsaCNa5hcm6TR);?ve%|bf%fN-W)KofD;i`)=nOwFg%T628`m|F&fYlB-= z5K?eyx4H09R&f!=}4y0q~Zr;hO-<<*erUw@+an0 z&s@~|F39K6IXul|GJMTv-p~NX00%U2K&0x}VqHI#P5LY3mpz)Fgnu5=-MlPA_6_YZ zG8Ot)zQ=5t<-(`ImnZ%izz{N81WS!?oFW20LWsu1&g=;?LLh)3ehxi}-nharWc3u| z1*TRJ(WbGnm9a;2<~rzE%cfeLs0DrgJz_Ue3`Ni)_U@4`AQ4mfQ-3eV3m*n~0@!*A zH;>*W+QC%K@m<+Y+Es8M;C5odhOX>#>f*~g$Nm|D+DHn;lo>nVLV_Vg{D*Y({T{@I z2{ zj?<1l{;IJHHary^Yna7qLa*E71i)N%s1_HgA^7*L3|@&@i*P;K?Z~CSXDV=I?-(Xu z(MRVVC3Q>c2SqFvFRpv-To+C+1YDE<4Su!CKy)iz<@&Cvr=o>yuXo)lrE^a@Db06wB=6dN1^xA99JMTBQDYEBw2tZS*qyf&2 z6m`URMWK;s%(h=t#Cd=2BngX|W**&&Dh7hh5eV5Y-_p7zRYDLSohS-DWKZbBcfXSf zw^AcA@BY$ydQ4N5GP9zJlqa@KtNB7^T5o@fdLsl|cZcK0|7D*uDY{!bd1QAbtk4jp ze?R*=+t(pjsCHdl%%HBU6$X&@jS5qi_xr;QzAp^j+KWP(C#6i15%mJ^SX-`ugal5a zWf4E`pmpX{*pSTs&N%-&W?LsE+8jygJPq80l5O;!XR z*KtNV6o~NkO)kl%?|1i`7TSRn8}|f7ZiO6ryfJnNgRUD$EM)gsx~Bk5ij>!Bh?G!) z%;n9xZV#In5lAvqwpCgjTNf1VXr<7s^obX{_b3x`2a4Aw^I!Hn4HmS`%7wTTrj=?^?%8s_@mH zkvlFNK_=sqlB;H~c-a7V>~hFPvB?oh1&1O*V}WbC4!0KfD~1BO`$cBEiVLwf^`J&m z%z8Mj(TFipr51=hzW`8EJ65zzpsRS^7b1OAHO zCbr?)f(f;OEHQBynh?$`#m#$^Tw~4`0Wi#&;Ko-H%dXDq^_SlZp>(2Mp>>SXpm?r7 zJd5?&z?z25fE6qNsO^wJY9n6w@dLV49$2VFUG4-?)D01-+to^LV`y|dNws7&@^)op zGl|`^DgT?8rvZR9BJmax$&{Zyu*u{bwVQ{;T5)jOW4FOsY;h(at3p^p|JopndWLtd zD~X@1%pEcRJ(!;5-bR1uCrzdJtU2yAJkvv*%j_?HdClsBGMeL8qBHKQ;N#hH6#qHA z+g+hrg$fU!F9yF@SPy&zZmXAP`c{*zebX4sr*G^w&JF+-4@Te7WWIDW9K#6Jn(X}^ zPFBo&rokq3AzOW3GCOsM^i|e^HI@!+J+&{yIFeEg@vB?c1b7N#0ax9`p%lYKp3}iD zRYtZT#(L%Y7dmqUIF9kz8sJ^-w7`cfGxjij>5g25ETFBLi&CCm`t^l;gGVW79?wYE zI8{R|QKta#7(`flDw@=Qg6D@Q*~4a%8mjU{b_UlY-5=>G+ldvX1{vh`U-(4Ni#@|1 zkO&JS8#UH>xEV`0=(_*xIS+>2qACd01fQT`hrxdMmonGq*E4r+#y$#OA0bkG zqoCqd`jW+>)bvfYp%R8D8IZgmahCtQCbDF1To~f23jG&~U~fu;qZ>Bia5L$4e|2xm ze_uSlijzdQ^$ELDgn_6OS|cD2BS#2Bh3+=(=Y`y@`uXQ;8I5l9L6XyH>mH?154R4V zBw8f^47{>n8M1+Q991ezoR2N;Z9qY}a`5uVbGpgEsKS~rAm2gcS4I}?yS zk=9$D%NIP?wC>a|iEt8y&3_!zh_XfFpq^=u%!h`dqo=)cpbKBUJc;amHd*bG{vN_qfN+dqVJ0MvdHPW<2UhT053M>N zUY5?HGq#a>!zv|b)ORXSKDfm&kqif*`V`o~$;~r`{qTy&rv%;OX?Z(a4duhkp(}h^ zfa)xO>C^l~?^77sYLfe+Dv1bn!(AnqJnGj2PR#kbFHJent?2>WQioX?ri;ia}% zGfnXsmg1sBMp-J}#~sl23;97xh(2ekr%cE+5n zpq(-2e`zQmRNzv;2P|+j;3qXWN=hXqCQyJ`}$C7NmNG^Io| z+1Ti@cI$=w>!`b0fuGJfRcVBA|BlNckHq2YaBbI%%6gh==HSZ4-VSrZ)wgQ$w0*CH z*LGu`qeJi2p+T!vVM_k39QwECj<`F;$<(b>?hP&H%HMc^;2%7GKdiH(f99_SzJeKg zE?;5HWyJ%AKNv$1-%HlyZ-@iUn|#_vQs-pxJs!eBJGS@VNzH|Nk9)>zME2GnM&{*t zz~l#%)=1rys}a8)!!qamM27WE(=9~1C4FZYpZt|Kba9pN*`e-*q9<*cRj-5mfWRq( zj{Q~S&%pHx!0Szb>j)nw8P|v@(MSpD%g#W4yB%eG3A+7hZL74kPwf-C-gLJ_K+QC7 zVU_RpBO{qrsmnyhq^W3yigXeS_B$DpbN)Hep9>vr0@%1UyUIwogPX}n%1-m(fpTur zJl=%pB9j{nRm8V5-VJ|2M+`-^DfM~c=jRSZGd&&^0R4v#ah4lb$474D;{)1(k)-VC zUf??R7f&u(_#!9cU#Y=n1qF#x>lCsu7W5Z=E1 zhXSmYODWf{rd#d{^V{(hc+k<4j}L`4)P=bg`-Oqjrs8qAeV3Xt?L$YuGfPVaiqNUE z?Xu`M0TFPo*xAy;=%b}8OIScj3MC|aW+w}->UQ}u*Nq~+YZm*$d;D|4T-0Z4hte3v z?6w@cwK}`$cUp>}ElPu9OPls}Q-eTQ6r4+K2XBH>j8QV~0!E?~*(x1eyBw6C>n@UB zkQ#<4aesac;GK95Pj0|%b$<|CfGszdVkA$~0Rpei8{6|h7m>${J4U=SF$mcV*j+_&Gc%iDra519W+srO~EV0&IHw z06K+YJwVTdLGOmE%rJy)^l|9QyvWrRzV&5xDTc{1XacRbyY%IE@Dhm*Zf}e4jgJbd z2C1rf_}lr&?HLfu$ zgw?Mu^(ob|^|UMqD_IjxB1q5|);KYxe8?u`&tffZo&43iG8Ii@C;QAXV}f*bvH-LS z&Te^89t$%Mrcg#TygI&SpWu|SyW79P6~D+?BdVa5i{n~zZffD8UG?aOan?p|N_tB_ zGQWF-(hphoQiK@S#S0q9NIKq)noaOpGl&)~^2fMW0m};VnxStNO~Wk$)hpWE^V{-f z%wh9acZ=<4@)*&Sp}QG?K}h-fY=F#0mtfzxf~p&XCZ^yb0mq`*s`z7R{#RK&c!|v0 zAO|v0Y&%=tatrO*-zel1ku8NC(wWwHeB$SBrvh3!$496rTIUW3F;aEVYid83QNia0 zS5g!}kvVxh5mr5p-a9C(A2E=>;&oTDdUl6XxK4s95+Hq~Xdj7)ZB>XxjR95^1G!6$ zmgaDxfvKxw-2C~kQ|SbB-|2ul;0RTd3L%5*4a(?sAr`-^-`yCXHj#!yjx4p@qNE~) z@cLHFOy$4v$&^J0VFtp-gF%e(xtx07(_J_$qRdMAlnEy!V_Fhrs!@|b{3iP@cM&`6 zEce}Zq?6i2*!-y8-Gmy~{5N2GE3j+lo)kAj_sd@hBI!)JbJ5{5*IAjf%q0!zA(BtHR8zVigY?WLGVac%lLzzwkNEuPlQ( ze}wwQw4f`0*%ORDURhPE34SzYj^+sX#f|5iW3Owm6l?ADWHM|H}fLqdEVq22s&2+JuHa=&}tPJq+`1@Yd3XOEIO0j8@vJK#iS36+9_H#TWsDG`8;*_-IrDU$Rvw)Q5Ae7vGf)8 z#RoDtx(QxKxUCw%Q$dCrt`TK*=Cm)UL~om?@f-0=H+46MW%;nY09(=|ikft=%wFXh z`DGSXEdCAQiJ9MZwk|t4A?|~uk8C;$&vIm=o3S!#X0Vv403q-tjYujhjWS&<8H1+Y zGj)oV>O}UUgCf~&5gL$LVYbNz$T1_1v<&q|APndH`8*8hZJzDr!7t`(cYCq&Rh%DGL;%wdkz(3(p^96$)3|`al`kgP(9y34Rmo63tWE zp^lYr=MSdAcN!t5({?^(3a`A2ZSk*V=y;vy6fy;i1ajb~Hd z#6CI!V9TaDF=Afs(-DY*0#;Ov2#KwesypfHpOk?oFYMLmq^O8@n(CzV4DxW}_opf~ zef4~0K3CZh>-dnHxCpp{U>4gZzf^gv(&ycK4sp$B*;Gq!MQo`ivbBm@?pCh@U=*qc zpw8&m{N?=t=EiPemux%g`<~=pMP7*2*F$~@8jbtmLuLZ zJ(;eX#CJ5&kKwM{{q#ukenp{9K>Hc5pXocIK98`RUHm zZ#v+vSLoz=V6ro9$De953|~`rTmTyra zP@SpxnQRnU)fn>a_LKDVnMk!v31`$ML=sua>3Dz<{-D1ig?3UKhvjYuQEaAs-iZg& ziQ>Bg`s*gM)*X>9*^)Hw6x4val}ov135IH};;4tK zkr*<)#(!K7OO?&|vTaHFjZ>VIIO;9EWwuY5ehVFFuR>H>*Q<10Jq|EbDjM}flMphD zP;$ppj|3+g+p$QyiW(=<3YMk@Xu7~?O(i4Of444RvOKe)DUJGsX7_!8#OdB^Q%X*P z1jKI(L%XW-rr61XvSaEy=552Xez6B-{i^snsq+zn5^C1w_^7)L3u=P#W<-Uux_p0e z9^zh-*$g#(6u$ZY*t*N0Hr(}1zyznbYjJmXcXxNU;_kuSEx0?y-Cc@HX=!nHC=SIo zzyH~t-E+=<1K#8vm}G{TJI{SRl5`Q;McYi0CI)4+2tdirb|VTqSU5!-Ik};IZcwH3 z5fF!jZ@4&03neH~aYulku@2%yNWm+Bqw-$9O(-`4^=%&Qf)u*w0I za1|17UP))psH?V`Utzl+B0 zAKy5+9}ngv#+NmV!g~SNO+bpHsIi;4wo~e$2g*u+Q{21)L*crBvZ}Sw zNU`IQS(P{Da<3&f0)d3jBCOt;I1oRmCd}FKhF1HM7O9xfh{MEGAdbKW#;OBQjRHzU z^svkLHb#h1k6-2&l!PW9%2@CgK416XwEX$9_!rhkGL2zl$Pj#Auk2{6MP1-)2(o0& zlQ1_e8APSjO=2_=bOneqktX}mrdGK%=;eC?M!*LAESy{`MCxRkN0&1gB*m8}BE(W& z;Sea)hvy+}(zZ*VKYo>_%l|>(W$x~)tO((XUy1Fp4aNT(kNA532>a#Wba%gf(`pvN+ z7~W-IcwRXCaqq!p9I$Q=z9j_iABCTtl@lZ-2+l6JxWJcy`~?9VaQ_Ss@bd70 z+5`b~Y5CufKp=GhO4`XbGAK?Rtj$;PBZG*A01BW074Ua&S@2L?;5mR|0Du;FU@)Dw z-o7|+){wR5Afu>r55J3uhnMGwl<(p0qE!`FekXJ2+u#t&{04 zdqBzrA1Ye9m}J7^x4F^xd>Yt9m&X3{`S3Dm?{2)BQ!Zg`{elO$)xI(7Xuaaad*S5K z6gXPx(R22jL_I?&@2|Z>x0fu?$;l|&`HJ`~*PzYOci~C*kqfwiw667xlI5g>DshWW zlhJ=)#`DqnGNN;pk)vj#o{QD>t4wj-*>^JZy^M9|ZEX^Z-_^G%M>JchAbk#N8HxIv z)?C=qDt-4PcSnnu`#bHbAJo)rKu~#6^=oiHu}UCtnu8&`{T^}U z>Hd&gVOcUaz&)-|f0|^oa9d)#e(~g?|0=+3mW!DdgHZLUkSO zW5;M5P-ge&d*JEq-aWu86eCv=pH807QTw7pf8eEX=UZ~;Itsr5?^b3$+iYRf+M&i%mt^OOMEnN% z{Iapw>wyrqiaUA#xiCd4J=KfJXOP_KFn}{C(xE!l7d?Lc?HNl?9mgytOLZ6G0xsZl zF6r{zfDSqa4yGWmR}@fVQqg+>v5Dl_BcmM}^o>oFMjk~L`EM#C&#{7K>k~RrLQpvM zc0+T9{>?OEY!ydZx*huBs5|y|O94SBse)*%*0avbN>StcI}h8_KBQxFYEsXbrN6N$ z5uYm&R9n)^qKfpJHYlf7e`d?S5NObaCBKY2eXJJq2ZkyE%W(qMmNBbkc}RaQ=RLb9 zYpOxGu<9hp*oR&FnD$Xbg!2iwyw}@VMI68KtdnASD7;ZEu?nC+{aQ16V3%d}6{QU=f;k9s_6P)*Ss za7McW!$;|`kRnk!GLmacF2m{bTa{H8etRzJHV+(G+-2F^a67%S>Mo;Mr+bp0B?5Z^6b4a9=x z_2}t?1jV1gVg796i5W}i*o!SE@aQVq+rrul@X{sA_Fy5!xcB37etmBw;?h{!L(tU6 zFi7XyE+8vrEu=n{L=B_Lm29bJR*bSu&+R4@GppqOB@wB7Lzzts`nUCV=6BB? zop$#TM?G`WRkSciDCL97*v~B8mtli#1%sp>P4J;=C|d>PyqWG_m47+DJ=V?0dO^HL z0vk!<3C%-cNOtgKVqUtTrac*0yG*K}BRcU-5m?>@;#0c!mI1@Gu^{ON9!ACm-AVYG z?4)FK`@MlWN$d$35!ZR-^Sih-=VCoSc!r6_^;X=aVV;2=|Jx7eKf%ihzjaH~FdVX& zmMIx-W-p%(uRdgX!2W!c(x-y2s{tj&K$$1FLCSiYyE7mZ$@h~b;1(bQn{!rv5(cou50RuARLxz-H`ZJJyx0-@8>T;)Ci+wD}UCTA0Ca?@?kFnk0XnH zcZ-?OR2C7Z>^>+^dA-t^Ah^oWWSqBz8mNO#&ytj~8UYAGJkapnMRE&4$41ge zFr&ha<2N=+49ks95?{K2I&*o@H|hAZg__O#0hj>C@Pb(OPIvp1NqCmf!J>$hX!bOi zSue2`9(o1&KWTBIM?&gyUL-o!t;>7;p5MNESSSe#jUij*#WR5R$4S)yz(gva81Br7 zMeZWY0acMd=gp+o2*gPnXznj4?QBx4kBeN?l*+K!)VW7J+bMxioSQ-)am#8H6O&IU z>*AKq5Hxjk_2+f6hB!pqJU*~vKcqE4!KND-$XK_UD-EXPR+O&xhj2QnfBYI_1L9q$ zDY?BdC+2Zlf<-n2+j;WxfeA%%j8NyuY%k(SAM_N<_?K;RV!j%yHis0@jbSFh_)0*m z0|y~N0zq0UZ;z2IuB<_bVy~0bjLxs;SWNc3o_#V}VL_jP_;JNDZBh0x_@D^-U-7#> z2&HU^m&$4>OQh<0U5Q89sjM*5xVva|!C}uCn9LXgR^GgwMHedoAkd;;3jh&S{pUyM zavG@%w^GLdX7sJ%n$s6&>&yVwP;whv=(XWrW_P0ST#YyFpWf+VWuoJi{k>v1Bl3o# z!iun7|4g`uLdFXtFz>$~sB+r6v06&GigLl5if4t}q(b+6T3;ex(C1c;?6nWSOT&wi zP~-;`DDuTAd}_j)2PQ@Hc9_V_5zTNd@PbrOAwpb7q#jH^Gd{BdLGZFHdQ z7>_G{c&43w@6vm`fswC=7+_j;2%iN$*kf9J1@s@(26P%w<1^wD=zOAQN52dkR{0)? znM;-5e94{DK0iI{kb+o^P~_FT#u6P8m|$edU}dAD9Uzig103DA|27Zq#2O^V#_v`2 zWSwJ(loX7+pIG12Ta zU2`><2E% zIZ}mVpfNBA`e;T+G;kU2fjp9J|^YCvpfeZv=)dc>QZsjiL`hu{I~>t7Yc ziE&%u*~Tzl%^&d~ufjM_W7Ul5*U&N3AG|*zFy-=bcBTRkGm= zJL7B@e~GXXt95_~Q?920AU5-DMvN`vuuDRNp0YUFj1xoQPpbrSBu(aN*V5B~3zyl33VFdC6&%huf6=J_vZ$rNX^b+y3^2UvqI#m%6pGMM7))i(A{U2z^QpXQ=5%WSt79u)bixQ|P|S`&@MH0@%boCP7w z4NiQ-o4U;>)$dH(TdKvv=e`FTYlCJaU7FB;bapWMtdEdJXV7E0(TZNZGmL87fNSSt zXq+wqt5##uViI$h&fnP{tK9g_turFh(&)q?P@&3>9}2jz`Ah!lRiLH)s=XFx8*{*8 z#WLiFo0gWd?J<};p=T(<`c|oMV}t*Dw=1@-v?K5PMI)_`rT$1?7p%&c`E>Y(TXG$> zoA*cDQ=P$5MIAX*wPNhb&!!_jb3inBupAVM!}7P`$^!86m0Oolp1I>(<6zJia$Io& zz0#>0q5ExM>*M4_py2WS``_9i`cTr*Nf@}iE-qSO(GWoO<{L) z|0g&Yob`v4wJNBy@a^ec}`6bvCerP@6omtW$eJMHUs^#A+4m^17GZ_Ua z!cgm06)JXcwLDh#7k+Xxg>E3v#@Dm@>j-|sebepcDeI3Yj^L?X(#MV zZR)ns)5sz{iY(q5*g=_3t49?)pn1T+tJ|Tgmr%p zUnDyR49|26JdaU}K-Pg?9?)p2H=_sdTS@kbpMYj^9rF)u%zD(v=JHO9Vh>w?2B&W@ z%N8T$g2cT0PI_u-J%1j1=K%iIlkn#anxD1_!U~h)obwyfc1QW^gKJs@KGUBV+lkK* znJN`LA7~J1DrCIeyb+0EYYF6^9&Co?bHjxHw8Ceh71bSeeP%NKa0G6+&@p+XSxk3I zClC_<++OSI-npewl<-L79S9i|VAX~VAX zwcGf&UjkZ>K+$=jwg{Mr^TiY@z;vVzsvw`!W zReK*+GLqI78eXXKkEZ%x-+t#WP;d)xq{8qnq9*MZjaFd?kN%X3ziV@!R`BvZ;jSGt zxv65Y>1g}K*YjB#wfVK5*vqr0p`x&X4{1bsRLloh6|=V>2U-CB`S~Gij}0@J8$m1Q zsf*rEF%JnmsML|lnsm*IMh@rR5z>`pjJpXk0QsFz^{UXjS09^~CZp-bA0=ai887(`t8X!hR&E4y`aB&T3p1{Xg_t@W^_!_ngR=}v5j zjXp}h4!U)dM$-dV3JQl=er;2kxP7gysu_{^85SWxO?HIkE_9U}wEdJQly`eT&JT7sbF=m9Kt=Z}itJGjA>uB2 z-N5|O0A*L)Oxe=t{BrS2%Rjvw;!|*&-rQc6BxMJ9D^W!al(L5#)K=KU;7T+^lf^8M>4X0I=73S*lS^lS1x(W}PMe~s0l0?F%9$K zNJ!I_)dOKI*H*8zOl5S9ZT@&uq>gI-(6RX-T+Av8{lCLBAQK?~PMT3IHV!-2e|tJy zoN0heD$qI~027YuU$qU8k~)AO&G1EGU9fL$8!unZSi%K@u0y#Fj; z#7--Oflu3pf(31=06qi$MYn(&Q~;P*|L(DH{ZnsY{Re9Sk*k7RD*t}^53$3=#Rrm8 z1-DfGpa!7)k6)4l z43YD3{4@T81@cw{p#SGFCwP-3D=1G5K=mKm40!n^c+QCDzqJ|g%Ete*=@CDTxB)pW z*c2I5O#?2yfb%ybkRrIu^M5dMHb@?}w3G%cNS^<#&Rhttx$SjkT)klj#Tjx~yTEnk zI;?omYh-BFcy&~KIU-AgYnSZkVp2$??N|m59Bl_fi;AUN_W1j0_%?}Q3?FQ-v-rGR z&N>4%|JKxlUGkNlH3k}nFB=&LU(J_{`wWcUJcnw}2xnJ!H;nuPDcTG;uNt^a97LXF zdUV?cfUNc08~tleRU>;9FE187?}{or{%a;57aN7Z7mA~A0qeh~4B2vyC5{K{6}1db z8pCS79_sM)s<)LG`=1`9s#%t2_sIW!9p+@1p=PjIVO{GPadn_t?Igep(*Plf|H8xe z>g-03*Gg2-wKn227aM=0H2j3lX|Sy0hFn;jLg-CN2C*@ zspGw1!2|fyN&YONBJlGc!}yX00I}$2PYlog%k}~}-*)xJ=7l4#9)=5f9Z$ivKy>b< zV<0s5Ul%4m+qqv0hc0M3*M6_>MrIHW2@HKgL=avjh(`e)$O9ro;#zHlda^MC>liQ-;}Ox!xdx39jvqh z(GxNrJ@E50=c?*k37Q5u*f5s9@M84qE(4dXd%6JHI$48m$#*x3(na&8(0|R}xyN9% zLCIu=N^Sz#7kJZnD%HP=e`9#yscW5=6i@W81?WbpO!rhEiUyoMcz;KI-*Il!<*Z#| z3&~2p$BO3@+Us9!C@GXh`~%}9$!W06;~8r`v2q#v)Ih-@jOhI`Y_4S`EuM!vG7O~R z^e^cAoxxiI+5B$4dn)?rRzmL9oNgV|PPN?{#Pr5PvKOhKhafW<*)5><7e`q~p1f*! z7^!IaD`(r3w467^SA*l`R~)?Qwml6s>Uj^hWUS~7-IXPvf~df@!JDnXon z3Jt_&R>kgH?SW5vhGITp3V6ap9vi~F0~?N43a#52NeFC;o=NG7_zX25`c%6RwA0v_ zloE2R9oF>LxWb0~n^cU<=K)|+;Hsb*Z2O{r{zjg>vRaIxkFuPpHN+2IGdxW zRQpdcMkK`im3u_FXvN|9qm#lGDE@@a1%)EYhW?!jIZ;OY7OfSC_0)2=yyYLy zN2H4=8iua2nR#cZ#>S1Z9wGH|-I0`=N>Dn;o%m|6lfKIBC5k+J+6)UQ;xTVEeW$rg zM!0eh4kh3%+W~0lhJaOWDGM_e7j zFCWBXWpMQONB2RSIy0bK{+|1mU~$PXE-}6+Nmxj^>R_ycys%H&vx>dn<#{GquoR zIMgckW+n()X3DCm7>4(M8}b%`O3>RaNd%VU+nf@4KQh__+}0y}^{5hZ_l$Y3Xyt;I z({M~i{r_q{tm|s=Fr=Sq0P7sBHm$&=@j9yvOktez+T8Q?U?jr)wPj zE{&cmRr94~w`l|xmIMSEc(C)ad2Z&lBlq{iexgoO;#zQ5j02@43o45{Wri-8Uw?|% zd;RX1>G*4*aj{WoDC)ajz@(or<>B)J&uAoyX_Y&(rs(06)X(v?VH9`E{?WZx!2leZ zKiNRCfP&qaPG}WHfQnlo4jk=~4EL zue0h%4%+*og(Q8J*6!3CIQmpiesZ|GuebwH5)JhVHjMEyp$&trif>buuK{)YcXU9L z3S8nnHxorGH#p{657%j?UuH@jCkTkb#m~f8!ajoLqx^6;Ds%kil6Qrr6tFmR6Zq1( z!V{v+=*0kFw_6HwwYgV&ZTTcof zNYzaEjvlAaM8u!+`!vq13^-SO2=o}}7?$5)a?qdB@t>`-Q zB$)fl1wAPx1yU>oo5o~n6k62KMv>~=VIz=;6Mj|GBaU9|(qP^y(Ruy{gg!@D_UN@P z_ff3jgk=Qei#lXk%IxR%$wy~OoG(u( zDsUT45uzjg2>szpotidInVa}3rWTwFtpr_Kk>WIn`+>&%u$*1I49ZysAvRg}d z;=Hs^UIs^Z=$X-%ciXlm9ZDuQpY4$#zSEFf0qqIsO4&GIl%__V@wICcOI1`qXi;LsN(Czov`Z;z$UG1IQ_q^A` z0|br)=6oJllI?4RIDjxLf@QqgdcAi(w}&D52pFSB5DC07x@vG~!rAWb|9dhEw2>H8 z1TGm@6F3z7o!lQCj; zx~^JUe;I?}nijax9x3p0(IjK@GaNL$Q{P`yP)!#-6T#?9x85%Tc1O(3_{m``0So># z$&vh?eYhU^+@8dH?*I4j7NTfC$1&IQCu-Q@z~h%I4U-^7`~h*zKed=@@^dY;R49Jr z^3@h@``>7(CN-&aWfN}Ch*9whBcaCgQJ$i%3NK-4vWHhC^GTdA{)Uctq|TT>0be?S zM3}SNzU#6o^D0L16+?S3WoHl*Y(Qc7t4R%>3=!Fy`e_)pE){<^;9V_N4@C6Ia^aeXA& zO4f_s%KX`~((bQe!Nc=5CJqe}gC)21=c^nQvKKZox1@-2N`@@mDZX=xJ@-^zBumP+ z*$@We9UT&ha-W2T>${sUmTzYPqlGbvZ^P4hWf>U0s;s8>$GX~Hi~}_gt)Ub#Qx|$g zYUmOiI#oX2#04s)l22o6e2_FeOFA_gDD z8zf`nxw2|Y#diVji|iK2vKzh19pVBPlA9^OJcl27EtG=!&>6(Xx3lfs8i%Plfh~`8 z;$u3ta3j{=lp1QK`aq0S4l35slG>53DS3gj)2d}GP&ja?NTKi?E@ANikG$5EO_;1r za~N(|qi^nI@Z62+@5nL*rc9Ay*gV2B7zFP=gfh>v)UJc2o;Z zN!l)!FP=p|=hIgE^kEarb4P}9OOpxZscA4N;Y8MIK&tc3M9$hij3M*$K1)&?Kks2BINEB*@nNkHsct}lyx!v+}jr; zGLL}B3CG4@LXf(=P0yr$UHsAVsx7qJ(BaBXFex%V~;=>s(D_uT39F!r6uTBGo!VLaB5 zs!UFAQ6q{=r87WXkg-Ck;U|TXKJM@YnRFC`@I?_ z5J;Bk=maRI(#npP{I%b2F#=&&xv1^SV^R-tpyRPtN}MIW5hO2}$cTVxzQ7OyruX-R znuA>yW5=y40aXw;iM+Uhrm{&Mq&`M>@P=IB@j3vU&xQ41iT#Al^0lFVEyR)=%2g$7 zqo8GWg)90MF%^RRT;i%J4r_~CO}HPzq4}f0y$m?SLzX(|gg|1trI@D^%!*rdU$9xW zY?;>hiQWPW>lGvHD?TDz9Be@x%I^uXFc-dCIqb+DPbg)NL_M`L=eODvvbOtgcCKYa%GvlAB6+q_1-ub?DW zM-Oz{u2PKsMO7@y0uz4X+}vhk-fVs(B^5~$F0hbjl$T}ST^8Q z%CHqk?fZTAE_vos0+C@(FJNmBJAcGDk+O)yy>u4TChtCc483&6i8117#K!e)Jb(EO z+P2@Y&;n`|bi|&d$MN_4Yj(3VsfD`5!ZI-60g{aVkR$wS_#y=vRL}?y%R|5=WX5`h z)DWOtfemGEWx}RvAdNh~`rRK1z{1|6`b*XR&&-{LytGSF)jBC{r*-han)8rmkYmzQ zZO+sypXILdC5d*oDI&Gd&p{5d4^GXBEFMQTx4llfAwQZ6LD7;tzCCrXE}s4T7?`b}AobH&sy( z4);pbD{so=xeiav6|g0)KEbEX-&jtco!E~6LJ>-{Cz%QriQU*%Y1X$`R8h2ay((I! z0%10m`ud%G8}Vi|qwxllGLe;swM>9hNfC*;$5hmMC^Ry24Co$+w(<6;Ah-#^N^etP zsI&*IOuJ@!{H!NhY)FeE4$0_uybQh^ys^xXPjF+Xky}o$_jvG;jkgp#XmcJ^GwTVY zJW~)hyd}j?WxY8Q$vR@8B{#MvL>D=y&bqR)Jy=`NmSd(UMwOVQ4kAi}cSZDtgn(gxyQt|g)!$|j)V6r6dLH~1%x{{V zYgwW+K2o)M>}~c6Z{l8*_`~Mc3`K%Mc^tS)cu@WrRDj>{{)2Bhqy}!v=$Rc0%6zI% z@H%wOFUJ?XtmUq&z=-#4=L49$6XV$3LNn`5|JVC-UYd~q`~*FJxPrUGdp6cj-~Du& zl;ymby!mc^C*t8#6SRKlVNx_bs)}#SN1a5J)~Gx$wCt)J6$&rZD9q>pc3G97v-|R(iWz8UB+xB3apja^XWAy}dnh}mA&mKN#8XA)&B-Qy z%z85>#=$Ea#S}+O5sBV@WmpzUKTC5T+^xhha21!1O1jO_idD2E?HSdJ5Za%_yczWS6U?%4 z9i0Bqk&Bi13-441ClunS_n3a%wfP)JS5R z$n%@pCEw{jyol>(aF>i!Uqj@ogu|37%1MNI>}Cu@SxC(Lloc9ayYa|p|HLj7p*BS2 zhL$6Td`G#ep9uml2APAiJ($R?&Ie>LyYiCI-KYw>zCP(*HWp?@n9hvW7>u#g=_?xa znxNokB!jxN^?=urtlDuS?CuKOwFIYf={cG!gKxQT-OxAiG8#O@;%+;q0M)Ic& zo-m_p4KCh!hzp^%zG_9mB*>XZK64@hH`f@K+#m0o>2E`J+ovFGWPhYup&GaQ8)B;|@-KZ}5@Hs=1H{JGlh zU!FS{G5;ST=@W~(mAkX2n}wA-SVaesQ33eiz&;XKdM5>~sevn(U_D6%n;i^>^ML0j z!D}HodAY!FIG8*KtLfv!pf_6pCI$~X_zBMD_MZg7-Q9oWaGp#-068W*&p#RVzx_Nd zkCFnUX%CK_{{=O%=<4Z{f}j2`9El6$Z4Zu}|NV%Y7o6yV#iFm^Bh3Fe0@LDrX`&5&$AMZ8{mTYy;g_1oz z3lo|oCfre^JCt#+uh+eLja0#5&e>RQZp04aNHZs<^|f`|6WjCcyLeNX7tm=bu5h!r z+s_Ve4@QA+IWAs$;K>K*O2?>xa+XT4mAU39rj#~yv@j*5?!f)Mt=`+pz3AZu(JAdO z#K%PH8;kZ+U_F#vMtwJy}``SCet-j;A<I!2|K z!XSm&O1rvO84kUlKJC|2hZZ4D8O7fmnOCk}^~?ot5ymyxVT;T8 z=o`JW0D&UF|GF(>iI{&VtxHs_KFu3IpV5_9mMQ0%$pULp&%z8K-G|-0A>_=t5l#3T z83d4G`jPVoxj4TC2+&@RQ=n_vcUEfaDfedjaN9SDe4Vy>Db$-ExWisvjHG^O%+6Vm*F!V3i55(N>uTls7ghBG%0uty1b^it+A{ zjeQwc7|TLqH&re;HCE`I?Tl@5$*c)U6rd94=|e)djLIqS&y0xbz)$Nj*Wfxh^;LA> zo1yyv|JTSLBC{VPo3LE2&U~$wY_Y58el)H_aMGZVc6huQ{xng%gtx@Gs*9t9pN&Il z;Py_qq1ucMzNQe-U?;g7W}ZeNl)nn%vD=UXWeda?^w__RkNHk`To$UGja4@kcyr}nQ?WQX1IWQT3Rc}eAWda#l+ipueW zjm#s#;Q19Hr^Wr_#q`VlF~tSB`mCUJ^EuvvV8$mGLA(Pmh^&qdwK7FLnxP!&&$+Lr z5WF@pz=u~l8!8>vguH7l2%oiYGgrZ|c{DQyVnS@Lv8cFpF=TMm(gDgt%EfX5oF{gi zdZd-4oX={NKj_WEuwIM5l*6<|VrRcBtY&=NapQEyI7vU=nHgP{xWM`UXde=7%FslUs#Y4yZCL zm{?+}Gxs?l&5=;Qf2guIqFpFd?)SI>MP2b?q_eR7v%FjN;_d3z#C=c;m@272HfGwL5(Q#lUT9J1V+Imm3_;?qk-l=k?l zZm8p?Z}TF{!+Z1cTb4SI!C98lTCv(03sx!x;(jcO=FIEfz*cbnoAIskHx zEZKRIhRvwT^iQ&qA3MRp4%hEAbb`eAKNS=dcQ9uWHslnXuftI!r#P3tGn{wIDoWu! zG~buCBt8b{K`S+eA&{z(G!21`P~h%4+{@_TPz(ktQY6{6=3z9hUc3QRHeWXM2ap_f zmZ;&IV-H?N5)Ra7CpOkmmQZ5azX;BNG)K#hYbYqZ?QFD97CKy>oEOfE)%b8xoEOP$x9ckLEO02-~wyu!ijA6o>ox`GuEo;DdFj%QnOqA*vI0N z<|3w!Hbci88wvwUy|h{R9(Fvn2q0>a<5WpPc?>)yZ2Zs7?ZjFnrd`+#*1J>EW$re^ z{A&2DOYV5jnNZw5!j-rVr*ie_QQx~q1L$GY)n!DQOIG%6S)ck{Z7PMXxg$F=-3j*~ z=g9fl2nM96H|2brqIo)gy2M_*j?^%dCAEMLb-)BrB?c#oF;u(VRwFoh6KD@#T5XCG zJ7@pI*KSoVz19>TFYf<#_`-oEWnRTOz55G)(f|Ie>KULt7DF^OpBAz^XwbYW$YXhs z%?F2(gU$go*?T3S-GL(i8Eo%iSIT(p+bp0OH}~AXh4sS9gTs|asjB0({wNHq?<5W) zv^i7vP}1y8mwibpAPh%i1U}EhLn!jA5g~crz=%S3=iWq;oFMnoGT?492o0uRPn&ko zUfH%vTDR4h#P02+2nxuXa;wterw#*Brdi#g=1B(W$1^_-O&^3mA!hzI1o9i2tpi!V z|AK^w$CQ95(VFmG|D-C2ot>jKAyitz{bM)+gR|%?Hy0tUv4db!255<6Rl0{woHRBK ze($w$O<{H;dC1g5TEQB(SnAzmaCF>gOB_IPFoB8(M|v`Q-6S^=E)oj@r@G)T3NbY^ zE35Mmx$bTQ_NPZf&^kkovp-X-<}y!JraF5)NqNZEMD|~};nc7AMXVa*K8ZH}c$e83 z2~NKZmR4+CM@%Pw1r}<@68Oc-91Uhc=D%rnEU8)tuvR?`YQhaHY1tS=E_TWx9Z}DA z@@hn@r1B_aWJuhMBS}N)H;s&OvzIC*v<}5zSy(IMD7P`^;1Mb;9LvzVd`_{3j=TTX zcKicTvlYxpF2PrHcyC%87AP(V*}hS5!iL`Y$Bs$O0FGAIfX4SyAgdev6|i3hMV2OR z=B7GML9o4CqI`CDSiWDQpd1cApOL3g*oA16S1xqV_glmJw?^=TL!J(P2uV&~Wgun; z1AilbLT>Rm%!P&neVn?k=`isNc2(hLxQZjlFDrMvySG{jK6a~1Yuzxg>sv(flRt$-<4O)Z7VlMp>hKW>}@~q z*f{%53U>FoG9lSE&V+m1N@IrtTag7?l``xE>vP3c%GBufaLDNV?I zd_yQVcOIQFP6~!qj773)mzes6@l>no2Vv5U?UmZ3jG7gDv1B~dIkpxOyLTl{(Apip zKM-Al%49r_G^-hP#@jT)vEZ6jogje@E+q5mM-{uf`4^<8W45Kbs27&*`fPb3v?VA2O_B2`e;iTRn;+zt`FHH$9R~vK>10b?qS6+Pc3TSpQZ-p!U!ft6S3T3 zt@#J_r^o2`cc>^E#4^R|pW^Se;^Ey7fWW337_VSFCeA+#4zrX$41TeB`eXU$b*m#g zAe|{BxrU!mt-44nU$O+#)14%LCiWo{*a8`3N@-jjuVZ|Makuz=tFUk|zonK?#U~tz z!G+L7JR9^kLlE_p*GgxC&xqT8A;+A;4K6wOG7>P69A05oO$uDY!`={Ku5Dn;j@sqS+HQYPw^i@6wcslH{lpdn7T15Sd!*qZMijeV#Kv?wv~md zb4y4}46pJIB=b@Dn6B1??q%>V5Pb5qE2*vwmG=#oU%Z9e-e*<$RB>EoRPX-s)Bt%4 zx$cCO3_mpK2#dnc1{VF37_b%$=XfDm{DWX+Yj$%4^0t0uB6Y^ z(p4^gH8Xx{)7e!C>Pg5 zy*ZtYca*pWvSJ??YT|bW=oYXuURyZEkf^k;T>Or@X(F+>tZ%AW3q7p4mb&SGNZyg2 ztP=rwR(X{-+z-06?zn4-I6{d1d8ZXKDPl;JCaJ8dda*v0wJY3v$C6S-AMr#Zzh4>I z4TmY^^!fZiL@_TYNfIoCK`aV9Y33wT_cgJWNcy~*)j$oZWAwgb=51AyTp>UBRRzDI z6I?S)9RkI<9&3vC|EJR2Er9Bzfg5KMvj#t1m!e-q|d=8 zwJ#B8<>vOztDgASb&l{8l#EiCuzwO8d@*=2oTxuq*x*FdMoi#xmjS@hb$DSZHIRHg zi>A;+a2y%7dC0=BoD_`iyyZn%{Tvxt>*@6vh7xv`u1 zxt|EHqmu%$xIdBQA`qHkgikDE!UcbyNZH@6;vP$x@gPEom$IAvFd&MVg-Pv1r`szX z@iV!)0%6N0(4?vWQ(rI_*t)l|nOmZ~n}x62heLs*Gfpe~mOWk-ez>SOZWYAp%+WLb z^{@DJ-My7PAD=YOaC)b;1is$Utd}0Rts|*ejHct_}F++)wl$>Z#A3 zdu1NTRDMRQ-v~anGB}8GF3}2t#hOu*rn5ZTWPGTNgB8iYt1-LdIKo_1Sv*oC#(W#q zfGN%?B7~-_9Ms>BW3+m6`sT{_63E_N3JW8a1jx#iW28-ZXQk@Pz55Y>3ooQZ5TACh{276Ktc(wyw&0oJyOQ%iMaONT&_#V!vQJsG7aOlF;FLu#RRH!mk zz}!pT_S50s>~lU5B{d0748+auu%IlnP^N@rp2Ti75XsafCGpBTK(LUuZX#ef9@DP; zWTuk6rAnQC#ax)e+1*op?nY4%IUy7#x0Ey=J}zq#o^1Di`2eW_QfQn+8-^Z7l2?lc zhMpScPtNdRg+L|TUP);2kSyDwSZFca3m!S9CTk)=FS#3nZy%3U@Gfk8S?I6Jt>_*B za!Y)S-y3Z`fqblc*SQ`O2IBcT`|z($8{g=1%|8aPi3KhAHcP(-8(lrD)c2XK?&>Mx z>+4>M^qX>X*inb%k~3C^G_6c}@8Y)z6W(8V$TlkowO^$+@&x2*c5wmo0!djQ1e|h*GcP`mrQ`evE(Zb};+)TPW+7$53 zJ?7egRSz92k+5&BCLzizQJ%3=Kd4P`XN|m9vEg_{kUq|=O+rjUm1(^?Vmmir8?V}R zH!`E}QU+g@kqI#oX2z0bJG(Q9FXb-{KVb^U mV9c)(3g7I-DTc_8tH~(>)etym z2R}t?*r8<7X7J|RgeFu`3TE`*8hfjiG)z0(d;;F=Tdgd_xqaj@!@c*fGKnl@H5?zU zB?-i8|3%-|7>p}T>aR$8|3wwQI8yH&jo@>e;9m9ZTB-}N-TevITLB{8Kx@{_#0ZM; znU7zrOvVO#+YcYFw+mscX0rOGbyXtns7BwN|Ed)@0B1Z> zDhxKR?|De~gYoLq8va*d*B)GDamBm$t`RZ`uMnOg1T++h#_#=oYbb>fuqw(+0tq2J zG)OQ6xg;QhToN8Z$Lr7{DpjeKsaRj*RO_SKI{2!iRz;=1{k|mJ zyX#EvAIW#mo;`c^oU>=o?zeZ(k^9e{)cbI2A@U0SP(1pZ_WhS;y_z#Nd;95|l5h2Y z?%3(PH>!qa<=pZ2QBT}7;-fvwa<@NK@cUOTXn1ku<%b%!EdJX|kNoq%8|U8{zke`w4vdvf7ffxD(=YxW~OYRC0Y>}_a1`oP%l z+nRqo{MLQneLnr`))$9g_|x84%|rW+jsNdwhZ=j#-FfNHTMoTz4Wnn}Wdl*ONZ?&9}$u0Orwh7ViL9XDoycjQ=IQ1|7Q z3z{blc<=2~C!4C49=!DH123KW?DeM`URu!ecV|yIc<{-2&+j_5YtZJq6Q@7^Xy~cR zJtJ>z8M1Rn$p$fK$$&Cm!oJN-e*4@LFT8x@SNraJv)7p&Zuum)oUI^;vIPV}?q+A~ za|eFcIqPiC4>!9lFQD!%Y(z1(x8>%yC8G1!RuFB5&&eJ$ri--KKIPQ3Les~s{f3FX zYq`;ktepXF8NkVG-}Fm`D>H`DD=lm=^Jr=rt7xC{Lyw_0E+CLeMZExrw*#aI4R?~= zB2VCKH|p$rcu2UTPA6N~bh^8Rb?b`@36M+Favf}fBX_Di^)0BSo|$xWD^7+Rrv;5^ zW!>^^Y|RU&2p2N?I3#Z4K(;Vt_S7MCPd&?{3F}z}{k4^K&o{7nZAMuQkla9Ccn~0o zz^AROnqnK+_@Snas$P_YG_Zk)?%B8!!3>b^)C)1k(I@NKKsvAy=#GVSqY$F$Ag=&Y zlDZDECI}o;cX6?!?MuQI)o*0KjUkz>tZZW2y%TwC zyHPuk=B{TY^w~z%tsm}}G$C0We=jv;epF;Wu$&I`-)v%)bZisr!-6mk!$_RdQ(ikj z(o(0LFB>czE|=L6zSxBAf29aw3>^A(8{QcxB?eRn(a%MZQpxn~Qo|=|W5r4(6T-0^ zn@+Sr1-sX=9Hd+5-@fCb5%SRa!1kW+=hBb{mfKFnxmh^0j-0S$G_X;$cQYH#oYXU$ zSvf0~1}QCiw&R#{x@-_4?g0D978}r`TUb7g-olbBNd0jOTg7PgHr72gW-BXWaoaFb zYqqh~jG3wLwzK*evr-FgVS8fCPMvONi5MD7>|)n5=B7>(TNz_s>Z&{0ni%s_@9kk5 z8Hg^tn_bPApl1u?d8v2rVeJ!Rra@o!<|TCZ$LyB8XqcTDCAMisxHJC64*mv45TY8z zv0L(@H&5xPwnXil`gd_GX)`B6ZLf;mnir13w6TZu6%p#B>eyoi^p};f96HsT7twhu zV>|Q0v73R7OFksw_g2RC7SUyQ#B$nyK9xoHj*kzb1G`Zp9Q_$JI(j(wj@Vc8V^&8G z*Pe>)(0gcwJi+XrI4J(Xq(|c&yDKK*UT&k{!cW``Ye0+Pi&i>KZh4Fs$ za$!6>bzMdL?P2g5p}bZsjBnSwCGReg-72{z{=qr0`w&&!9KTiXj}`W(Z|bX?<6<)Fk z)`uVUJ3DpsQvM5_g0l!ab^T?0Yd31E<$WSO8CUXc%%`WXW#PE_(jnpeqlX^@1jt>n|tETAQj(@&Lr0si6Jc{Ht>=h2>-e5zFP z7c)`r(%@Mrw`lDw5DltO{m?8_cPO_itS+kfd=R^K421>`;DT!A@Fx5_F^3lpjHV|Gch`i|R!3%LnJcGTE!NzE zCf4%8-W{cW^deKvjYn(wxpaOlNxaq*LCB&p>nt1^k^}HW_ScsH@312>U zaS%vI29A&rm!7HT2DL9nQ{5Ny{*e8!#XLbXuSGxhFXoR@tN~BgUdzWtL#t@yb@Q*O z!)%1wuu9a3*vRJSw%l{HYF;euMQhcv50WniT4_6N=CWP%pBtE?nI23@A|^F>NCOlw{t0VK{ylFX7!W(q+3Jm9wD|r9m(Y$xzFZUz3;`3JkY6fp;AL@v@Tm0$ zemNctdNq8&;fCR>B?MWe607+Y80`CQ1paHQ`RG_+QlB;aiWp3Mf&A~;^!OSe2d+!8 z8+lnif<;4qiW-Zu<$pK@#DUXp?v~ z90w~DrGjVT+B5~``ebh4c_oG%D)Mv2T0BpBk93%6U`jBleLa7)#4~goa)hbq7&QVr z)wqH8WBrh}O(Pcwx^p9Mj(b=L^x4EOiu;zEn!E{fUeb3IT39p~s__AaU(RNd1q>@E z1?CzEIyIQ%E2=?V4=Xivy5|{D7>*tIG-xv)k#u!ibOkP@%McTYxSpaK)4+O1861Xd zUg%z%x zlpYI>8DY7av;>w|s!9NpD=~a7IU|07jW``qvmxB$phZR!MkluOyrfWL4+H&C;|xQ9 z0o8*D3<(|PYBPcmiepAEgb-28nPyHfY&%ed3z%@VMgm_Oi~<*JD4IrH*kY!#Bn$~< zr640YQr2y}zZ_F$=HvkYCUAM$x(gK#fXVGz73P|X)dJ5|Sp>{eqh(ASGWHH_x=XJB z+G;EZnA}KK8n$JETLtDI$k1T&7`TGx!j*QylF?cM>i|y;lTA5=Y7N6dXfSN3s|{PO zsg4X2u1c;u<)_n+m`MksRxH_caAk_xi0f#xB?RpYm7r&ts%u7|WXrb(84ZJH8T^Fu z@8SlB#MS8D6o^66%?4Be!zOViLEI%Q@J=D45op-df=C2dX~A(aTFRM@pW*6228%Ck zkO2mNsx)F_jH}GpwxQ0JmV-g2j3>)UN{dqnf)}kPj*l2r!Sj4uHB8Hsvzvk!;6;lf zegu!0sewn|w(=fHY#69@JfYL^A!8L!xW54NRqtd4@abyjg<(XKbDAf@b`MNfX#|SZ z2*RPu7gh4pX+Ee6DQPgFX-8mvkS-ATAOm|y;Z{Z_K@-7;N)T6CTeR|aUYvwV)j|t_ zrUsL5Y$V+@PAyLjeh@8dK`&r|>bL+C(QrQ}ogiio)sBR1+VuJDyfEqDZQjzQP1suj zbMoEZC5;Q0;v391{D$9bjJEuV<7@#@PjJdzufp>u+U1x6DuM}K`2;bcd`!{*N10QE ecNEK;<|mr2Pt+~U#yi14c-h5g6;GHvG5dcwYB_-b delta 57792 zcmZ76Wl$YK*C=Y--3hJ<5M<--?(XjH8f0+y9UKA#cbDMq79=)oJe(gwtUEs3I`#Q_j~=}39766b!#|x zBBjc{KdWN(nPE;{bBtl~xE$~4*wgrR3YD0L!GM`K|^ zf8plpex4?W$_&?x(%stYWcv$lMM+4HSS>$ete%YqgFj7qILCaMAOJ3p-PYogDY?V2 zuG@5c-l@}@+YFG3;fK>jJ^ho0_B;nTzM_rAnq9}+4#$@mbZ>4|)Ht>#YdCC$)rwZ& zbh-fOuk8KsPtdqRB)opFx2Srzi!;G6fBc#TPkB(Kj@{u4`rge>is2@!oR-`fZ|D+H z?lzW^Ebk9?Yc;5b@6KvU-q^Z&*@S&VJy2Q|`!)N2Y}|&D@V*B~@s{eJdl>*8{srH4 zUO!hJU(BQD08DpQ6%H{ISMtD$3AclPKm5NNd1|xfvhVh;$*9w-4qp6!3s6(*outi{hpqhYd+4r5$kU>3)0Hw$g$H^S0Oa-3jE-0hfY)g6- zG(6K>T}b%oao{_WeMYtX-d-)o7SU-o#DqL3O_m&C=5-N!b<_HpGo_>Yd%84d6bLl? zxc0p~)N%V?EB&;h1Z~bv^gg8)3&CzILumRzH1FOLrPQM5T0e`fvI!vi4fE%*0~gAv z*nvAdJI^}gLIG1?o96>JTHWnrLLrGCD`wsry9qkWUCxtq@3D6Xxnz60@j*geY2o=x>=+C?OIN_mD0b~Yy3 zjfC{6^IYY#UNu8LbqCOuthw(xE}~ln`4(vSvtAh@xknJwY+mAs^GrB;{b%-Jp%GXy z8uu`tfhn`XTyfG)``gd-Fw()NC`EPh<%STFk|fk%mg@dHpFahgv1%`h=P@Ow282^a z5!A<&kg@fIsSlDk-bs~)>RTPH5Y4R+Gh6yugd|f1$FKM`FegB9+ft+%H7R z4AN1hPNb5ghUx(4@!;6L7Yq4RmlTBLUTQ#ib!4jdf;R4tw_n`fLb)AzSTrfapcfKx zTw~UdblK>T`PM0VOMYn`C`a8U87)^wczj-7nwHZ!8=5Q12bNP(0)AMXwJ=c!I2ZT4ME$)bU1CR zC6PIB(;m}bPA_=V{cqr3dYuFr;%@VlbSAP}db%K3Q6!bttI~ zEzE^}dx0$aVn_`vlGuqK#T(hr2P^t-69)~dSA;pp+ zpUClRa%vujQ*;uXmd7@j;7D>Q(X;Y(`xpS)tZ|5CCH?v}D5WOYsih|17~|~_cf(Ss zRy+lpr_G9@BQcJ|U&kUN5H$%KP!Lh^33r1)pA#{{H_3)l5yJlh=Oz3xVd~KEC&}2` zlAP9GSF?{OpPY@!n&g8ee$okRiRExRw~$vQ3f(N!CZEHRN|DY*-Ew&rq1)<-L@v%0nP2B*c(=o55Ext zSFz>h_+|sGzGrNq4p!*0t=ny!|*v`*vy2F;o38>VE+DB9VvgSv+BxFXG`KFgD>4zjD=q5+6e?LGhj`2&QNI zh#1X4t{CZG9)MmKSvmb6$ix}RIdul{kA-S$$;+^hBRlG)NHwrlCVq(70ZsvVqwZwH z#J+Px*D5Ko(2o0NH*|f4K;QcZDr4XZuhbD_zbgUi*P}FetZ&itCDnj435J$?SWH+X z%@E?e+z#Jd75FfQtAIJ+ur0?6lC5mLr;$3Rhr$Zkp;Xvi1=}9&on%YhReg3dfXjy| zCf+P1-ioR@je{n9GsQ4mL4nb9*JN8#XSmm3tA8kBsP1)#W#?#j@+7#;W0@0I&CQXi z(RjPdfcGs&NG7&UOB+y4HVs6+X=}~%{!L;{Gp?bxTv^RLWZavmeFs^0nCbaLa@$|f zg#6(g%~7j|%)OH5U8B3WTMb>n-F*U4VYj$9lYB%OMI)fGUe{9@w7s+X(=e6(9+k_g z>$*qVZ-WxbGkJwc&LI>^$@pk*&Ip3QuoLr80GgF%r*eDNPX(B_PbPpww?O1>M`0Nu zJU`vFPH$ODuQIz1WU$`<3V&Bi%kb2E1FSJyWYM} zwHL;$nsgt)hY8{X_sa6X*DT+ZN#Cy3+@?@ zW@ShH4Plp}48`#Gdx!2zI>+ak{_)`9I0j z1XI5f(<>Bxfp(Bg{QLfZO;FlEM@k`SuOG|JpQjqgL_g|)(i?p2F)~QqOZvA4BS~a8 zk01lv{3v*konOUlggn#`0&$Om-{0>o6#bDFN0D8?Rb7i!hXQUz%D%X;AMLeR zqPzzV^oic=-k|Zg56EjDwg`4kT`I2N+|Tbd!>RywET3DgB@on>GXZ4p7{ss4K`oW# zR3M`?q7+5B!lb>&&=Skc3-tpt@tOP8X__tz8^P~#?(7vpd$s71e3HKT#A=3_iHwP7 zGiHm`*OPYsL-ZDoYV{>DZXt9ng)$+JR*E?6wmP|nXOM1kui!EmNm&`6Rl$m zxIDm3KDE~6e1EGJ-OOp>*!^QopE>R!x*$c2vD=)cWbvFQB;yh}CWQ%=R)5{IcvE&j zB<`*(IZ^N9ty_0HLtl`tzM+e{6|$UWTIxiX?PyUt4fdU?;MXsKBl=F+QXGf>VkI_d zoYC*x#dDSK%GhiBRn84zW-1-&i@Kr!NMT?=4%eB#5^%V=ufHxKXut4@!FirOCxEG% zI3DT`aeq+){g>l}L4|XY_tXQyJcerog^0uZ+fUJ0_ zlIKC(m6CE*up8J+4M?5{5!EK;oq)+IRCxWw95s&20T!N9*InIf)xfHX0kjD1_WEmD z%X3N~?9nkr;=HsqEQR`v@Oi%wzStD*^DW_BO%kWEZo^Cm)SKiXPO#rk9C_h9i`zGvT$6Sm4|@3R|PHK{)E`H|V|Ca)FZ`4m6@YD=_Xos^tLJmC4s z`OkL-2%&M6Je@X{YKZpZMSyro@Pues-%AWQ)W7S@_%$D&78j{IBjFm*PVafA9e$+v1`r_4jr zPGD9y#U}0&AD1fMY14t$T(UwKQC4cjUOza!+iV+Q?iuYc|3aMP5@48Sg=-ySGnBJ| zmTxy!A38k;l~NuJwSHAi?Ej^<+Op#ln(bzPn7abQH$zt0>O) ziW3;EUYH<+a)W$#29zjx4cL_iY;@*oT^&XKf>9}^FVk?mnmW*6r#gLW8etPT=?c2m zL-O?uK=$y2Pv~h>POIl0A`&%5=kG7MSVP!8g?DuofJkr#%U zsXtvYz{HXu(?9jSTqcJjP4(^oO9hi&V=m!S=S&R2 zOT}3MonQ+Mu=M%6vt#U!fV@DKPyalw5NU0WM`39yFS|4c4;5(yh40mBCw~Rijv3gv zbo#4F*Ip#>(hWYnG6|~4jyMpfezVBCJbjpo;WB%q8M1PkwZ76@B*W&kfnOPFuzPmA zzMp4HL#wpugu*|R&k20Bfay8->K$j3y^k9;X>9Sp47eG4P8~V-n9H6f(;ZQv(@a_r z^o;ClncnnPm2^#qByvFg+z%h=HekX+rr?PNh>Mba@Q{zf&a-HO=Ue7o?n zBxx4{t5jq{gSc72`xTD3ARZ=mHa2p05E~N@CpS4K8w(RFH(2N)B+gq+c(UP%wB9uQ3;> zYPHyUobl+2Vbo|_5nHwYb?Q&G>PWDX&~+N|O5yw14>!~^>FNP3B!u&=-yGF^E5FIB zq|>C*)b^iZcfk|-a|u!N+B$x@eV#So@bK4Jx1c(fba+#hBu0;d@MeI?F<*p%M!=wj z+uHzJMQIg_CBw4vB;hUY8>Cwmkyspus&G+CE#(R34zh|)|EI-+G1j`kaK@6fV^NI` z)jt{>UAKBdz84OnwQX1{Uz70`Htm??2HncxSxjm>ja3)mS%JH5KlZCjy!9vi4R zU5SH#%1I|$KRkiYPpmo)58FLr@N<*-q=Vn{&Ja^>&Qll5Rmr6tGpghPv$BHCf9TJX z#RB9m_NcS5MP*N{DXEmuSLQbWl$8miwS}mkjLyACR4@k|4Yc%Y5wFe2jQ4ITenhupO`4pP z{>rg8*Ksl~0go!~7tj6f32majU4~>po?Fq!(tb(qNlsCJp%2o~N-lGQ2`7xq@;Zla za1|p6yU_cTj%{AzKtO=~Y~i3&Yo4O$Rar4|T`m2?eE2G+GYQ!gU{Xx(OP5{faUl+Z z=%k}Z>-+BV>!s`6eU2OrTHB2t&W-?iBJlERuZF9bVw4)Oh%jRIFOqcvY?$i{0@Mof z^=tUqowHruw*TS=-}gcnrD9 z9F3LxXx*1i$i2d>d$Y6XxoqNn&52XpHe$;rYvi>S(GwnMAVGdxj&35#xwkVHi_!$HYhtRqC)!Q^y~K}vw{*FzY*!y&v;d@|zIIBq%& z6iihun6q+V8}o7UHX7g8V}&F!tVzC|jn%H3@pmC6`GsUA4jjU|F{g%#HTP>XJUe#n z2J~2p7-Fn6h6)wSL-Chwt07N;!C^xmTV!TSNs#7}f{(>R3g2|hv&Lgn5hMx1sg9X8Lw8FO63RzfEBHKL2X_r{T({hWeT zUVvOc?Fjysqyf3triB#f`Ni~G0Rz*p2+6B=e9>jCEF}Bu&&xdT-~b2&EfXzXgZk*B z>p*p>&}_{OEJ8_d)Ied|xVs7x0lLf*W4mx*QcLk4%QW^(S?!1dRkJF2P_hz)^;P|r zu;1^yL=g)~O-k|JNe%7gZjN}0Dirf}riGM>MsnP}?dI@}jEO0apARL?wZC$L{c-7q zYHpeH>pSAduCP+FqI-83$||Sn%4=gJuI1F#Va*y+r8I4P0}MVb6h>2Oa;o55(q?c1 z`f?VveZpc|lQ>oK2ozN^jRC!b*>|H=tMNuKPyxj}xl5#s)_F(S&~7m?6R)m~V9d;Z zZ<^e`TDg<9Mv^h4yG*(E;VR|4{CR0U9T|ejY>FalLZuEA<|gw*ijc1ymhmE0W#()q z)Ap4kKiZ57MrDvsWGp#9B~WL;c%M@PZct`#S*gle^yPUtrv~#KxHZdh%wUtR`;#jcA@(s$oYU2m&%A%T}E0? zc`^vmxjlKOLg(lF^Qmh7UjEFZ7(8~%B^@!q%-i-5-*i-8C`Pq7p7V4wZHW+)t{1YG_q*SO zH@Lry-q=7lV4D+pOo1kPBz4cV%;AjC2#furPQ%B?sWn^p(%RB|b%ktE;(NYvn7$0~#idALP`!DS zc%*@x>attkco)B=a|Qgn=~N&E%MQ*^keG!WQceQWOx3JUjE+E9oEX&&zFmNq(_f5N z+v{>g$Gw$fN<4-uy9@?dto^p=Ho%RHSJUtft2SVbB$vxf2yAQPDjgY)!(MqQJ0gcd z$t2fyknr6I_V!VOYOevH5?DBM{uLbS9kH!^VLS!})3S?O;QM9jY2!4_UZ?&-8?x`G z5A4yG8uqgHPY79mWAqniU9i)=5b0e^T6}O5@8x-D^V5CVX|7+cBZ9mKgAj~=2~*dM){n<2H$e9#reHx82lx%C05J;m=VdYt_za8@?f zkkHJ~6k}Yf!sATAg)@WlN<}j_PGo_#VTyMmw;f`X^(1h=a*LskVOpnaB20uPoSD!C zt(4~chu<|H*|Ms8!72g99skKB53X=+g?+Zi+)Me_QA;dffY;?WahrHe&*P?XdIGk3 z0Bvy+KXoU{wtb3R&FfTzomz)Yca}~z6mMP^l;8HW;pVI&ek)g6Z>e84k6wV`y%{^Q zWJkn^7n!0^)7XO&@&pW2pY8Pu2)n5*Iw9l5!>89(a33u2FoQ};P#rI@C3!$Eg%4J; zNjH`q672(ec;szD*=X4$5O{MPqYMB1EI%DsVciQV{;>s#sGjr=_4TG^b?({+V`w@= z0fIl)(-hJE3m(ZE?LcbKk~v&<5%x|8D`@O$1!L9-r3i!LDpr*VCOm8eAmAQU|3fYH zDVeIw^v}dtQl^H&q|x#hO9mz-^@g;mf2Empqly|pL-Jtxwn~4%;PM+UZ!i=LpUdnp z_m@)+=#CeRuj|T+>Z~2^^n`d=*YW6k9r+O7P_loPj;5gJy8f<6AlT)7Xq`4Of+_Z} zuy>;g{U&i0od&+gRgXG|yS5!%^)cOixjdUpaB`Na!nda&I+GuZOt!VauQ<)>el0Lu z>+cr=7>~oW$(t+ z2xqacH7hw>`89J|Lj(^XwVCw*gwx+CY{Y;L$;4USxSB9;UN>}Gt-gGl?*%5!Emexw zdXlavWWYmEd8Enl)G#HalxLR}<7=EvocERkC%0ehlyvaS-vj1IvLzqgwXg;j6ntHph#3gA*sV6zP*!X!s z8ZURP=n@;h;0)TpbSNW=$8^eGKLY5H!FS!+1gLe14TzD#rtA+>FqGUjDNuC@cwQWc zMKnJWG5Ae_H+3p9E49~bf;3R`r#H_WGZ89;vK}Cr#B68{u60vrhQw5<6;%KE`)3A| zJS}t?s1QOoq_~mUua!vFXrvEg{wtv_#7#x2`bsmx+VYYQlEQ9x&Qal+3cx4I7j!f8ufM98R)lj+_r+AOHe#U!nr5<8nkqpVAm!kN`j0N znIKR?RPlPY5tSL#MF`HlFa=fteP2-2c|iIZrQ}fN>ZFu-?+K%UCv~Qm*)tz8hM(7g zYU-iqZb(Np^=0@Ea=TyXmaK>%3}GZ+3Va@goL#&&;-3f*M3*+nyY9I?=*e68j7amkjko!4{Xgt&5LA1c~)7+z!4%@pjf zRA|1SKKe3)?<6Fk==DrpVY<6dJzgO^`w2Gw@e$>G5w0esSa4F^%$#A+%> ziG2}REAV<75u$PiYaYNXfRLkt_wP(J3gw?WlnGFg_pH>Z-DXX*fk8O}#}S0zwF+#C zD3NT+nMeDYr)Ifs$IRsI#)03v8dKF#zQyQgdfFcPIeiIV$R+uuegp}zmqcX4jJiIMXpPTA&K;H|JV&tx6Ai&g0#R$| zWD^Wpi0j6|TUC#nUHsKOPpF0jms>(HOP8;oATK)j+*z`o^oIBbW)pVs78ymUh`WS5!Szv)qp-gaUf(l}E z@$LOVV!PFTl*;b15|@@@)igNL9Xh#ri0?YQ?E3An4v!hIj0}3K4ZSz?= zg5S-M$dz0N*AJJ|5%3iif<k@EXK;(WLPr#TIREA6NJRx+Bam^u8M>uvg zg{zJ9y#Zmgc%+L`y*dAl@p*#S$hPDWaTsR8C_jy6JT2r=b}cNF?3(ZdZtec8j;74T zrgtrL(aZQHb%Y>smK&BvJiOQhOz5cWfbe3BI^Pp*$>)EuRzmuFB8jm^ry?wiKiKw~ z1-62Jt^+)9ijzJojS-2Z|KhZGQdrMp(@znU8e<75B`^bSq(Jf=Db@-#5*iuKS#Z4zL$>w|Z2h8(w#fOnMOi_KWpI+3sd2 z6XK^O;8vqH3c$ANsw*&NG*37g8+iF~4Jm7tpro3P5wLJ66MbpNHuqxu#*(>w>Mb0H zsscd2GWk6DxHqooJEwkw>X_JLrqbjXEOpF{Bxoc++sBR`DEj+vKN=O3kx&!K6#@9IQ>6oUYJ*OJ?QU9~PRK2gvCHRm?ui zpwpL?O1ImE&%-1X+u5bxd-l^0gw-Si*Zzn!_f-Wfex&V=tl@=L-lqHcMkHck1>PT* z-_zS{*byr;q|aNu&$D;#**__Bl#UNS%RxY|OZy`|45H|(=S2@qbejfvexH^y;(7$+ z3uO}svQ=1{U_Fd-***nj|1xIkkKI@^q;2wgS8!_|R{tiDyXwH;Z$SUb1|3Z!Ov-<# zHYbv+nskERzKfE8)oBpBKf^QRXU*XC*#uY3y}!&ZDuI^oE)pe!0so+T9j=MOC7K4l zY%&uvwlp;L;Pe|ODI~wuqFf@4Z@3{mTp%tc9u6=CHQtB0B7wUG9q`!M znRs|Uq?L#D!)|%V**QLF6~qn}844o?G4Zf~$Uj7viG`h=oQ;K(iIeq1cRymWas1b0 zv4#zBxjC3vKYCd|B6EDiVdME|+5S7)IBbB&!~W6BNzTR!`hZ%{hxu|cv4A)}qJzLO zBbbm};EO5>@Y4u3F4uoPhn!hkN0*$7m7J67gMr!E!F3~4*#B#U?IV5~q$(s1*nSl2 ze=Xx+XJKOh2v0dm^}j~gxLBE3dAPv8x3GCx|1T95C)We<{J(EtWBu3>PIhuf4|{t9 zBtbzW3rF++Ao73qH_w9tENn~!`$5p$+~A;U+_cVUNE9&c7!CL$3InbznS%!NHP5D|AtOeHvg4N!dBEFT z`MLmzjE=R-i=y2_Si=^JrzK0lOo305+MB^&Eb`PSbN)S{RGGKw59qW@e|qKGE1x0T z302*=y&pCOplH+X@S}RgXJs+q?;B5IW@m<|71))>-4(R+KR<+<7=)1JGBJf2zO|yG zu8a1?<{=Za&8$KoesNK>qOPSvI)sfdiJ%3hE52#rf9WAPl4@d(m*vs>d0)y_rsm3( z1PMj7BjILrpJ3RhG5ob>IXp@{+nZLD-@>_72hz)TN>Q+m=#uCTxggYqPmut@aj2+M zK82g?(B!GekG`^r66Fg+q~)dC4TlIf2(6XY1_t~+nOUfp8V13)UE&);HM9j%vM?f` z<=DZxy)f3{K}=SsMWhA!Y@{LG|9M{6MO-+i%_sUPmeHwy&bBii+Hk=H?cQTm(@6Qx zCDWtE%OFPp+ugQDHtgQ+s;69}lizdzqTB=`6_;z{C!T}RH;<;=qQfGb%r8G0`XE!a z*hq-_@ny2gOQm`K;m7CX=DZ=o#vbnh(AK^+>k8kgtB$Ua(opXqy8{dt81&;>r4IMV zn%hsm8JyF{MG+sRU}nWpm>CR+U2{4Sarfm<(FnD{7z zHuEPj_h;6-Nx^=T+gI9^mgB>8e>qGO^)0CJON{r9e!f~wg054BC$-4ZYbf+D z?7M0?ettQxu*6P*u-LKA`78B_NZ!fUF~WKmD5SY)p0hI@){3u44& ztRk$F%<&k#A=FXt&X6$4tjxpA1H6jiRlheu!mhuc%tu&Q^mH*4{hn}j^=T5t^bwyE z|83!h{|1i@$Mo%4tgZJgGLFo1eQ235?UE{MCSc6MR1s@vB6b|cmHmraWB+%3xZz4P ztXBkRzl=}x`uBevh2{t14fI`WJ<6h>2)HPPY$=LK1oCqJ4x?p;#*5b~umLjfbe`&3 zjEW-ChfjBxmYeoF$OK3IZFkia8*mI*nF9Z2K8Mn@BHwQTn-BtjPeblMwK#<2UWYtf z3|F87&wZ*zjvbVKl+VgOjfj-7hIjj$3=V_}>x!##?RP1O#PUx9V2n=L)?@ z-60y&F6B0TAApju6wD7yQ2{Cx1E3`H_oYCuh*B^J$624R5FwE-dXwWqnAuxfSU(XZ zJNE@u5ME3I2HcG!-QO%5T$j7-9hqQ^sy$aH{~*WVj&l%PUsS@~*%>v!hAl);=yC;% zhMFUU!5BeR!waFE_hsHGY$N>LNPu_^34pn{7;kpSg74TLSLj3+AP30)b%n#-Ln^dZ zEq=LM30@jL7faK4FcFq9J!n7k_($>0Wai)aH(!IQojHGx^~x-{>3{52*UizyRk8PM z&d|?k(^`hT{bHT=WWG}HS)m(S`mLdcpAjiK$mj9#5g;4NgaWST9Ut#;*8lUdvS&{G{B(j&SHkcm&v=#Q&iA60RvZC>y^*eXh$OLHd($SF9j* z9N9Rq1$DqqWE{W_eJCi@dHaJVFjY5@4!iO z>ufa3@?l&9w|kwVW3!nCgsF&0wJfb?-Vo{l6I+_J{d5Cd0Sg~LeMet&*N(wS3vslb z;{2e3kAJU*%2gHei!N+XIHXWsq;-N$VCNspWnwpnJCOV_kD{Z7z{2PTE>2P-Df|dG zoL3jEi+#P0UEjYtu;#G*H{m$*Wf@sZ|H?Nxk|BFF%)hFa4IXxAWd;|St%~hgE5Z-f z(4(5TB!hrq(i$vwUocMRfX68#Y=hs0E6#j&_ZkituC_#>SiFIyKc%M)oFtMVLJ8?M z(!@_}OT;xOEac#Bk_7r_4dOhlPq%83)LY|r?+_(L9bSKyjf!0KoF6j$(?(L#Bs|BV zz&mn=$7)X(eUuDKCTZKF6?Q8zHoBH`fg+!_^I%f1D@K5`Y6S} z6xP04XXrN3w(4BCccU`;n(?nGu5NRp#^X7-aG0aQ=;`y+`8nQIB-;%|?!A0>c>a>j zRq~Y=o6hv%8L>it3C!gwLp}a4QW}j6X2=8ZTMP5JI1DG8i3_afLFy=U`&=N}{tO91 zm>~TP`pN*CK25PlC24*+dcw^l80XTH{Cgh(8{TKpdt-qO5;?J|r=54lKsm>QKvW(w z(fGHM;|X{5Sa*th=+^-X-`#$$>+3K}&~(vY*=c|KqBay~$K8eLq2Nf@APu1eJ#8$2 zIAwC>G@kI~m<>hCJWET(tG*XEy9WVFz_ZLa`8|3n!qVk9fne_TJ^%=RSL4Lm6Q}pD zk7IXk&0Zbag<$SXtLnk?;L&Sp;zDythP0UD7nPSzFnFDZp~gJx5RF;-LR|6g3e-B7iioJL-=MUnU zj9yr#)U%n@xM16FMqDoMZd0057V%}+i6j^C2HO?wIsMgjSi36mkjncb=J*YLr}vthxx8ES-*ah3v#rTbA!v3Dq@N=nxvl<>=|VH4v#tpkGcZjAuvZV zJwF{O;>mNajd%-Ita06e(!Y*rH;)>pS)60vx`g6?(lsYKRBv!1+hSCc?V|eYJ@wZ@ z?*(s%MvYp5D1Rh*YAORANf#-RnT<%YIWOoTpM@1(ZM=gy{)H)cdKs{$s^ZRNxo)`!qpa*9_#nG;d72`(cWR5!c##P69P*u`pMadE~L|!G5 zUllxvcF19DCTeJ0IMU=3WPMtBQ9i^^H&YJOqFD_l%JFUKHWA^=$$R<-6Xw4eY;r4y zu;kdynZ+!^|MJK7A+eUBl1erfg<&G=z7A;IB2M^%qCc>U`mi?4ggXYnf9V})}U}&ki*nAb+IW`UqRbNrk|529xN1}d#5(U zDM&*VPXpt=?oKH#h}6rIjRD1^Dcu61SeJAs+z>n{IPU9! z-U1O8b-{;yLV!9?{s{??J>OckB9w+km4>E^(GdT>&V%vjT)N}zOjOe(E=G)Dd+;L( zr%^&iKG7Pu`--;Xq(yN`iB+92;%>wHw*zU)RpsdsDhOUl72I=00E>l3*omg4Vi|gb z(yW{7^%bxda~Y8Wh?XX~9BoqDLsO}f}pC*=<8+>cg}%Q@c@to^Vg zi2&7Uk73bFBe1PP9oEo_yo=z-`amPd$OLfrE0Lh3lJq;tX0u+o5U8wDA5fWlSWCi? zKz^PkfMArSSwaoDt*7H(u5dfb}nmbsg#-|!0fc`A>P%7%@fOLk@A;-{F=Zz5sR zDF+8Gk!QjSXfZJsL3}^uvSZDrTU&i@I*v8Vv+uA3TZ9uj&Rk4%a$ncxzyo0@m-0 z@PCZJ?kH`GW{BZ3wP`bF+lt7vexdKJ|Ptpx@yM5qS!gkdtc@E&}_zVTFJiE^T}% z(sTIFqG?*)J73II{O~B8vSbh@MQd|<3Ez5ojXJUZX^V%n&M?WL_o zjlS^deCoc>`w!BA`!X61i8cP`1o?G?U3h0w&oaLJc+qmxV>=j$t2V#crS zew$mk*Bc^94)TW4Ym7m`_8}9YfG!_mYj^1YXSw&H^>dU1&MU(>~hQ-6B+*i(KX z)7-uV;HX`pkC){b^96yA4 zxO2ohxcn!!v0$D0sL+iWzmnz-t2wnB8z`1pI>81X;`%A| z%OeBzqlm+hpgf|G*WFNHC(s#3b3`p3`rEa5^hY-xOAf8TIV2ChW|{W}G;PA|-QK}4 zyb-;jqAz5K(U=!(G3FVpnrzQaRVGiAbmlsqa!?ksjRv{D0JSydLv#vii0H6=?MbGW4y%Ge{y z*?(#Al&*^qL*@;M1-1J4Ly2(csT=VIkYtxAg z#KZAle`IB0`)~XIx*tbcZwRCs2@ew&E9VDIvM{l+a*(rfvNN%>e-ycLvodjVaDzqO z$-ty~rpa4>Ola(p~0gQGso_rJt=K8ljYq6Ucq2m1f*(UF%dO{trFE06T3d8}~Ics?|1B14O0N4TtKEq$#qK@?I8Ta}hoFENq>tl-;xAm#6Fy zXe@GA)%v|7&vHw%AaePRsU1G_zx^d%-48NHVOARm4G-=uwLe^H@Kd!alRYnOnjTKB zoKmVC|Dt!d{n2Q$?_zIv(ppq)-+T3(`-iR`&@pSO1DvCsIv`7QRdQVpZqiqC-nOlC zJy&!CPdm&3+x#bqM5B!@G0{&?@(TKYMA-}<&jjL&E^tS)H4L&ghv63bSe%Ob;o=cL z<1J>>)s!xrwSFGN!H=m_NO!m9)Tb`~TT$1N)ruE!mroZb&sOl1Pl6=Y|Jbf3#x{YF zgMKPh4OE9=$f@b74*DHmskuP?WHo>eN5xz0)7}pY4ie@&WaxOVA#vQ}eEDTI+@G9{ zxB(oMFnms1C5fFFt5xG*`s?fM`R(ymw$(!H{BF{$vjY9HY+WC*o!|cGs991JaggXs zb!qGR%=zN;9iHCi@G;+$z}m3Wx+7P`-HapGGr%5=C*?vS>mcVY|E@;1E!B|kKUlNq z;ODkDSxmIPQ~hgQkiQXLw~_nZZYpEZW%8`$1h>j&EwXntAg*xR#{K+Khw0=t({RnG zH`vLUliHfh32FdAtkw@RQJ6oFI?H zDj=Mq_(Nv(TYPhsfw=>e!)j4>oouA*zsK>u zkzXjT#*J5!Od2+O9AMpe%^wvV60p7n$v`1q+YRBAJJt_1?Aj9Rq2O<-X|Zdl!vhxG zgZH;Tnjt)EZJ=%PaFCv{AFz=~dIwT_z7=Hzqv1Y%*W4~CK2BHX&9&`}>Oa!K83Sxd zNp0zo!mq?HZKXq{)mOO_9^OyL7g9xjz7^CKT+D(h{0cSMx*KrkWbpO#My3twtpNI~ z(gSYk$N)(xQ5|}$u}<|=88?$(8~*flxE2X6h2jug ziWirn#oe{IyL)jt>HF@z$JyUGW8_EHnrrG>Bgu2m>$wwXUq*6_R=MU_UV_Jet!x=_ve*SC^7v4&2Aj(O8e0)do)>;i)R6^an2_D8fe?_jQz(dFB=~#sIsCrqn zYWF7K3sgn8l@qU)ce8PyeNTO0F`w|$Zl@#Vx9cQ%E=*vJa>tOh1fZ}w*9n7kde_T+ zRgD26N)4u%1cwT<$D$*qMpv060)C+8d|N~*m`zkfScGy^-|6A);be&!J#sh-YE-~= ztKyT_-0dla9I?11q^J}v>PSD%ND<-W(r+BnKQ>ooq)79PXSSuMpwuR->Hr2|-sbY#52!6{ zmG+zG)eH&AT9zN$rPQ6ElXDGCJ-g{iSLKx!ToPc##cGzPkzN1OkR(*CH6S)>+v&Z8 zU1qF>AIqJA_6(vGy4aB^0kRCL(*q1($?f76?azIl#+X3m`OQ1_v3_Bu;<{U4?0aWK z-~Hm8zAWxzpN>LrDm{u5V1o@6U)!#JTU&Xm0aFZdNmQ5#kbMp+vzjQ2XE0O{ zga!U|SV+-`c%bJ~p&Z5d8WpwWx=wtO#Zzk)iX&IQz~=WdOGwKk*l&u)ze~60vF-a< zhO)pUlt6M;k>6g1Jz?at+*q_)%ZuOg*k0;=4mE@C0)txE5e%r>l^xrIvBq_m2PwG@ z;8!STQI2L3^FYU}#xFxU*gsP=xmY!I!vZxO)j4cl9VCjoun*#5s3x=haF~aw`orAe z-{IEUJ)84{F~ZON@DUs2xI+l~A~hT=IJg_+$4%QJzsc7O`qAg$$MBYkAHa+Yv#sO< zPAXV5_E_IdoqPMBd_z|L+T)Q^&Ig&WD$P2u_iwz%6$;&1JW)(mHyoMaKx4TM{sme$ z2xH^^qJCkH`oLPr`0(Kry_n}ronNR?i_|UNc8B6j|KLxir4&iHMJDf0SQQZ}@b|1A zveAnpLVT0PB8kOGSqg604q)f3MbFNe{#GPVFaL(F*aOj0v#R`x2R*oiePt{zr8xAn zsKf*cpfm#kgdtRu%*)3t-99Ap<_8)vEmg(q9%XfWC-P}QW5iQfcV4qn=e>!*YGP0K z<=52i=t*8ilqx5lt|Y}gF@MQr&e(d0TR_ooSJMlY7GF?vVO1n>9hkloI6uWTVB`7_ zOzM>Occm9+Lici;+_V?B8rdtpXr%BEXF@QbZm7BDa6$V0@q}Z4$OB+A# zVVwW(g5J>+F0qCJkuF6o@|gzUu57e+^n^kq7h0Io_m1t4J*MLp)fQthK`3b%f(Viy zmi15xHx&$`xt1QOKoQ<`GB#Ir1n$ zg@q-ik|rj|OCL{iL+(eapS0yYus(i-H8L8xh>wGKNj*EhGIq67aiNoLHWX^3oNw5K^;vuaNaY&@EBM}dY1r)0VCo${B3MsN0TURmUcQhWpaAf=OE zUfP@$`xuh$7PcV#Oe~;epQ?+ca4>hSE0%J6E|Q+~U*WL37$|%GKmOiXf7=@5!{K&F zr70wEp&=e>Cm@cKi8x|hEzQ$HqSD6Y-aiiZ;xV9Scvro9X7ln^j2ljNRUp}6@(>;T zGU^}M`SKx|+=<|~O4b{*rpo0>+HZc2aV0P`i?QNxm4D$p)Jg?P*KK{7N@=Qywip~! z3b5#7wcbDc?28HZ;+Oy%c6iCADsN(N*y2d^m)>gef5ZX)9?B|o5Zl4jJ`VQ$jOM1q zc2fDRLx^$bozgv^t*tVs9*g8l89cU!U^IOixiy2ApW>yp#0{qaE%t5sEtK&zfbE8? zHi(xq^Q8=lNreNb<+!-|M=daxph7AoQuvQohA2lh)%7%_pE_n+vU>E_lwH-}F70$LOFy=28&3PMduc*?JzqXLRhu{sC7ulo&bz)W{y@79jzw~;>L|GYW z&2_sXO3;w9lVOHiP5k{IHbYf|%-PN*7$zG3y5~*T(zk3R=LM<5cgwRqhuL86?KRNd zP*5jkWrq()xF!tsqU4vmkz?Y!m3$5_vLvUSH%mm9P(Udmq1t39FJ+IuAGZs%7THel zhgASH@XL||E9Q_s>ks*T`&b{+@Z!NA{6rx;AD80{j%ivP$WGRqG5JvD2SB|b;kgmZ z9%AfQ@?u-i?)*2XtGYt|zemaPV+B<~rf1Ma5_vd?&^XC!wL6MenGx21bAOUHnIqd3 zemhQp&B=1wdnJyAkxGJCAqv;%d~4VsUg=IX2*2$8et|C!&19N50u-+x;y(EOMD2 zQ}nHd18dRC1Dg@&d&`kUgKSghzW@ESZ9&#E3>P z3iUjid9KNcj_ueC$;zq-GW1luZcfl>Y&90GGJqf?N^!`G@i65m94g{pgWJ-Wslg~W zd-Or^fq6ELpIXtg2)RDajK(In%bR%+h}7Q$RuEfr)O<~sjz?`U+d!r`#UryuNT0ip z{?kjy8CVKt+*q#+Ke6OY=-dO34}6FCGhRqQUK5;b7d(Pkcs zWuj;+U7)i@cJOzZaCwFuF*RThNI_XATj_kl->SQ`(cc6aQrljNetx|Vmm`pjFiheD zrc{&*=4F)#e^q@#!tk^IW5w$rEK~4U9${(VJu7zlny&h4f2Q}{P5kyl#dn7QJoE%%Ku`FHj6u4sF!)z*GsipSkfey%Yg}*w?ns72_{brCby^He1!T|EP;O6fj{nl z^d5{!Nex|?Bc(w{GaGpmT#782`#0kqXbf-Qm`6Gv@P6qy_wlbUMD7Kk?jc$IgI zPsaF3kwIu}s};k7Z#Ii&B&_wpS_YlJmetWZU7lzPg#CyNZDplWmx1C~VzY#-ifC%{ zUFL?^8h7^_zIqAs7Q6B6gE%FAa%n(#F=8#(9!@GnDJ0U}S$KDP-VVos&9~DUP=%ND zFZdxaCAiY-uRx6(t3Dy6u#|-lOdV;CJiT~CyVRyX6gWU}UU5m0Gr(+~-r`$b_v$FA zbNBc({K$jos*V3r%W>ax``gh(`H3J*LYroa8}2WfSud45eF$~RRC3s}kvzYMSb5|< zQl%va9flaM>SQ7oqI4HYI3=C$t1S-jZAB6O3d$u*mugB5l#B-`Ey8jD?x%cWUH458 z&x0ap3oSbhh-E-U!L6hy$CX*kSwJ%1dn*t`&!8r>pyMnW+Zo^KxwDDl;=C`mNQ?iR ze?6`3a#}q!tcVh?EYHJlX*&He3sH5$#Y}XKT%`rkQhD=?Lbk#*Xvk)Yx5S_EgO-D{ z;A_{bazrlN<4R}V^7d{JaB74;GJ#W7;7yGajr*pQ*dXc&0s0(Dq~nQ>ZXS?XCLAf;T!Kgtg!ObMUdGNLDTab{Kkz@HWL?28xb{gu`Tm z#mMvlHI$Bhq)JG?0OC}%5%h0{h^;PI{!3cP(UgzljJ&IA4I&Ggjemk?wMR<_Qg}240j^pkD?bir_HqLqAztD6RWPQku%pcm zx?64N-!#+F9I1q54i)X!r^)-u+ng?jy70nl&t~#a{7qmz~?OUKKVAoi$j(_ zIecKg4B8BXCxXDtjT%Rz8iK}&lV zo%yo;O=vgB##6RtSS3ZlJ_2qCY;98Dt_7I6F1e7Nok!$*P8>E`t#;XTp&a$ZGV*F$ys(f0?nYK zEz9hiWb|kOeh&MJN3dh!eod6sA=BCb3x4bJ6(>+*>!l95>y$MbfmM18PCUt_P{EDC zK;%*bJ3Zy|Bwzs0ont>6cYR?a}?C4apag@@r9P4+sqyq)UsA{tiQib5U4y$F*W|@!fB@0_ij?b zAO2}UWJu{3aFHH#&XFK2^w8;MHCsZPmarK7bV+@l|+GDWs-##uNJTT#?$)zp?#i(cMtK z5TGM3eCa(F$9Z{L<7&GNYZLYvZW7w-!87{E-nem2Gd8xU~+Ga&e9F2Df> zT=_V_=vnJ-{w_8;TQ3ua#VSp~p$ z1YF<-`FZ~<0SmrknOa5oG(DnWWn_mEo>++FvbAr)dFqaGNh?^JGBMA5}@@w|-1&5CpJbdut{!^Vf z!RRkPKX@I$HVvGZ0{=G}%gOm4Ko>-S4L~Iaqq5-R|H$M28`I_H;sD=ZuK%L4pc-rd z0pb78RbW2{R$eY%P!JA)68C?!!0~Sm0-PXNJOCN#|4&`;O=RW!FN>R;utS(!;fV-x z`368qjtNIeeFQ%k@S}tvQUE{~WP$?*ah1K`putZa$3GPuSY>FKyxUY4xM^A-TfS2e zO@yE`T7FY<*3Y0jQ0k@nny?p4<;q=|I*cGc;WJqy8UV$H$(`xBZv`FlU8Zp6=)JAy z>G7$rS=6AJF^O_+`Q)~bak0XvSl<5T&*Az>-s!#h?d25kVj z2bNx=6jE9M=y;*@bD{5Z_;(NC`62tWult>)PP_AMU!5WmiP|mQZK@1_ft7@`Rrcf; z=`BKz7ePne&ZMg)CvfJWp<_;E%{+Wr1vWo{#iP9Y1s4^=Ngj!G(z#tg$uW(o zG|!RM;^c-pCa~Xrq>e{nxZhV2rYdj-E*le`h{=rGb~a)9Ny`~# zD+4L0z;P|Fz7WnTYx{WinP_j3gjaNZlU#h88a8JN-lbsIudSV%4DE2cWC)nNsM;;m z?zSyrr33td1z0n)d69b>hcYx@GfxifqoR}PSjlj3bgXf+D*a)b5*RXgzY`?G@pF;!7#$E1awr=4mf00p9el%&1FE+M(Xt$SlGsMQu{FseQ)G zS>ftn!yWzF^-B$uF(A>^-a2&2Q>7TKq(Lv36Rrh4YD2C6<8K)yj;GH+V^`tvNvblU z7HM9KR`5PwxNeKV>R|f^G5lW zWPTFuKX6vB zGYpqhyw-hwcbW?>uX!2aI>I%Xt)Rj*HMD9vG?DpWzX04q@Wq5Ed2K~^#l!+gutYs^ z?)H}EWYY@gAg9aQNn$pQMrV^0?(c%Ui1lh&($dxn#|LZAYEKK#roFBA*G6vUz5=%x z;=)oUl8rWlBNSQtUpkXLHUiBTKeLMw;Qy7=0a(!Yj zL&<=8MTm6vd%cm``{LrsukA{Ruu(C^%G`WRE zfm3UgM|4u)!F5H0 zG4z7TZ*F8Clf1#b@9r?r+^E-7WI%%orODxKZEAm@O;lL@=iEI!p}SOk${(Oah2x|5 z9ny51jog(5Vvu@`+GGETp@5VLGnYfkfx;`4mCe&~8tZo|02zv7eM#!7r1q zQg>mzIlo(!C!RBe`8`923Pq-I9=+kw>o6gyKP_~$Y6!;{jceANM)+cV9YR&<*GKNy z5J?NRP<;7=Jgv^>7r5RmOP~YfH6&Q_QX*sVw2kUrsK|1QW7=L0)$2pT;rdC=?WpOv zc^eyawmidy$G^`x&qfVsgc|7=ng?AImp~BJJ7>V)Q4dmemm~!9=r?nRqkjlzQNEJe z&W!~|g>hdw``+_B1*{=G`6iNo=jcgmEmj3mRn6wpct^AiMfqs&U9tiR)W2Tih+Ml( zNLy%MHys)?>q~R_*fcOW5A*>ToTl1!_>7tvo)S&FuKGT=?hXzuen83U@Zrq4Z5Zix zNRdRLAoeDQYr&MXYi_mW$kreitbH@|f)QwDoU;j0JBO zqba2zzukUbK0B6bsK5k9zQ%UTm{AMer#{vXik-rS%y7%%3X=-UXEu?3q6+Amaun^(}(p^T`x` zO*~&t=-_KJGl-E>e<|`NwJe9yjuT-v{#5fKshFAX8PFq_w_iY+Q+z-M&Br4w> zsiTL` zsmi5V>aw6v6nM1qSqXs{^ZSjiqRAvR@1nETZ|3b&eFXh{#4RO<@`y7v1_pjw??mAHPK7+MoYJG7eYWDpFGy$r<@(PWca!YWmsQPl#*br^NKGIP95y2-K+uCCSb0@5G z(W6sZy0@c01O5!0-Veq;^AA>=1eH#(j#0nAl6oplX+RU4I5vDm#*1SNyK55mlo&LL z!BPna&OgDs&OaC6aNd1t9URkki?N^oftC{b`Op&iiw-X&k%r2s zyh|xCH7id+M$6%1L!1is%~3R;`Z15<@i;vJ)dl#vvr=&(rBet_G>#%98AAQ_MB1^- z6FVU*Vw@E>#ei7FBQ~*|$9tu4HJAYB4F!6XFApVkwl1*Co({nT{GBt64Nwtm77ye= zR7W}>@EZH7$nc{rSV)X~tFhj#y($+rm!F;{YW@szScr6{=maGTCxNu0GqQ{}rL;82 zC697eBJE&n8yRchPl^i1o`y0$8x(Sjka7b%Y0Y8Q@#%MlsJLJ^yM0DVBMbsKYAI;Ff7YI!_9349IonAl>F%1 z_k!5uYbvC_X>RUQkye1cSb%}U)#4{8+8H` zrOP-Lny;ZcFzGTFp~*pzX9gTX`SXnR8W7r8Lhsu*B`-IlLf=iEG6q0`n;j3p(LLkE z0O!R@dNR#ZU_NkbE`H3KFRCgbh6tc>PyB~sZT%1Yz5;<;WrUk9DvcM&RVA7PxVB7KBQ1^cy_mZu z4WsSn5v>RW+=B^ef{0m<>u@n3o)KRsp&6#7OU2-gCROXMv!rhL-B&~J)j13w?$vKQ zNx9wZbfcdQ&RliX;&O`mS(3$i{Ssn9ihyZ6COLbEyM}bX3TnG_EMJLzo7{vK82kEz ztpFrAzM8CWSJK}y0(B>n4;ds6M{y`Me;S2i#ucM=O-G+;Dg8^YmIoGBruYpVf=UfCBnbUu7w$PDIYRP@)_HzVF}U zXk4Uag+nK4m>a&bP(lX*$2T>*hn`Do`E{(Q3Tdx$CeBf@cWc?Gi7pn`i}1{#y`ogXLg<(|k%iBLVcPVxmI zMIpQ*-}-`-R1NoH6m4we@T}nM;@x{5KF?O+EwO-y~Bput6-WR*KMd9J$x45 zNPalA#LuL;O-4mbmD9T6qMKR5^lf29n>vIM$|&64Zp;B$0t3b;#{v|usEI^xS&K3a zTsj(~{LPbhv?2Cs?Ksj@$_Guo*N~&@e`hSp%&N(%APFSeQQ#R3dyh`gBG76E!@*)t zt1)D-OnR9&@i$?lokd$VMYXfZ)(ocT{H9Ic+)LXMwU zkR~sqW_%ML1axkP-sJk^hC1i*+MTLsd&Y?GTFH>lnW`lLvn9*?LrxQtcT0x#q+gG& z>iEP)-BLKE*p@p|;9MKmpT9HA-9LnoA+!!5xD%n!lbCZ=VLJ&E4}YB_ zS)o^0A@LTG`iC`^z?CjtCmT((+lSg1p}ZsF^8;pq`?)s^Em{ElC128qDD=WAC9fnw zoiLEc5U@Wj{>uV0=FByvJObxrQP6V5VP-9&=a{+vMT$>C=SprH1BBqu6A5lg$H-06 z>+Nio;LcBfPvfy!a}fQ&{@it1q@f3$);rzdz%(_ep(ak7$<)Bey7 z#7P~LJL58=k@hPxi94W}2I4-uoDu2cgYMF-DNuRbxAA6VU)c0y3k415m%WESjj7By zOQn$*nco4a1sU}gU8@N74+9ao$9D+cbqL@ybTD=V8EvBt8GTfq#BcxnS6k&x8vn$a zq0#qiYw!oF=vReB!QXT}e|82w6^AS_!Nmq>P`o3WBAaIqt7XfwWaiM@((R3Ae>%WJ z831yo)M8sJ%#9^ zVojqMnj0?)Ov2bRLX|{`K4{)2ogB_Zz9l1Sh4!t43EoQj#Y!&9T05MxWE5+3eD&+> z0}7Zibo*ajkBj^NrR#wev;UD)&dJ5~zmm$4&^WpOBmQuLrLBLt+No6l!sN998PFGO z00Is;znY(y7c97el`;V^6ba512Wx8o1goxh%w&yw%rrHCI4PK&MTYH!mwEA1{a&7eMtt zig^CXY3zI;6L1mM|6S{!%E*(PID!Q##RXvg&wAi2czyvc&?LAX_Wxavi&p@wID%y8 z091@%DenKBrT)*!ln*?O|CuTNZ_)BSasIbZg_^8lh71;~P(YIo0A$ebfAZDk2tl&u z4nZ>8C1 zL{n-aO+4uw7clQ@;txk(>!cWE+!)I`J?E3RIn{WwpT;DM(gtU_Cf-(UOxl=q`mKH| zm+v?kP3M=hj9-Z^NoU*Qkl(dumOLUCIBgwKb21KkZl)bXU3NVl@`03d+h;Y9b-T8x zUjF?IUI{d%ROB;{NPH(p1n)oPaQ%C5;&9(bkEoi?bKwYkax;_jb0goCG+)f^pC=oU zbH6qxZ(*q4BIx#4jSi!Fe*`|iur3SJ<1G44MqZj;lGZcF+)w01kDi$cW^-^%lSKG= z{0LC0peI>0r~!R#s{q!+4^IdA)nf5Q1YX>)QP0)_1dq+Bp;6W@1^v*@iB*`ARVKEh z_7oQz7>|^&vLiv~z6DeKg?Z55tKo@cN`46|Q>y^?2$l=hZ+*A#;zxCFX^(U3nNb3eonI6>+UG-0%sfe#18x%C>R5jN4xA=wzTH zgft`s#|~2%feVLK?M4a5GmRi4NwyoPPJEGmxDe6Dn7JH(F|h|5)@MK9yT8cw8mZ&3 zl{g_uvW}4UH`7(X_%}_S>X6LuGc&pb8w|FD^1u^d`$2IAq`Zg7D*G%wTpg6&-$?J%aDU0lWPV)QqBWD7SELDnLbwSlfy3D2lS=F|ZnpOeu-pp6J7lWzkD_ zriq=H7yU$tNp3+9WVPxcEe)r#e;@3LO5*As5n^C&r5qZDuU@0cwXXi#d+ zJi|Q8d!)`979}*i8#~{8QnrPbMh4O>ht>Utkj{;W;eIkAlr^(v(ppTvd=JWF&e7ok zGW^gWAzf5J+jXX&C(l#)CIqt*)5DuE$H@9{Fof5s7Z248Qy?} z1EjTM)nn|Ikl>2H%jM|hRx5VROhXO6g^`Agk;<2J4nsyDZRzvTzOySql0k2Ammg_M z)F8-lVJwuJl`oy6jJc&W<+{rI&=af#`g%-`!jVoR>`}QemNN(R5W|cI-(9|p&uITe zInZ)V^4r)-Op@>*;=MRSaSYu{Ym8 zo2YG8@K@MhgNiB!FgLBNEQft_=`NyMAW&K4s$jgVt^qRhW=7C_9I?oTJC^BOeAV)e zvmy2MMw9eoHJqEhhjEcH`bj`eh+o)Sg>?P+WGtH^MGbd$lD5x#^>myv4Ad~Tu~(ZM zFsm<}etfR(@{}#kV$}>-suh-0IDO+K1Xj{F>r0qeQ`@&n*oB2rucPaxIl`5wrRxX+HybV-Xt4zVs$s z3PcG48%mS=vp?yKJlJDO*B`MrX1QhuV7`yWpOZ@QTTl zuRdv|dKINpc1`|tO|feC$c*64rALcuc7&fwv z)fwz{TwpA_iU6Une4~8$p+5YE7d+aNGhXQoe`(Y*upT78W$#v%UC|@l|E=d)QC;!C zzb;TJgwm1f={r^3C9jcP+G)#8^$lK+oR_o_NMHKz0sq*{^-voyO%p976-H0rNOH6N zoZ38_Q;eZENcxMwm*QFDT2)cUr+4njg1;Z=VCMjirLSDuO-F$}jK%)<`W17RT=SA zHP?H`-UgO~RhE+8r8{0vrXP2F(Qd`^Ei!bGOdQ)sx17R2`5;B~cV#=oJ2 zWs9_u#%1{{FmgZ`#27bs>4dg=1wPR4Mu}%&vjo_K>o2VSCEpy5oYZSXBuiEr%?9%` z`alPfnaR2lb62=Vsns)pq=k}MZQn|;zG_J>ypd<( zj#-y3cPGZvd9jrBVYD$UiSLhsUEjjC1$X>AzeU>9 z-$O$J#=Y_UH?VQqsl3auk-Jekl^p?rSeW{%Sum9B5e*C8E%=-37@4~^A?zapW1l9S zygC?ojG+@Idm*Ap$ozx|N#1lIF%HdmeLLa7KOUiYC@)s~>D0&uf$u6Y*h4btuj4(o zMA`<8&lJ*Z?a*rZ>-p8s!b-&&zGUI}HDk(X4Ml`Fu8{kN0v|SuT5%%K0rGU^lCi? zul3D;-@ZNR4tpE;@+QAeRIvpl^a&vl9c6+eJlVacW2=xi=O^BvSQv>kVLVLV z;d?tXIhs!R&T3@T70Xjv!Xs%msjOz<-5M4jPjl~hy}nZ2cZt`Y2j|zt`>tp`&4>Bt zf+f9fT6(j3^i=^b;mXRtpqWBJ&Bqx(A(Fh>XPry7Z}ms~S9EouA8uq++qbzu;76e= zReFqr@-PT`HqFSGUy6An=?A^|Yd?quAWi9G{}xibrff$xAUB{W*YSiP?^46ANSxyD z-OKg~N|xmD99dM}g3G_Qhp!lLHZUKElILxo_9D~y`B?Bn1jc^i(|Kbe3i`T-TF?*p z&!n<<1QbvMEg*#Ah3|Pm%zZ zAvMRHr&%czWbNZ@`PS{i)Q`P==?zcWh{^RWNBNi%@!UJ}FdE&|?IH9QCIU4bog+e7 z6!@E#fi&Hh0~T=tJ;=PJ5UNfeKKL%<9_+=~3z`);kISO|EnDx+Z~=E=_N8QFU}^JY zq^`BRU&9_1qkT2Xz$aH!MQmMyu7gX0CC4H=61txo!bg-5!;(o^$U}k8`^Tjpkeab6 zrvC}4LGLtxO`LzOXb7KIJiN^|K4+RvGVY8fl}!K49UMo{u@=M zo`Qo)5DiLl*(XA9aEX}w8cqZH!~npB;^z1-4Y6*h=)5KjqoxAo~J zxDuAqGUbjAJ!TFc^2ZEedq8p+|ZhR_{ zPPS=I#Oc3d*UqL%SFJHt5K;2z`rA!S=y*RIx)SA7A+6)!@5P? zn~f}2=lADVB9wuoHU#RxJXiCSf^)A@-#3y~ksJ`OKk^tjmkLF0tlQFp3AY3noC?gy zM?A9*F~KgedyM6e)3WWgb>I}1xABfzC}FzQl+c^H^RS`PPS(25eJ?ax5v$8TIP=4h zfqTuqb9h!g+U|Woi4%uP4ei|D2bJxq{PmHrbNCmCag9UDzUF;)Uzk2j|%z zlE(wM)4+%c8@q$HeL+1~Wfc}FC*WhD?};ISMT&Gj^-5illWiBP5u{G)Frxv*kw$a& z;8;_uw)Av^YTaB~xHclb|1p~0e0$$8^%?{y9c<9Z`RhK)#kp;v{ZOY7hKTp|mUOib zP#n4;{FnPsMJrq>Q6rdTRy!x9HTdsb8?dcO#|)~Xci|!bv|a>5$SCy+3;3-z{>?|k zdu;r6s(ydbPXL{sY;d~^*MczHJQI7=5m{QX%|^o5M1qB{{bJl7|FE@icR*o9a1}z` zR8rQ7CAt~XsM*}Q(}I?_8$d-oRw0#oA{@tHtF{V@r#_HNCyN?Fww&mbS_ZMGxwqx; z?Kv;EXGNqIDb4lVesv+}3$Q47Ma1x7+lNjz8Ao1U_q6bsh!An*BMmI-1n?CePi?u> z3`XRYj$tn6D0n877$#~i8z;_N>6j-o%HQ6wLMA8PqR7(fceJ^7}X^Lf2aumeoU?nTPW+vX^050_n=*@fQNuylF zR6^7llvAo3ROzoje;z>=Y+z2#5#Mg+R%PouH1F4`f%0c`^3Bfd@Tpf4!g+Nvg5>o- z9)`ahmp|P9QpI zj;;O1Ho(^edk?;D3TQ{HXI79WDWq4|%)(6AgX^f6*d_t3c5BI#@%5}7iVS%oXy|H` z%;OdB#0L?NNfyh=BzxJvp0;C+XA11APag;MlN%l_pRECFN5poefrHr_q;F5OdgMxCM?B!}zA+j%FkHRqxT|9jjT6_|L`LMJI?Smh|s@Xf;> zUT(W|3!a=jkIJCthFW{l`pqP>D0l%RpGH-KrAg$(Bkd@eHa|)bzd5U=BuT&xxGm2a z(@4xPLw4=~KDzZCi}P=RF#p0R(1n+uiA^o;?nP?^R{0VVP$~YLJwKdE95|3Kz7rit zJNw*}ve}=;2~?+0?LXwZyph0KeE#kQ=O^m-7JK-VG~%)G-ELQr>j1pwWx zFm#|#=RK8Geo2*ni|OFTG@AE%J4+}zOzVvaxkCEmE&KlE(Wc$eK14}r&U5@54klO7 zs$CXTGms!Yi}9G7iamv4ebkBtvbi9_6*a9g+dC$RpTZCU*S7ga_XAb(K&1upklCdhMYs&Nhjf|dGeu4=$`4K}Ro zw_IH)eoAmTC9e2vT$&w!gMxJHWu_(oJAzsCggr_*g}#(kNr(v)$`4(8hbYjD3yfw@ z%Oo8mD8cka65Ok(T!*f1^0#|#mU54Z_qruY=l;idwDnKoC(P(}8yeB4P`HP|0>NOIXM>ur8m3m&gjm;g$dRuAN-Fxf{!wvJ#0!r!AeiiRHV)sTG}+TDfEe@ zrU_%@(z#vB#*bOd}#n65izAlwgi;LY_6qpOS1Fakd%0!(gOPx+rZ3Ui7H!WXZk z^bjIUT#@G76oHuoeCsAI{ee?IjE0X+I|N5YE;avCO!HwmXuLsT>zo2fP45%pdD+$Z z#~QQO*~um3g}oki-T-Ez1aasS^eqs48E1aaU&Kz&I)^en)WdZ`F1gH3w3OI;{2q0- zF@rat6k&E-MHuTcI*C=PjqC%MD)r39!gdbW?5vv!1`3NfCtPVAn?&?Q z?Kg_A@9fM(={2GnHP}5AJABUFq!lw(I5`=GOeqh{gB#`lTO!wtNV)z4HwIJl&kq%? z@-Le;i=m712XAjIY{sDdu3sQn)Pp#2%gSH||4Fs0KyAh}Whf!{v5{zDiB-+_qOzPO zT;4ZDHC@H&jfSVx6B|5v3@v&?OxMq{Qu&EJR|k!c)*F@x>_E{ylyzi<63wS>o+dJ= zwCcbq18w_>Ol z2ZpGa-V7u8Q6O4-!hW#|(R^$w#(b1h(Zri+{`3^|6^k5 zfN%tkeSCv1m%ex!3Hx{Wkzour&363oY7=;VTR|g?3=HXO2RHNQ?PIcWE=T66p?O@I zk8!AqL}Jg;<*Y#FBWsKLG5ZJ%d;IC8_li5o&X=ryARa6vqcf{0c@0tBcKrO8krS?dcTVsEs z)kiQj;C(GU78zo=MpLjcIX{>>uNS4kDA3rZ0%Cz=m`};+dzc31H&iJvj2&@H6lmrQ z+uiyCp-HxZ9)Vto!R5zNZ9#63?(giEPR#EnjC-LP}ch zw?*ETCbV>BGJljL3UJV*{p9(ReZa}%dsnv?t~MTyRWqPm1r&_rVW&MjK!jP1C-?W2 z6iATw?k)w27AsJk;xcF{QYcb_yF>97*Wyr|;_gt~eW%ZQ*WTY+@AqrMac71w`9rSU z=Xq6bJj^jgz+}9hM`ClsPBBerNjK`8Z?%fx&%hX{S#!-s3LiWXLqkz65^vQ zL%U0T-tJDJt|QXDw#!PQ$Xxvt<~~amMl8w|9(Y=Q8v!CCfV+rQ0Z5T}QN|#HEXdd` zduc3!vcQlITOP|3Eu1Rb&PNv%4Cabk@4{#_{z9a*bB)*YDJHk=n!(QVbi&f_2~97k z2Fa^}kX<@zn?HZQWW~o5s>F3pkT0Az>Ijw<;3T~-b;NXDmxkvk%+3fP`g8HhIK)LK zSn8y8zLo)d_4l<}1n@c|s~(qg+mU1H(N)K|j}h}j`|;S(vY%8R^~R|VhLrPlFnSnH zsn(EK^UfJ#YOZU&Uv#wsL+28>L1;3ZW+4Zx?@^ndUR1&&sd)7eWtn6uR$Xy1kRO@h z4om!fR!Pr#u|cQDNXOTOL%|wVx}vDQGvC~Qz7ht4BUEim)CQ*q#gBCqBfU*3yv$+oBT5u%e7xT0xeiOp#a*St~8J9KTw z*aYL1Un#=%58#}ne6`nDZu{rD2KS7ja`xoC$rcGw-0AbM{^|Z#L$LsiyZj|F@wc~o zhZ}j%R1wBR&rHmfJMmx9MH*rBFge4CNw}WxB`7$?YqqH}O$X(Z^Ag|aop9mzsRY2) z0K!+-SVQ_Kra40C$kw{NdMZ>te(W$}2}9GXzJe~@9zeS=*^rJc)}wBKqhdF`jF?|m zk|eoaCB=>+66H&G|L6X2mMXmLGw(YPegTu$yL)yE5^NLtRE^4EIEl=AAhL9}NwMCa zWpF=ugMqguZdG%pZ{M#*YdP1jZ*cQz#_jzlxBAd>PHtN5dx3(WgEv^Xb=p%$O!T_h zmNt|Y^}yOW-T9jQe$N(ze-#PhAHjAt*QC@JM!X7QqWruk96;> zv>jz9>}|b&(XkUhJF_qg?DUu7IG7UFHbemlH$hfq(qF{)hq<<+V(b@jZpY#M!!N5D zEzeZDrhzJ>0pDQ<9Sr{HhH{c&*3rS-5(hEe92o7XsKz(Z#dnN$#tg8*xp3BLsZ_S+ zep;|n%6yHZ*7{mXQbQbS8Yq6^_{3Wp3NcqQHNB5@wO~(hC7@4=oV+KeeaHdJ#S^tV zf#1+6kvQBfpHOx@AYDqm1O65J1PXyp3HYFB4HVqr0rURV%~SD0B~ei8yi^}S;*lT` zq*@qcObCWzH+;N8P^brrA3<>#Fm#;(s+OmwBZXuMgYY3*BA~wj5R|Ne4te+lp#T$9 zod364^{7u&=n2m z%2$b{!svk7b(LFWutJam;sStx2?wbo98HD?RCNkZyfV_a?(Z2 z8(%WKmKEagfYaN~$~?Mb-FTkCgCCDq>5;0ZdL;@PexfZ%rIIl4xObzn=TAS=oy8l~ z;t88Z1hC>rSp{BO*%kfSdE0QOa;^(BCvueDw{(a`(@Ym- zuK?TvzfUuN*RtbqOG}z4xQpfa9zMS`#!%>W^CopmVo}5{am?$61*`=4`!uy6DK4~k zXNi(z4O7D=xx=)gOSWYkBW?N+2iiZSxd?YyJ;*RPET1AyY`drKq#9-V1WN)|6aX44 z3Ml6_#y3L=`QN(y1ir=>s~WTLA;el?D8TkJIH8~is6zMA$LOzIN9sD2z|>RFX)!sG zil=2l#73Lj&cBvvTh+PwyRv;u$lP7q1X%#F*}HSfz9E(|7Zu%{R9FI!xh!L@4#{b| z>nlkt*F+{VH_(zdBcJR|zi|!sI@cBYzD7Pq5V#u1)IuHP_AzN_0j(fx%AUC!2pfA2 z!(nEcbP!fbT0eI%wr08^fSaiYjUONk;DN@2YzI{Qscl;Qy9p(uBH7I;yBcjhmrm&- zbd9hN4XV<7v)*tunRs5T&6U49uLVBi@Ms*(N+%T4 zR10gIpR19+d`V^NOXHvE9q{EmIX;$iO8nU}AXI1ud1q6dwMOgXB;^lY*+l}bN3NNf za5FP?hG=w3v%=PDOK)+>L?I(^^iS2b^Gk4{h3b`!R~5)D)7HJ#2o7j~$Lq?mHaPnDVQ*4DJ;be{5m&Q5M49IY2H}qs1qyr8ccCbE(gW@8 zENq?U)QSC`9ognrp7Dr)xc`m9fzQ4o=zE-Kej&=!#d%wT0G5qH-F$Fm0!2KY|7Oj5 zES#97-OdD_x%$UEoB@T+$2ng)yA)r{60hd^-{#3Z)@|%Oex|PJO&k0@+^-SB9TQ|` zZnkxLf6|kf@-F*b|8BNdFzE@&N$U5~-+EJ3lUJ+O{eV%mcLnnZ&>V>>gt*B(vJ2u4 z2x3z=9A(`$mlD^9D^fMsVzkSezp(F>6o|F{If1Xm8W$eG;6~#m6b-T1!SRxJ=x(8p z-Z&*AJT3{&eCzIP^vGhO?-=3Qvd?CUy83v${%duGD!A_R95MYA><5F&PKRKj6^fO| z?W%bjq)=ea%6xDM*s06*4U*u3pLDoRKUsaev4DO;tzX{i6vE7yMN=WxOd0t64g$k8 zV$C$lsa2r7$0;%3hfX8ugN>w!N$Ym<-HjM@faJnK$2BK_*fdXfA|a{?H($eibLCPT zR!n;-_O+$hKIafL<1NW4ZALc%Q2*4xWk{$PK=++ZcTzt~ zOtZFjFl{qqY=xjth`v^7l@g0U%n!4N+4^PS%cYm&6oubGfc-;zU~VY}%t`XVO$yF%@QAMx}7V^(%01NVBK%4bx)m2&ls{d&%QvujXzL*-AEygVloEeWY!>+q0&kx7Gc8LDd>`HJ5LePkHDT z$KPbF5`t-i1?gp{Sm~XGBzpE7W5l*STS5qfGd4r6CI+}l-oC*~oy@md)T$MbE=GXv zJPcD}D_7mPzB~667HwcdPV+2jRU12%T!2H8L36PLIO5@c^1O*e#v)qlj5T$eD>=0D zSQ+0$p}=ya1V0eQa?5eWO^7jQEV1euIMg~m$2-9Bu5>)-(_JZZ^TY-le#*dDQp#Tn zuWOn*+o)~KTqd)|E6GXyC^~PsDqtVAP#$bn>+< z)0#X&ENb%A5Kem>Mat?2M*RB+!5QgWf%yL3$etu$N!-~*2DfC#v7@ZSs@Jc?U)@a{ zaSv(Z8YmMTdOP)^=v4bNV8+98rI_V#y&A&-eDIBLH}&#gOa^%I)}R=*GHco=^mnyv zcjPUCRnK#31k)q9SW#^QsRAL6eGU@v3dr=;=*_5s2to>bB;;OJxKFsMp>clK+NZsg z3a~Ynm#I(E2WIMW;eBCeZ}1tD#6(p07^u}IwWQpIW9yxg48G|jzzobmyV$$cA)?i>a?(6pA6yRy#Ce@vM6j}BV{61O4m}+1P{xrI`yaiKJ><$4M~02`C3c!~emNeNBN{>K|Dc1r5utj( zIum5Q;{5rVO#$3H$hC&^LY#lE98HrJ_BD|^+H?fTkoOHlGSudTB(SQ^r%P+#8OZK{LwRc%#KZ;LdtS->JzN^12d5b9JEKSYc z5+6QSCvnqVk7e#`iF+2F1k(Y=J}5_ z1m!xLhh(EkHReuuk4?tXDYLE)xDy89+K0898?g6~)hSA*(7cr-?85s)+{VSlpZVqG zyFsubthXz_hjf?saS=Jqn-yF2F?e?8QQN!0xokYPhbbphzVMo@QBVeCNhlOErICA~ z@gv_zWYEiJDV-h5%|fE~+WfuwaN`v_E*wj$ZCAJ6HXVURuLH&wFIWpzfcbK=4b19g zg{D?`RK9E^NB@JQqWO12kFjL@$Pm4|A;ViXVF$~= z5~YjBVO5eWeTAw^9-_!(U?)15lwRR?+kq5!9082Xx;d+a)5WiVWWuh7le|kAYoT8# zOd|6t$X8Xd0i)dAd_HpGUl_T^c-qEwf!!~y>C(3kd5Y{bzus|uVA|0}o76(Kr-qQkpw30)2aQpjXmNmH$K{ zzU2#UAH%@_sV3ph;pem(w3{kUEeg;2i<;8lIV2VW(97_=E>JlkPG<=Z=#6I|CWVbT_jj>i#M9o}ij(N^epp$!^{@ZpT7U z4jG<3)g(2k{QB_0pfjr_mGp>Dd9>k=&UU9Ati0ORCmDfd_~n=Wlb6E>q&GKbb7AFy zX7KA`@+?7}@8u4%D$stD5pNf@2(v`(MI1L`^kOcFL<5hxvqbpXE97XB2kWW#N`q3f zItaey$MZuwrDrQkf0VE3S8}cl;vX@#z)@|D?a2bFmhelhz_&V(^v%16#>X4udL)28YhlyoUoV)#sw-d0x zMDA=Lp9(DRTxi$Ye3D-^I5`S&=TY`vRv&8F*sb2w1e0VP33wph$_*y~@ zCpWgVci2~ZT?p0GW*03H<_|0!zpte=?(+4*aTm%h8)-*#rewWm*+z+#ae@%=HIV}v zhh){WL?pq_+sdG&d@MBWvu_w4+DQieAKM%CWVer7_Z}6dLT?9;H8;W+B71cIMK1hrxCYcK@Q*i$Xg+rA4p*Zst+e`hCSo zXXqKwu!+X2^%cS?$gEDInb=D^-m0i~_B|}36W20ho^CAu)vrc@jp~O=IjmaEl$BGN ze8E>0j@H#GzVhX;boVV17$MK-efLev7i<>ZP=M!)#`unNXxi?Kr?KQD#N;TGdXJ9e z{UQ6wGLLA*W?j$wpiR&VIM<+5=(J~hDDo6=Hfm|LYS?wE%Yb>$-cGUHx2N;LD2BrO z!DPm{+@_y^PVBSOVtzkW%n56p>)s_~{B)SdUSA6)hRqpSEN$y?zZ;-Nj;f@3+|E01Eo3leQ^lE*rr;t+6i+fhG{t5lqUiyA|%Px<4 z(6o{dEyAT7YU7ODpdLvJb2?7qjd2|IZjIYz;Uk+Cjbv0md7AG_a>@sD6u{u8(MUP` z^Goio^m@VokZPG3-|`r>G_PCU3z3?*-?qp*;Px^w~^HFn5@7Sfa z+k)(q0C?FCYHv-mMfSu<1~?xWKXsp^+bTs8*zpHQz33s%E!zfNX;^&Rc3O+SVp*YIlYC=&_RL;Nh6u!UA3=O116NF3ppQy@T-}v9K=^s=D z5~vBH_-_IRDq0Z&3qf`?L3IB;f>t|n^YKF{wf@(LR|uMS@d`rXwLo}~_gWyF|AJ?D zp{f~f{=Z|o|DHe-vVTqRAj{Ab|Lb@1azpLv{Lnk{_riqQ|7#A0az@<$o@@N?IkzB` zD1yp^{yG2C|IZv+bIHy1KiA*41)={VuHpO7o5l@&jY8c2^Vj)@fY2%bb(8-S0^m%tZf6^#57O!c5%vK!+^+rGKCfcNL<)lKFqXZ~u0;^MD2a z0f3G~=VNJw+)kbdu51WwSRgm+Xep-NK_=+tq|4W$fBuBN89GQXqMtd~b9-r{B_5$m zwJ6e6&=|vf)b1TA@Ro(&#B2|E*};-v3D_oe4r}rS{I;zuzqQn6@To48-wc;`jOe-t z7?-y|w0@@r2m{|L4)%zRQwfVc5Z94&# z+|tb!c60rq`OO0teWMhR+X3Qo1}5r&zS#B4HncrbpuAfL4*fp1;d^kS*7D7XITf|d z)9` z4>nzK@|qTOdJTyDNcZf(A`Y>pDI@_xKldGeN}|+n5qs1ok??CJbo#CBH}ylsp8Urp z<<3@J%X{&~4Xe1b&E?1O?;D(yo<@%-=-=lm_X#SAUN{%;+&-`VaR?6e&zo&%`GFw6 z#hd+v?N`~59yguVFL1$!X+y#e@(dr2bO-vvow1IbR@rlpOnWJvlX2k7&Xm6b*g-4N zM^8@&K_d~YdodkPuvq9H(@rqUdk=z5DfZ|;uS}NHR7{XFJM zDWH)Q%r5IbcfCvq+$&NgEAwUmi@1HVjEY~qKDCU$mSO6ey{jzL(8H!3Y&hk(OzF>F z8+z@6soN5hp_u9r&2~;DgLYTi){(t=eTzF4F|-H6z|bnNBLb-VDqNgfCJrKwZOE*Ctzo zgPN#lXdhDC2M$C_mK8--#1Me0)^WqOM8?2mmKx?#{xV^s!xAf%TLOu$Bv|eh1$Pe% z*`+)$?5CGL-jRDJ!=P@U41_x>IDj+3L<{yL(Ij$hbf#_o(Qqjd^59MQlJ z+n$erDOS5&MCBV7Ba<>o6C$~R`d%kPP4PR+S3P-{Q7ah8uN;vEDpiMH*)8F}bldsO zJ^jqWze|Wi$@9Mt^Bvk3ea)w?aRJ6;D|{z@A*huAyKZpxDh?U9Qd8z7)Z6UVeNoq% zbIp06Tm?a!4xv_`5-9sa;=r_yxadlMpQ#DAecI}CddQk<&PS5XnhQxGnnHg;P#93l zqN;xrf@x`U@;Y74NPz!Op|PSwFxsI0hV(UQXtfO{NU`!MASkPW-}dtf7)Gyd;y|p%yA$_t3 zW&-q^Tvo{Fhi#I>>xdaone2o9*i`IH=JjLci>Nz%hEg(SuH7va!&I0rhaum4zJ1fr z7S@CH{AygF{DqZhOrkdZjMiB!XjT=Qu}1v0Y73nPPijGDe-g|D@2Pn{Ok?~K%vhIR zK;L%#CBqHC;kLMrBtCuVge6mF9^&yrLtv_j7EsKFwK0zC1zxV7|Hk3U^8_7}-U)9(uY4LN^rIgHfIHTfH{Jab zW;OCaw+5xm>;tQDML1kdyYJ18L^QQIgWX$XEbw_Lbx=wOF*&6)?`X*`#yTm=t^c|F ziUo(ftFP)OX?xHHe_8ZPV2swHnjcj@>D|b&j;PSX)7dli0rstGeJ+;^wxX5COSO~8 zh5-dp=^>SapBodUh%3sGbpdBW3D=`i=MO^Qt%}qP+vs)wkyDH5n3tJm;Bcy=3rQ`Z za~)YySLUy7>&MkgseQ5%6ivvMAu4*QIe9$j5 zVQJ0jDw);Bq+ULtWu|6^E9w|1cxUWl9ohIjdPg|wW4%4vHyXeWdX}2XtkQpQ;<~?i zOYVOZt-%*c91F8~p!%5Lo=Tb_xR-icczwTdOFy7bu=Sp_Umdxx7_+N!D)#yGY13p^ zM2EQU^k+ecI2Gc+hXgk3Tfk40OoVC^aPNp06O*Xaj=_Kua3&&x*YPsm3Ye|Ak8UvF z?NM2+jHBFF+VU>(5sgvSEm*cr0>hF$_4P2hT&&^zM4=gIH2#H!S2t>e1>QcSF(MP+ zB}5UGr>FE?cJ^}Jr#dRPuY~(1r_MmqB){OUB)^yQ+Lvcok<}y3db;XJ@>{cyxv^7u ztPxTwZFR^BDFVZ1g(|yI*&UD8yQOIUfUN#HRrb9oAASZ3-LZFF;Yha60JV>%_Yjr# z2Hko^t@zuE3%$=8hxk!(HgKwVQ&S;+_NJusL7IvvZB=dVZ{SNS8`B(5Sfb4h`s<~Z zZi|~kKf2%0txG>ZC#&#j}ij*1x(?FS3DzofiNw{?U+6hH+#MDQEx0lrG65YtJy=y^}V zI#TW658+s^C=PEyiSzTQ=Lx2-#l^A$FZ~yveTkBE@W5r z;Bm;Pq}r&Y7i<;tsV*imlV&NuRfu?o7+wuN6tU#qc^~@X*pfnd!)Mko>63LG4Zk>i zfS!?5?15N`R%7`H$c1nSaCwxD!Yq$(DR+_G#~l?d|C*)F7iWn2Im?y{pCzA!%^|hv z{+uqeX;`yv7yR&H(&u|^Uc9%_TM9QwYp}7GC|NZLJ9f{!AcM?%JOC=z;ONIF`J*k` zpIcS*>&`4icMP9)=?1MieRfhvsDvWY*6FZN*jh5efI6rMh{5SL#En|oy)%4us&L47 zmw#U9^ST(0EB-rRXEgzn(Tfm|H&I={8i1i*24dK2O(JyM?##{cXfWZtSsq?1%p>HZ z@Qi=8xa~@`ilF@QCHl_S)p!hR<^#End-lG7rCcS>{Dtz zhx|4(8e^vgKq100n7yiiS_n_?@a0Y+-yTuXv?6Z!hp9Ks_Y83j-<+>qK~`6H^DOGv zUa;Rx`~;8rFFn+&%8UyJ&T$#ys@1K0guLu_K+5kq-$@{Re{wMhZmz#Gz+1?3y&qHx z<;z8z&b(3@B@gOc7j9O;`QR942*nX!r0(!rBlUDdfRGJXFPJnFHm12RoUath7Cx!@c9M>6!YZQG>2W3I(AK^d%SYMeJzC$8xmrcm&g~O^meAx zeNgIwJ@Hpo=G0}LG1yP4GF4DbP`t|Xv2U_vcvC3oy6{T{nI>&?v;Bs(q<1hR(jbz_ z%FE4p5I8}lEPKbO?P|s^9VbP$PK+?T=vC>8!EoHETc|7^{=Ir`ocRP-FeRA5`gfT4 z&4niQV|bQ!R~`ps`@%Xi&rI?1GD}~eeoI4Bgy5a-lAn_=+MI6c58C;1HA=1nT6qx5 z47%6&5B%&=OLf|O5(lgCr`CfuEApghRX*IGD}aD1Mj3kX2Z>x6*e3-3peF`Hu*YY~ zBC`IH;_yERG`b`2J{h94DM-uTe{`1m6TXDN()VjPoK|Vpf{dXgZcGzE>J^cB@`{1U zw(`ua&DGsaoxfownGnlU4$av}13fzdXhrAm{d&x1ba%#t7>-q2wR2Y|Fx<3g$MjOt zhyV_@HA7gbWO3pI>?57v4k4()EttJCmq1blKR%BufJznfWA%GA-Lt=+are054rDU{($ zTzUT{knO_~9VhpoTPK-NmFzTo&P2JGaaN9x@=2#ZBEwNR+Z28{nConh8NP3n5tI7f zQg_|f0^jJP&Kz?f*P|yM$EYM%Pi9=0jNp`y)`cT`n3L>JdETTiNxMF%K6-RaEI{0K z??h$p^T(_3dX@EgJ8sYTk zA9*5yDC=8~ft?ncxtyMic2yb6C;%p}tM}UIpO|mXd(fPoxGrdv-;ub9>Ek>szi|A- zTl|o&k+rLPbt2rE*ycTEIYZvPEyUl!*z1udxNW$>ON7e^jDB;Q!hZdNwO%Yq3{UgE zhiiTt7ZTd@XZ?;k5`8*mAC^z^gI18Ez@=M_iDNgX@jH!_k*wCFE68jU@-O8V0S{ff+vCi2Xhx^H2}s?k7fEC&vVM-i)w^s?|t zHZ}4~$i4?mXs-xwBF zJIKx|lVo7(<$Pydz(4Gsh$3MT!@in?D|QR;|Fcv7VO=T5j5r_#hTK#;O?=W_Up$vF zaY4vE$m$_UQLM7C}YCB&ksrgDZj6*mnb(+*ws+!#=5YpBO;=9D#O?ytu>$zi_yH(huDJynO zcJXRaH`S6xgXAH1=?Z|oDE`=^ICawE5hFddIlEEtN9(eLyx#g5mEA8ID0jSLEaj$T zeg6AzFbry}YRf7!WJ{&AFk0s*7a|PYVrxc??BCJzeZQnZVTnxV{ic=|!27MOWLCfP zTKiY0El1OuMuy7t39o9O54^^Q97`c_seHDDT(22z|2QwTA@>3x5mV5FGmnKg&5|+s zLXveU*gz|Vjv)mr@ibeTOQ*r}@=lxBT%jo9;_+H?mbF>QG*2#T)<7=H%U2Vg{U9ta zmDT=R_3yYSgxPY>+2z+r(ozpZdY!Ep)`qR+of}W|T9_vydWu4(@{p8aR4g*i+OJ;R z3e({&td?TR2SLj~X_jN_J;GO}!=lH5>iMl7<*SIuY0(7s3#B`kIWeETtQ|x%KDoT| zosBqT!8Wdtba{j)!~cS2&2F=_Ou$)v6x!%kKs>hjS@?dV+Q7>Xd?Z!2PC@fca8VG9 zoh|V_!gn-{V29vb7yaT&lwe{aeT`d5&L!$MN?<}qd^`3WfIvxi#LE9rC8netzo$?2 zgs6asxU>&pL#w{v=~Kod;#fYvmiXOh#qunELRn_&|`);$>eT-6+6T`frZ_E)v3 zJ!ox3UUYw6r1i2eZuz+3W}>#S*w#jrAhF$pRT8#c9!1hK%xQ{*ku+zfi8(s*U~Kbi{{5+d+fO40CwY zf7###{^`s_<pNj&_2#p2MT0M|c969`Ty$P6N4 z2SUMv^0EBTMM>xqB(ESJ6`#;w1eS`9=&$h|QV|NmgXI@WoaohojE8^_iMYW696Zo< zNN%WKN`MDU#SLX-xdervdy(W2)i7vOYz1xfgm8s|6bZSZ8QDrw^4gDT;n z*7<*1-v4!J$fX_BGsW|dXNt`pga>_?Nk;>*v4{Ghc>Z~z|E-+*Y!3~x|8v9#O{xV1 zAbrruf1Sh&Z3Yz-6oR}!MzG+rGEcO;~|bZ|76Dh*K7VNu|xH*+Z;Wys*>cd z+Z-d=0VDxw3}wuBTIGUl?UJF(&xSG!Y~ttDK2do!C?pKZ)WpMHBkJ@;;twhSbwy0>`) zZPmhq1;)h545eJrH;26u+v$+kY~}ac;k-6JbNKBwL+KmaoF}WM?Qb2pf&q2B!8@8O ziMBJ^5!fQW?hTk!;$9*mHty7`P}vj)@)+E4iz7BOow|Y_MsjyIKivmp4;;7+wsv(3 zdpzYVKHKl!Mb3RvW_yJB!3y42nAx(A;Y74F=es_a=AJqhdy`a0hgWNIb#>;?uk_V! zwWB+-hiBDEY)xRM-4?U`X&;~$7(URP{tUE#i`M(T_!Y@QkHLY4INdPWRnXxC#l2?bkP(?VB)5(^s;Dp}V__7bfuROf5^Y@5-bqKf6oj}E#79gOG)kLAgp+JgbuOCK{YOZ!P<>jg#^w9%&w<0G3mpG zbHuuv)AX)d4P$SCYQ?dQ6LMcdB!4k6TFRJ}OyB*hAGQ^%G$lak`*HarjtiL$J2``R zCb7J)5?$N}V?h+-F4FtkKXNX^KB`%t2Y$*68Vcr)@NRaih;h+ngTW6gwmed6GI@AD zNLz@f=#JlTLu4t>XIH@Pf4|k9tx*9oPrgZ<+i1v}Qcux3Ku`TflgeJ_aJOn3hUgIN zcsB79voQZ~Ue^}L@OPrlq)S>hJ$~2{< zwGgDVoo^klJQ<_FOVNlGS6>!hp8TOJe%sc$p;66>S5_nIkp-|G}3 z$Kj?(uVQYNrKb68EL-5K^JP)_!)Ky=8|@gkc!s4LZ%U65?mFnR| zGvh??8*(L^{oa+cn%ARcov&e{O*i(-T*~zHj*TXeEeuoG2tVV^)wo!RcdN@X3Qq*J z=Q3lvJDL!@bH~A4hf;=9M=4VCsEs8zwJ!>ymf8R%!B)ki%X$MpA*K zh=cUy!J~!+nC*RaYev%UuYaunHiGUzQVl(W6xYX`9X-BSJ3@4W>ll5dPl^7Pkai1R z%4zXuiNgotJ(q}J>UHeru6e&(LaMt2>P{)Q@ZbrGwRt%FzDm~BiTald^~w1xyY8yW zL;GDoeyRZxZD|Bn=@WH~?2bA9(Fp-J_>-N@rB9L&P+WkpfE+3%H2A;<=lt=P3Ug(1 zD1Osye;#SuA7$g6lFxLFV zwQO9{4Y-VZ9VAIlGY%^C6*Ymg&*&mt3gR0=@(`Jx6`*Z@=6B0Ogbt`MlcX3tlNsg& zQKPoEU$qS*Cp<@Jc^0aVzn)YD;WKyID=~+nsiIE!U6M}T!<0++PvgI5ZhE|`q(2sN zup&&~{a6mm{Vqs4-y(gpA9Yq?!kVPk7%mS-3$U27J{ED7ViO*Fa7v$TFJA;BAfU{B zCBF*D`;nYFx7s%&%FpgD9Q(zFW}h(=RWc?tB!vCt>l}>C5l6&x!Y1dOEM3dD3#|5A zfzv!D6Wc0eQcnw%XMu=~-*L%`6|b)pTzN$|-bJ8raECBhD!Zf)Sm8_d?2eh^TdMRf z4g*{84`|7AsuJWC_|fLu4xqUhOPM)Y)>!ZYswP>6FCS~HpR}A^MR+u=EzGRfEFM%@ z$LCMuP3V)KPoN%*47YKfWS_(s!~camH7bVRC5>JMvMLDm+0pCrb4~G(fJIy1Pp~TN zWqvu{n`6v~PVuCO+g2^1PL`P)9#6+E0VFSDK1TKwp`Dd(d--MHWG2*}xwrU-zyGdI z{X;-V+}rd$5FbIDqv0VLYQcU3+k^~ExoK@u?vIlZ>rmBE9_m>@Wt?_=NUbu0`^|Oi zo0>~>Vc^69V^IRU;>cPYJRQV*Q0ZKkg+hfb9<5{j2IJ6((qOoRIfwGu|7{$Rv&4MbvW$p#V2L;72`}2ZT z33C#>ei{#HKUkX`J#Yo&BGD!pfz@QfCN2qG_46Xsp0O1ymVg?b+30j^2!U zSJ99gb_T;`4qYa|S0sgrkrX4!fT_Zlbr9y6l^KyK^4u@HC3?YbVQ-I%0cgNPcOvoU z)@`ihA1GCK>lq$b^^q2q^|eJ;BON&$gSgx3+|K|`(Z1MrY^Zq`Ud@| z{=IPZ{BF+2-#F@i%O`9>BE+-ZLGUVSF%9Or>(_D9)!;?lvFudxd8#?Q$5FO)6z!jp zh%A@c%!l7b8@Q&q?$|4e4gokxL09oHcsoj#EYyib@w`hW+Y7vL8=x3n*bl#+xzyg5 z7MHG!20=TI=i$~Wi+Uq0);-Nl-|52lp|=jpF%oVJwJQ*98@mJJw-lB^k%@O-gc1V7 zwjo*Pe8fP?9*w2Hq3IM3{#0=!fBouGKZdV8Nuk!1I6DJFMU)S#8gS`jaCt*-R;&L( zF8LsFgpmzR=$)Yze{{Ke(Jhr2P6?IgvDAqjIn}Bz{?-&-;)dy!*B>F3fIo>SWe*}* zi6K#$)WwLmsRAy?c=fJ0HZ_k^E0$ccU*$frwCpgf>9eW0AS;%0Aj~);t-qjwihiC% zUQN9-r{MCLL}_Bdt_2wLtZNz77nbW%ePYc?2naeKTZs`Gj{6^CE?KM&KPU1o_~D;R z8KkN*`E-NMX%Ir;$FB)bB@!q7a?D+F6RP%Ukc<9^U631?q!)@ZFz^(SA-u7jDbaS9 z=9B+$iGBQA<|(@JeOWRlgFVeYOSO5dgwfR;D|$sUO#<|jJSX7AcEI^u^SQ>nMFXWt zLI0~=b;S^y1pi!eibl7-zHYBg(vP|&0`g2vB%DS{`yUhvxww?XhbqLbW7fBEUpaF? zOvbi3x$_}PYz?)Rf3B%8xjYJA%@GqqD1IVOspPoGs~=0i=xTGA0cW)wb9cGdH3RAP zX2;Ib%Wt>){mpF_Yq-vqL@@?@B*AmF>2#+_fPM4dIN9jCoGT&wwrHA*%%9v7BPKZbkk%cn37+vMj zz-Xf%(sFKtCw(^;$L%$1pzkQ=J|Fh#PSbBd69;f3J+>kr3c#@!<05msHJ;HRmBeoC zkRK=7i^`wqXJ%OqP$QH&lf4l-E@ld$L7$cS#H))HjYk+Wx#ltF9wX{b=>v1E=>JeK zJlP|;9gzAN`19lQo&8BILGMZjX$GBf{rVd^QF4OZW@U}C0V=Jw(rU&wH1SIg2JNL( ztvbN!7g#>w`?%u}?84A0EFD}m9Luf3ic_N(Z@_^YoDcP{p7f*M`IC|q(xM!Ph*v|2 z2uEs-HOXpCH5tP`b{zNS!&|??0%KnkrY*7MqMEaQ*%Ty98CP9Rxf7 z{2VR?N+s3GErR}8#p37F%$Ru;I?&tR!7NzP_$02gMjU!#{9W1RoN>!S)& z_v@7O!w&82uUU=^m})WtIl6X_PbP@rIE*}%?2e?%5uu7EC;NY3(h7e8zeUUc=md9^ zc^Tfvv6aE$BN@s##>@u)ML=#&Ej|1Ed;1CcZ(Ir@!{xdxId^ zuo974U0Qt(e8J6DD)_Y9wBVT=c6CNISKgqpn1cNQ-BQ}S6~>>L(nm z+}bbVE7gIJ?^WIUL<4>uF6uc2k<~!__sG5FrqXI02}XyWF$~hTxM5TKk#K)_d*Zj& zvVO$TrtS;k5=T#_br_LF{z6D-#6j82FHc(i?NyH3$UwzRH~1657L_ySX8X@}X1zx1 zx0*Fd>N>Lq%=vbc(uJum>Cx$cA%yrj0qaKEZHi$R=r?jfw#&g@O->O6>z*QjAxHnO zQ+~wE)+n7Qb`P?a%p-&$&_va#6KV6-!*x@%XXlWGzuH(!Q$pNvpman_M#Ky03+0^A z*Mi zIIfnYUEH za|oMWWYQmp4HxcqsiPlcs~TNd9IZ4SUmRxM%5Y$kC1OO&!g%w7u@Y3U3bCbhkTZv1 zV2L8h2t*_@)RTT&3cu~Esh@lvE#|4q(Pj~9RukC(r$mPx%TuAQbe6VU+A&Q;mU~_O0p<&aiN@CE z3F-Z_#Ukl6l^TqeR@!@vw+Ua8qwb~E9<)HqEwu^5@D9l-!2`~q?OEbB#(ZqVZ-B>! zjBMJEZ3*WE5t{;7$v+Fb%6h&=kG+&D9k+*Qbnzd$2vOO1VoGwT0j91(!y{AwTY8g< z_3cHuG-R$_iI&_J1gD=a-{&}1+HS{eQMrx~a!{V%aRu6-J`NC3IJ=?phDjBP+oGB+ zxSoWz_Hhbrd{^cr?=*97*dr26jNItbxN~1tlr^FJRft)rCNY2}DiJm3Rf5E)3k^m_A zZ9Z-wTU8ufe-|QiO0VMJytsGXE-ol@=C~-|adXlu%8!;mim*)aH0x`I!N@vu3BwYl zIxaqknLMM7!VWb&%;PX=U)VvRY_%&{WFU*6}`IVY$&KLM=FN-;1C3DU`#qO!^w=R^lzY4gfO)L;E zfBA)lY4`^{645@uR$GxJ_uwZ>PNR>&yi#%ZqpssQ@YmsgmeZn*cm46my;{|N%e{IFtOD~7F4n~BKqjiUEAPID#6Hj%!`(bLLqQF4 zZg;2ne&Zj1LKA=~;hK#SrfpxfZ&fkF`YC;n$0O{B%Cua+2DLVdU2r|W>)Xxv83eC=mwhnc$ z{>iWK9O3>*ze@e^8>P9+G8wX-4{KaTJuGtr{3^1?H1mmn{Csksiqcee&}=}?QArld z`9&V{YWYC(^#gF0FMpNNu2}FyOo2%}P9P2&PS(v?<~UdIZj06etwPQcv7@Fi76(q( z&+BVN*|K%8x}Ix8OGR|iz?!4)Je$21qIOmmUi-kp=Fs+5dGhUntwA_d`M>~NIOwX1&I(0 zUAhHBb^g#uSAd5f+HDCvLJ9N#31`_MUp|6Z$p2#R;D5+=sE?l)S^*%$0ZoUYZ2%nn z{CtqN;h;Ck;UF2vb2tc@5Lz_=-QpFZ0z>1{f6f8_pTe#^Myl$J=iK>FK#|8RFF_co zC~CXh_dQpU6jrvPA^|O|`(Rmhbyr{)cV{0~bg=5WC@imr538+@q$t(+Xqpa9Er~Uy zrd5)*X$y@pt?>^`+S(>0HKx}7&b>3t-g8Vk|IEyHzVn^$b-wf6bI-jWwtXdUeoU<7 zO(SA1{|u-L)idu7_K+Q%2@Y(x5cqhdVvO>fc2MsJk)rAH2ajV9bz~D^cX(7dJoY%q zOQ&9pV09@{VKIOK|F7BRTfHLg0odu!;X69?=hFivFWf zu^}(@@|h_5scIOUzY8@CvXwJcy-z=g`L12!vV6A5RY#W(PUk$ox=YNc(;87P6B_u# zmvn<(CF&d0ap4IZ|IT(x3WcF%*$=u@mPMbQ*uKu9# zDev1Y=7^Aw?iQmWD!Y5c{X)p{D`TQT@X;}GLHV=2qF)HR+_PVFTf!-yIw+p8gj*gs zB>F7SKXX_N3*nbLzAJ_-5tL6qBX(FKEN^&LJSIT${pZA8isXtH#F0kJj`^*w+|^w7 zvDiN`b@%1V`GYfJ7T^2=Mmzbjc;!0SJwZBhg|&ZTawlRkkhWi8&EoePbCb%OmRKc^ zS1++HMC^F@%7eD;28Up_fKofWK5hN0!*VJTo&DU}Ta)Pc=P9!nlwbL; zb^Ow*M28Bwv6@7i3%Nw1$>p0b%^kb!VBZ%r_>&gvVzwJ|W2Qi^Uxq-RT&k*cq|e0mL42p`!%d*HeLM!G|})!~hFH4ki}Y5e<*bQ_pd08qZIiS860A8SJM z+Z$;*pKYS`fCI3=!b1agD_z2m-cIYFDFs8%(`^9FXr^__xHoR1g~I1kO*EgMZ$?*# z&o+bBtxce1w*cVrBP|#z;@4WJ1C*z?(pCJOcACL!TG1Twa{vgNf741GO2_qWXrIuI z?%iz(J+#l~o7!j!_uY4SY5Kx)lN~+a)gIcU$Ok{^=$vV1z%T2^iva|_Mo(pH)c z)$>;BPcYDT-nX z6_XPkq!7gxZbP2zp>;gmgArseHH(=4*@JrCFZBYju$Stl_IKV{?C$Nks$S_Vw)vx8 zI>>MJ(mXz}onGg`?TB7Y_tCGo;XYc(%lqggFYKc^{F6Sqh~0jAhcE00N81N!BF`$) zAQs&{MT+^ee(3eXBDqUZi#p}2*wxwF2lL<=AB=_UBH^|MRm!$qZWy4oe4rnDAu|RP24sHG^%K-Iuf!91&tJ=b9mVx75Kma&7T-0d|{p4IY@O@ z6sPU4s`l1Fy6~c#y6@^Qw0M5X5dUS6uHdOd^ff*S{PWU5_?96+&-P&Yj157AWkZxd zKS(`@j}KuL*k7bY{KXIuULK;E)6;Gq-X5el_X3%Ef5$?NeMk7l=vPl(X}(xgi)VDPhqn9c4dSC-zm{GD5?$(sL!}I@Gxg5 z+Pnx>*4n^U*G|G21H23yhR|A}zGFKno^8jTIiw%(#D|kcm9l9)5yF}t#+WuTAid3v z_$AfmD4*5(A*O$-h&qlkq2B254c}IRc<=zN&Gz`PYE!wZ))pe^I+L`iAeQYHN{{6u zw5-k$K16Y>QPpD7!y|L29)TS^gT)ZmUGgaS4`NjYOdAVn@$jSc#;rJ`Vf6GPk9Ryqi%Td4X4nZyxj_WSEleW5YiK8kV-4ouGDgk6@sin&?5V34pCk`e>olxeOsYUumpF= zqT|}Zb~G6PbJQ`K@nZt!>6QQtk6dbafx^^aK4w!Q|J2%ivVAC-_dP+EmqOE>0$g{P zM07@>h``q73?QM(12W79cBC6m^+atrpq0ik6*x93!fBmDb^WHnoIszfAm~OqGfvOyAH8R0%(PN;Pgm54HLXMCt3ygm7A2x)4rl3<9Us z{V3F(R_PyA{0tR_zBJSy`mr+c`GFPaJ#3WJC@WXai&Y^bF0!(l^Jzey3kZ7OGnKiILQ3 zHU>dk<@@6qM9rBVy4_U02Frwo=OYU15(n5duL)90E|MHrN$o47HmRs9L|URd7h;~C*gFwy zQX`ns!)l_hFphE$U68nh6+z?BwP8+8t$_Kcb(CQc){OPV7bT2f6%7xuM~|$o>!t~y z(tlO`E+&p1KmbF1BaNUJ`+7d)dNB;D;rSuz4jV9B0M}s6N+j&yM7n1J7VA^T#bTnX zA26i$HG&B}>4kyKrw`Dg62h91ak@A(uCEQ)z(EYu>BPyFl%jb~NfOzw<|^om#m4BX zw4RMGK#bMyLWW>$BONhd2&o1PDZc@W^b8g|OK~l}v{rTj5J?P^sUWM(7zBJQulgVk z^lreQ8h(Rm@p?QWpf|d%zHGZO-q>sqhBeK;u-x!rT2S)vz(a3u5!)-!4mR?auI{ r$. There are at least $n-f$ voters who precomitted $\geq B'$ in round $r$ in their commit messages, so we ask them why they precomitted. +The challenge procedure works as follows: If $B$ and $B'$ are committed in the same round, then the union of their precommits must contain at least $f$ equivocations, so we are done. Otherwise, we may assume by symmetry that $B$ was committed in round $r$ and $B'$ in round $r' > r$. There are at least $n-f$ voters who precomitted $\geq B'$ or equivocated in round $r$ in their commit messages, so we ask those who precommitted $\geq B'$ why they did so. -We ask queries of the following form: +Starting with $r''='$, we ask queries of the following form: \begin{itemize} \item Why was $E_{r''-1} \not\geq B$ when you prevoted for or precomitted to $B'' \not\geq B$ in round $r'' > r$? \end{itemize} @@ -326,9 +326,9 @@ The response is of the following form: \item A either a set $S$ of prevotes for round $r''-1$, or else a set $S$ of precommits for round $r''-1$, in either case such that it is impossible for $S$ to have a supermajority for $B$. \end{itemize} -Any honest voter should respond. In particular, if no voter responds, then we consider all $n-f$ voters how should have responded but didn't as Byzantine and we return this set of voters. If any do respond, then if $r'' > r+1$, we can ask the same query for at least $n-f$ validators in round $r''-1$. (Note that if any do respond, we will not punish non-responders.) +Any honest voter should respond. In particular, if no voter responds, then we consider all voters how should have responded but didn't as Byzantine and we return this set of voters, along with any equivocators, which will be at least $n-f$ voters total. If any do respond, then if $r'' > r+1$, we can ask the same query for at least $n-f$ validators in round $r''-1$. (Note that if any do respond, we will not punish non-responders.) -If any voters respond when $r''=r+1$, then we have either a set $S$ of prevotes or precommits in round $r$ that show it is impossible for $S$ to have a supermajority for $B$ in round $r$. +If we ask such queries for a vote in all rounds between $r''=r'$ and $r''=r+1$ and get valid responses, since some voter responds when $r''=r+1$, then we have either a set $S$ of prevotes or precommits in round $r$ that show it is impossible for $S$ to have a supermajority for $B$ in round $r$. If $S$ is a set of precommits, then if we take the union of $S$ and the set of precommits in the commit message for $B$, then the resulting set of precommits for round $r$ has a supermajority for $B$ and it is impossible for it to have a supermajority for $B$. This is possible if the set is not tolerant and so there must be at least $f+1$ voters who equivocate an so are Byzantine. @@ -342,14 +342,14 @@ If we get a set $S$ of prevotes for round $r$ that does not have a supermajority If any give a valid response, by a similar argument to the above, $S \cup T$ will have $f+1$ equivocations. -So we either discover $f+1$ equivocations in a vote or else $n-f > f+1$ voters fail to validly respond like a honest voter could do to a query. +So we either discover $f+1$ equivocations in a vote or else $n-f > f+1$ voters either equivocate or fail to validly respond like a honest voter could do to a query. \begin{lemma} \label{lem:honest-answer} An honest voter can answer the first type of query. \end{lemma} We first show that, if a prevote or precommit in round $r$ is cast by an honest voter $v$ for a block $B''$, then at the time of the vote we had $B'' \geq E_{r-1,v}$. -Prevotes should be for the head of a chain containing either $E_{r-1,v}$ or $g(V_{r,v})$ by step 2 or 3. Since $g(V_{r,v}) \geq E_{r-1,v}$, in either case we have $B'' \geq E_{r-1,v}$. Precommits should be for $g(V_{r,v})$ but $v$ waits until $g(V_{r,v}) \geq E_{r-1,v}$, by step 4, before precommiting, so again this holds. +Prevotes should be for the head of a chain containing either $E_{r-1,v}$ or some $B''' > E_{r-1,v}$ by step 2 or 3. In either case we have $B'' \geq E_{r-1,v}$. Precommits should be for $g(V_{r,v})$ but $v$ waits until $g(V_{r,v}) \geq E_{r-1,v}$, by step 4, before precommiting, so again this holds. It follows that, if $B'' \not\geq B$, then we had $E_{r-1,v} \not\geq B$. We next show that if we had $E_{r-1,v} \not\geq B$ at the time of the vote then we can respond to the query validly, by demonstrating the impossiblity of a supermajority for $B$. @@ -393,7 +393,7 @@ Since $v$ sees that $r$ is completable at time $t$, either $E_{r,v} < g(V_{r,v})$ requiring $(n+f+1)/2 > 2f + 1$ votes, or else it is impossible for $C_{r,v}$ to have a supermajority for any children of $g(V_{r,v})$, requiring $2f + 1$ votes. In either case, both $V_{r,v,t}$ and $C_{r,v,t}$ contain votes from $2f + 1$ voters and so the same holds for $V_{r,v',t'}$ and $C_{r,v',t'}$. By Lemma \ref{lem:ghost-monotonicity} (ii), $g(V_{r,v',t'}) \geq g(V_{r,v,t})$. -As it is impossible for $C_{r,v,t}$ to have a supermajority for any children of $g(V_{r,v,t})$, it follows from Lemma \ref{lem:impossible} (i \& ii) that it is impossible for $C_{r,v',t'})$ as well, and so both $E_{r,v',t'} \leq g(V_{r,v,t})$ and $v'$ sees $r$ is completable at time $t'$. +As it is impossible for $C_{r,v,t}$ to have a supermajority for any children of $g(V_{r,v,t})$, it follows from Lemma \ref{lem:impossible} (i \& ii) that it is impossible for $C_{r,v',t'}$ as well, and so both $E_{r,v',t'} \leq g(V_{r,v,t})$ and $v'$ sees $r$ is completable at time $t'$. But now $E_{r,v,t}$ and $E_{r,v',t'}$ are the last blocks on $\textrm{chain}(g(V_{r,v,t}))$ for which it is possible for $C_{r,v,t}$ and $C_{r,v',t'}$ respectively to have a supermajority, As it is possible for $C_{r,v',t'}$ to have a supermajority for $E_{r,v',t'}$, then it is possible for $C_{r,v,t}$ to have a supermajority for $E_{r,v',t'}$ as well, by Lemma \ref{lem:impossible} (ii) and tolerance assumptions, so $E_{r,v',t'} \leq E_{r,v,t}$. \end{proof} @@ -491,7 +491,7 @@ For (b), combining (a) and Lemma \ref{lem:timings} (iii), we have that any hones \begin{proof} By Lemma \ref{lem:timings} and our network assumptions, no honest voter prevotes before time $t_r+2T \geq t_{r,v}+2T$ and so at this time, they will have seen all prevotes and precommits seen by $v$ at $t_{r,v}$ and the block $B$ if $v$ broadcast it then. By Lemma \ref{lem:message-monotonicity-completed-estimate}, any honest voter $v'$ has $E_{r-1,v'} \leq B \leq g(V_{r-1,v}$ then. -So if the primary broadcast $B$, then $v'$ prevotes for the best chain including $B$. If the primary did not broadcast $B$, then they finalise it. By Corollary \ref{cor:overestimate-final}, it must be that $E_{r-1,v'} \geq B$ and so $E_{r-1,v'}=B$ and so in this case $v'$ also prevotes for th best chain including $B$. +So if the primary broadcast $B$, then $v'$ prevotes for the best chain including $B$. If the primary did not broadcast $B$, then they finalise it. By Corollary \ref{cor:overestimate-final}, it must be that $E_{r-1,v'} \geq B$ and so $E_{r-1,v'}=B$ and so in this case $v'$ also prevotes for the best chain including $B$. Since all honest voters prevote $\geq B$, $g(H_r) \geq B$ and so by Lemma \ref{lem:honest-prevote-timings}, all honest participants finalise $B$ by time $t_r+6T$ \end{proof} @@ -517,11 +517,11 @@ By assumption these chains include $B'$ and so $g(H_r) \geq B$. By Lemma \ref{le \begin{lemma} \label{lem:honest-recent-validity} Suppose that $t_r \geq \GST$, the primary of round $r$ is honest and all votes have at most $f$ Byzantine voters. -Let $B$ be a block that no prevoter in round $r$ saw as being in the best chain of an ancestor of $B$ at the time they prevoted. +Let $B$ be a block that less than $f+1$ honest prevoters in round $r$ saw as being in the best chain of an ancestor of $B$ at the time they prevoted. Then either all honest participants finalise $B$ before time $t_r+6T$ or no honest participant ever has $g(V_{r,v}) \geq B$ or $E_{r,v} \geq B$. \end{lemma} -\begin{proof} Let $v'$ be the primary of round $r$ and let $B'=E_{r-1,v',t_{r,v'}}$. If $B' \geq B$, then by Lemma \ref{lem:primary-finalises}, all honest participants finalise $B$ by time $t_r+6T$. If $B' \not\geq B$, then by Lemma \ref{lem:primary-finalises}, no honest voter prevotes $\geq B$ and so no honest participant ever has $g(V_{r,v}) \geq B$. +\begin{proof} Let $v'$ be the primary of round $r$ and let $B'=E_{r-1,v',t_{r,v'}}$. If $B' \geq B$, then by Lemma \ref{lem:primary-finalises}, all honest participants finalise $B$ by time $t_r+6T$. If $B' \not\geq B$, then by Lemma \ref{lem:primary-finalises}, at most $f$ honest voters prevotes $\geq B$. In this case, less than $2f+1 \leq (n+f+1)/2$ prevoters vote $\geq B$ or equivocate and so no honest participant ever has $g(V_{r,v}) \geq B$. \end{proof} @@ -673,7 +673,7 @@ Here $g_{t}(S)$ is the $t$-GHOST function defined as follows. We construct a cha The idea behind the proof of asynchronous liveness is that for a particular block $B'$, some value of the common coin, either all the honest voters who received $4/5$ of precommits before the common coin was decided lock to $B'$ or none do. If we had a fixed threshold for locking, an adversarial choice of the number of precommits for $B'$ or its descendants could lead to some voters locking to it and some not (and indeed there would be runs that do this indefinitely as this is how the impossibility result works for this type of algorithm.) -Firstly we note that much of the machinery of ? and ? carries over to the $1/5$ byzantine case. +Firstly we note that much of the machinery of section $\ref{sec:prelims}$ carries over to the $1/5$ byzantine case. \begin{lemma} \label{lem:ghost-monotonicity-general} Let $T$ be a set of votes such that at most $f$ voters have multiple votes in $T$. Let $t \geq (n+f)/2n$ Then