From b17b23b40d2e10ccbf3d00b32db85a48e73b031f Mon Sep 17 00:00:00 2001 From: mrwulf Date: Fri, 10 Jul 2026 13:17:50 +0200 Subject: [PATCH] paper v4.1: pre-submission fixes from second-Fable final check - Acknowledgments now disclose BOTH assistants: GPT (OpenAI) provided an adversarial review that shaped the manuscript (it did not develop corpora/tooling - the acknowledgment stays literally true). The .tex header already credited Review B publicly; the ack now matches. - ...signed_tree_head.v1 elision replaced with the real type string pacta.transparency.signed_tree_head.v1 (matches the live head). - G2: the public-mirror escape hatch marked witness-dependent (SS9 cross-ref) - closes the loop for a hostile reader. 18 pages, 106 tests green, accumulator untouched. Co-Authored-By: Claude Fable 5 --- paper/ltl.pdf | Bin 562121 -> 562270 bytes paper/ltl.tex | 10 +++++++--- 2 files changed, 7 insertions(+), 3 deletions(-) diff --git a/paper/ltl.pdf b/paper/ltl.pdf index 1c62373eb711300e2a044caf78acfd62ec8383fb..a5722a249cf0602918e9eaa745028f9014e98195 100644 GIT binary patch delta 32059 zcmZsiLv)}G(4}MBwr!(h+a23B-`Gw%w$1L?HafO#tCP(4pMQ2U=hUK>wS4Zad&kSk zwkyaQij+WE(~ZGE(ZM;nxY9*XKxu&5pE3y>l2|<-S}^UQU_TLbG&W79`b}3Ap;%d@ zbEf+9z$MZs1~4iUQ#*Y}gafuU^%j#6kzK4cx=rjIKewxqG(R*Nd>$AQcY1q$p9e4I zhN@X^n@QlcZak_f9+v2$M1|+8J&(@2U!J#=E`Z*TQRMoRVb4Nh8f^;guphuuKo;de z4f#~Z0WWq;go7l`yR1|U?)T-o((_4Kg||i840X@Tmxp`*%Qms?FQ1lbkA#KIY-$aW z!|dTYZ?%BC64~JZtS}{|_a^)IYU-^F=3LIbX2oX5JPq5cY^(9&E?uc0%N2Y=T1Osb zG2h-EgX%Hg@kNGM%#;V89S>m1iRalyIMl7Kvgv*kTo(F*`}9LB!D1r1$0GpAA3VB@JQqu*AU8sFmde1>c%` zA9i&q9hwNS4n+1lC%zl538~-#Nlz!_EC`C|Y_Lx$mSX_Y$`XpuY8`p%9%fxP zHRRsMf%6bUho2Qc(9LRe!n{f4uAzR_?kO;a#SqzlFt9unJWR*KPnZCcJ9JU)KX}-+ zp(!>R4YyU;oF>e>+C|Y@q;nB|t%sm>OkrSeeWqj+-;voks`~%W8aC(dMBju z+>@TWq4GP%HWL_9O4YkK!=uVMbQ$%>idHembFmyfS zE7cUZ*JJbi=XcCM@fJ=VCa|kKhpDTkZc;xS+x5MULxqYl&OWw%yt&8$vwjf!e=IT? zpb{@$ce{Y`ly=ZGTw&0t&a&2aN1=yY{C_?IVp4RxPe^6413GsNL z&rx-}dkbQUH42+~1RwDy-ZVMNW6E5v+>ylB!Zq0y`p5RO1~ zd{otsP}u?JHIZd|=UW3L&nfszqNhud%<=%-@+n(m5C^0QxYiUjMY804?zTEgayf1t6my;GG2dT z-A@8`sk{P<&Ka}P$QCBpZd!ww64Ibgn5CpFj;DZVwks(l_RPvTiyJj4)gv0hIE_JkH|Z?+FRO#A$U#cSMn#+$Fn6 z@m69f5Wd97Y1&!hmK(oNbN2k<{ADFO-O;dN`LP8=W#KM%!_>vH$YO&Ox|R;R47JJG z!UV|KncVO5#T6orncc`T0(o5X3Oq>YqBGc$fzz@j;N{3A&-3-w|1&Vmc(BU-)8TFU zJWZcW^6=Pw&KOc*zesub)XVSWAD*zVGoys$O@(EfH86mY-7|>SfAT~;R1x69?6BmGG?!8S6@E#9 zU%@qSy17u-H$PwQFb3*MsT4V&nhH>MSN1X9{@`%%cfbZ!&kxT(_{Tpt@(BL~wWj!u zj1+xrwye}eoHM}P_X)!`MiNDU^4m}#paQdCBu3^mKVamv`B=aE9N7j_%&!eu3gzuK< zt$EyL`gbaUU@ViDr`yd=vac$wqT)nxnk5)g8EQq;({^*^CKLnlHI^~&c4(%A4%wgGC>hX>7ao2izjoX1fr?%eNOE)%7z_O_YHds4IYQS2ShK ztRUbgF0N8+H~ge~gM}x3gh~$gxA)A2t`Qf(0yK=n5>P_P7OZ&|I2pQ+4&A^P-d{VY z<;^Wp$|e2o(Tmgo3RC_cg{;#rVGgT`0G(2!(w{}`v1MQPRooSo$>8lYKP8fXlg>Or>u&46+>4x2CyAGZ zSmEQ);Ygc)1gNbyQdkhWbq8JbkAHC*$@z7~(3>`7597G8=nu9hIY*R&nD#LComPX6 z__+qo1NwpUYJqR2xqw7nmbADuO+PZChtjR8cY+}@&FSc9hfAW$MEOEx$K)@_Hjrw9 z_wRXX7w2Io%_?l`z-L(}ZB;{D({5=Qq1LTkHsIno_MF04Y@cdB(&AAq-C1h18SPFz zZT;DFJ_%Wr*N$YZhdyz9MPo4J!0nD)oo&#)#EvVzb0c792dFB7F!0^ktjJeM6pCYI zHT@Rc5w5?`95D89ew-8?9*Y=zZA`;i*eC>Mf~=j`+&H<+##6(sow)tK2btN7JiWH%g#wuI-K4`xV}#G_k%N`b`Nf##%1G-X<-cilctqf8d)5 z5kbPkwaS?dJL6!>-Fmd6hY~@r3|5KFBjHT>c&#_?0AOL4)?8B|)abY69A;*e@%Ux?hkHLHJpj3Dz#Lm1cK~KTohu8kc?tG0Z{2Rk=Y2FS_e=}ml7OoxC zROr4;$q}f%U!(d|L`yc(Y|at0RitFR{O{>G4M3BNhG-TK%~8VTkMl z?GezX8x5d13?PDFa1oG~WNia!^O8`(ga6~=NKNiniGy=w7w$p6J0%F%RhL1OO>{<- z7)G(gZ3O<17~(?}h|gchex#q9+-l<2MR4ftWrCNkUxDo( zq`CPOa?{6a;T+hw93T|z0a{M+u1b63fbm|m8>`HSo(cZZ&#vGY#$-%U1GU=ltv4R> zOM;k{;MlS8RXu$AE-Ac^F!``nviSWf5m@(7-*=rLYqlk6NiD%#h@EkO_$Kuzl&YHZ zCB5-fy8SVrQB|FVYSC=N2%a(onj#aql*%NsQpopw1WD3<%zv$BotPcSOLbj*xMPJe z@9OP^ikYRw97XcPvDj4HRRf`TLpYL3K4!FJ$k-B5d9M~>89pORNSyzASc$A62Ru`} z0oQp5Z!gK2RBlqCnwB@D=nYMI3+STB8aG6+vmb+()~d3^ZBtEj#@d#8^Lu}xsRPPD z=7uus3Bf4K=*nNlF(I`RM1Cc@Gu_njW4KByd1#O(@F1LG*8{Lmctz$bEyaGa zRRXlrHP?A66hvUdj6foj(G~7IRtFd6ZrVd*Q?dl?9?(4_@DrvuMx>1aN5^hX%lqpP z%d$TgU3?}BiC<(RUvWF-z${hJ z@wySn{(&^p9$QP=Fbs2wTpT3E^IS8|99#8ndZjjw)^rS=<4vE$h<2RQI@WRBvKM;H zV5aar8*r_;s6*8G{cJ6Qo4ikCP$L@}=Qsh}yhmo2Pr^J$>|I}9f z{mtl0(cWppO5A&LtK4Fh(o|jL+tAmON@;*R`zfly)tPPH+}ky=d4qgo;Q!e?W5FO7 zQ)ATZ*~;!k$Kxh?AdgL(Z#}M>JG*Uf(Mu_;Nqo^%-#YD=1e{P+X1@{Ne8JII+`;vV zspYFZ;S^(er$|!9~}Q>SNgxne1vlrZNwoH%`B(vJ-_ivQ9%> z&>mUX%$bruA%rItzrXGgmDc{NF==m#Jd|)!wxY21qOmbQ$(WlmZck3YeV>#C;_kX? z5i)t;>>s{MromfY?D3=zjuUR30^>jkXc=J%S#AD#D!aZ&a5aOnsoI*Tw$Vo)!VFwZ z^ZygzR;}6UFy*23&4wu$v+eeXH)YC&WB*DwH17g@yjWxrN{jO_{tlf zO1i4ELFw?{nky`BE!{qzbUNCs|lW+X_8LG?`jdCXWh#>T& z2coK`qCaUm{_kML$KSjVa`2zW&9l`Vx@77v<`-p_eX4V}(w`3Z4*E>hA6Gu+NfV4` z*Jo>Niek0I4DXDJ&cqaE?&xM>fVm4#6~FdMIu?-zMTMwalm5!2)DJ@Nk@Omp=b-JD zjxEo$#9I>?sHP^pbQ0v&1lK{dMa~XsS^9b&P#T?2aPgMr*rAksSw1Fr&kg_1n(#kc z+xlCMwKO88OM&Xl)=~#JASb`FZ3?vZ2<0p*$0!Nmopo=Pe>j%3h=$4a0{&9Sx)4Vx zwv=sj9}huU9p<_>@7LiRMW(`#U|v$l*&X(+jI8u=s~!&WT2EWHJ``rVNE9`-8~!>i zC9D`s`mI9pX;$0wC9-iUik%Lg1!=0PMqwF22w18vw!sz!lWH?R$h25g%Xp>H4%oc8 znIVkYn>do47G0LwEtRV)vOe#>df;seC~If z+j+h5q_fekeDqI+VFiE)8Nrc6WyT#Ups-7VK64nUl(4af4u2S%0jvwwh3x#w!N!5k zyDU};gMH!KQ1(_xa-d5I=n?sP`C8WlZ5r1$V9xx)>02ijWW zgX|UxGCy+k97SER00Kf`4>AJbS%tiuQxJMsP5zpTx&-*M1k^b;NF3RRQUqAR_(G11oGcHe z{X_l@mDd}0U&!$|aftFMHrz1m=;v9pO)5Nf=5gf$FQ8WpZSqq-Q$3{D|4(irb1S;i zkCosc%Sw4rWTO`sS4iT}^aN=(r!)A(a<3|*Vm0_gQ?tWEhWsD|y1J1G;bIueBiQZn zx`I9oE4Y+kvbs002q@zunP)12D>3m4)=_IE6VKG=S(x|Gk+`7glri2E5f>a_KqxYM z&M3$V)8UjFX1J zf(=}$?lJcO8x_TaJdO~Z7&48Ct_-9UBLM3P$1`YlydLU4KS?UUq4xVmIoB9VoC=d9 zC=I`dG;eqaCgIk?LP02f7(R-y4En^+%y;(3QF~Y%rB=fPy2?bJW84=|&$h%K8m80) z2R;glo!n;JT#qr*BdhuCBkNQx?>G`O!#7Bom3YrJnD+0arKI?n5F*1EL|} zqtFkeyY(Y{yG$0J7aS1^YiHw4D;@Tlxi1Gk4UhcaIBOQ62L_2`>|2VE$+7G1bsRh? z{>xXZoDoJwv8AOE%RmV5B+5ZNmqEQW>Jzr+lKZ&Wyq<1*F1p*h!#MMh0v3#DtYt2XiBeU?JGPC`-uE=&n$$-xS}ICAe4kM}o$@(z zgiM=qLBpYLB86A7FEtIyc7ad`4+)z^I6vOS&Ymh z*Hol7dGH!Ev%0r0T~p8iV=#H>fz;V(=GNJ)GkszY)V1{4$;7gB$0VcISBY7kSYrsoc?Yp|U->qykhLHQb1-L) zn-DHEC@pXYrAEMNDLX8v0re2__Bxj*+H+1)6LR2<26sPpL~yo}^|b29l(KM_lhxcL z$!)vv#X#Y&^bRFoe(`nu4HhYYTHD&^Y+k@Azk5ka2L8Zs>k z9ypV;8xLe`mVZyN88yDDtBp?&d~YmHZolr!9eLtI#ub*M!n>BcJA(B2-QH zR}^3&&UwL}NwiIIsr!_vpkH6wv-w;8VPn)H25Vr*<;RwicGF#IX!MFjc4Ey$8EaHFKuu$^N=gqRSH@-QLIURO)($*fs-W%50-M9iDd?0ZZokAX{iqLE5dFm?qc zBHN5~_Q75|+Xkyr)3gt4!k@G`760U0eiewQgy9HvP$~I2Sx_iMUvXqAc14yuA|d2> zXKCek6R`0gH#g7)c9HFk>btT~{L4UPN(JBREJTcLr!|b!+Q$mRfRAk(_UT@H*arokb$~rDLH34FKdO z$uYry|Ahbjb1B;KEN;z`NRlJ z;orgG6oxZzm^4G;V8W&jwM+75o?hVGIL$KzEXRAAlnF|bhAQx=G91N|6%T9X&`+i1 z2p5_=N^14l1owTS(*l~AW#ZR4Umd~kRWXn&f-Y9nzK-4v-sOC?;dofe`^uaSuv@>N z%YX1j+w-`5W6b=WqgZ4|WWADpnW5la;(pU5uL0cO-}L2oKOwyoGc%oyxTt{5t=Ch= zATffmIf0|E8f0t_69N-|+J7=!_cY<~3%5>Pn#vh_@!U{n`Fa-PEgN1amhHBX>jv~R zQ%>%lS7q|%+Hm2tWXKuE1F&A89BI^J!P4q1?(OQyn1NQ;v$ja^0!Anrw#qCC zi`g!h4}4e+KF?dbpO8(kCb=ACs8xE+h&HKFUa~duPtlwyCTC9eJ~V(P=3soqnG<@W zE>OArL$UlVC^s5i+i+JmD^-Wt{7`qq0pU>oZE8C-Bx}>A@Rjafx!c1#3Pg7|Y;~Wm zN156WwOiu$BtySLwvB~8jTUzw6$1u?sZfs(AK#(%14}J9-;Sne#ayd(WM4v z&p|C{5}dLIQA51k?rMo}Jd}<&kEv9p`({m!I1SADhum=|sO^UH+Ll6BPiR|wR(Dm6wNqd_q{^-Y z+4`zYbpWp-X;`A`R>V@UM37=I{+4o{{L;Y$ z(nyiJ1Ig1ct{l+$>sQLl?kn$)jZ?gfc?qUj=W1T^JJ;Ff-V9FM*T!0PnqmiykK64R zp`uNpw5--$pnrI6(pe9=8|hjErc|wwkb1b`$pCz?!+(ZkG+O1~r#+i}_zt1tk*FsK zCJvqthaSC>c!3DI)4!cpIPM;NGCP5+AmTKR$)|1qq(Vh?V>$b@83v=#;W1F=mP|b7aH*H zGDMe~Q1X-J)pQyuAyL~-#_k8X!Sw%g2jmbl4|Ah@TI}BCT@IF^$4_*`AMnofw|imd z$T)dDJX|qML17J=Q#_Q* zeW8l*@b#qLYiyAx(;r`@A=ra@A8RXBK0kbm+1?%TR#%s9R+c?cBIMSeiGyKyjSklX z-zJS~;PV@0!KcCtdsCSnh0k`94745PR+KvtuYlx!i4WuTk0y5|f8Co?;(r7hOG#RN zzlJ}a!jANOS*{R2&$g<+A>Z@_jQ>9#4_8V9I|eu#3+w;-I!pZe2?vrcHy`w&T?EkD z^Os7=+nwM{?YiJ2d;6>ShsIsV1W|abWzv}?79LC=2Wm?i3XPPqS^d1Q!H}BMUlny# zbvM^CSP3y^cUzsI!1voir=w8WxG05l-l55zbu)@HnK8mUmNn6&gpGJk)o}UNzK{)ZZp*8^>_%ocP4kBcP>HaZug4< zE~%X7E<3>+FNdst+>9X%Zsjs&NqI<2i$jp5-A_^L>Un{qKkj z)z&*8A2n?Aa{cAnq&>L%5<{Ws-Qwk;<_V8!YhI|q9N_cfNTE$Ct9smsx`vw0xy$Be z&f8q8(ui{0y0*N!ii7G96M-)byT6(FFM%MvJ+3y*k^wqXg``BHxhxzV&u;OGoU_V( zZ8sBX$q9P>_8zoDBN#2Pm_m0|bOd{_kX{P-q2FGTf?VM-mHpch9LQY{yt zh-RIp97x!JXf6wP?d7CZ=Wt=}v({ z>2ti9u%VWSu5z4P6dXHeMSEAIua%+U>ZXMA6nFJduOs`8#<=gAEG{88gqK~7q>zBG8ikAk>&JQ?wTcG}re=L{K7xe5GDK9DIQ zq_aza>!gQLKG?)n$Jq_A^PtoLVB;4PMZ2J0w2I!C*M4FM{1hr= zH~4k4#>gQsbF8RfuX`j&=3H>Tfl7dvF9!ZxEg}36O4V=~9nm2^9q(uja7q7~*u!45 z{SEUC9!&_wvfC?4|0spP->mZqv4~c^U02X3jZLN1n9!aZElLy1%5Gcv_!DkAR-Dz9 zsp}jXLD(8joOI|3QDN2XDqhmT+lEqsq0c~Z-m4gv?`6@0HPdrYr8miTLR1~mBOtmy zfsPd1+EB(lFR+%&Rei%1sQPB^+6^^B#7oSOqiE*RU=qC0uVGLT#@`>Ju*>`dPX(^z zh3nUxxz$GvNpt5Vrz@U}%Ec`R$JN zv}R7g04t!%np$LxW9AbV6e`n<%CefeGmK*9cvq90%(jY6amd8t59X`(Xy`CK9&55Kxv{BWb^rquO3)36H* z`6g-m8 z346N8OOYp3h*L#apnUm^Bz#LGHL*!Vi+Z>@zLP5w#HC3HNI#~p!zk()pC1QqR^EkL zksUqERp9ukyfFTGj)>?uZxweLnU_5F^sRxiaRZrxR7cr+#6TyNXPwGKYbXA91k(RS!nlo{dVt%=~Vt>hOo#@%fR8suu@P)qy-3V-nGpz zB!7bFo)Q*}ojAuQUSOc@wbI{DH)d<=h zXo{6i1n#7g4VQvI{ug=*W>7FY|46)`l$g5ML|eQz;G^ptu0`XV5$K8vYb0Q@6r!V! zi0}r7n_?dVhGFq!}T>hOg-JukFg>f9(J;7%?&b3mO%Uu zvEC#h!pxMj?K4AzomA{9Rva_C^0H|0%Voiyp&jXyW%I7T9m|-Su(` z6CTPE0InSP3OusXk{j^vpX0ayGmriB5yH-}&IX4-6@BMbNuP)#0!NI;79DiTWf^a( z%ewEXEBY1L?MpS(!71;58huSkv#+9k#Q4^-{_(pK_FO1h!(H`yp&{t$NT`&w`tZH- z$Ye+9=zK1yQffCeL{1|y)>a+Kd3KU6IB(xxGp?sKz*g3#dcHb`D3}?G0$ce;)h<J4D0HDt0m)TJrC@hGj*?stx8Wc|WORZr z`E>)+Ajg@|K(R>sb3`FFNU*G;_$2hVi^ZRP<7QllB4;r+h+ru6-c1iD_19GJ+yE4n z3-8~|M?&{j2Z9bRd(Xn>LKV0ZNJ2?qf#ck8x6cEjjJdP;-@fc9^`&*CDR9aYa5YIJ z20@>@X3FuRz8t=sRdf`-n`Rij1VX(BDV1 z(k_Ij=MatQN>9GztK{XR0l9@N#g;Q&k4%sJP(g-UEj_{&IY>2nwbfp#mIwi4a=c(3 znoK{(Q4q=fEpEkOCMbuxu0O)DP@McKZ`r%@*rQO(!P>xVXdt+;ZlPRR&9Ckt8q~K4 zM~K=N;F zDPu2u16`}$J2dY&hL!%)bK2nA%VqQW5rHo)ofHzfszw39+BXi% zb-Ip+XOIW19C)I+lQ%l7Qd;vso5q8hrkbvT{e?Ww6p7TmyR0hT`4iKsCmoxQjFE0| z(3#?p8KeD?HKtK_prItREY$ZQmPS<5Gwx}GY!TUCq&Bj%u1(oEE`|c^zas{PvGeLU z`{E;72=N!*5GBf+KW4^b$x*G`P}%u}pD#?uslk8p=|LXHO^y}|w<+&p)8ZK5*Eztf z2yd_dq-$7z!*v|b`e78{ZVFQ}w-0R#w6~j5nc6Esn8ZR~6!{+hGx$j6`C!a9u%%lm zdcu?XiRV?Imxdl_+hz+qs{YJlyMns@DR+B$d|6O;ZKh#26s7*@wvn!U&kyeRU z@06m`!R93HB=C0k*W=>ksQ;5J%_1EPji_#ptCk+2b`lrD$WnpTGI&Wwlq6H?$0*d0 zE9{x+Kq8>)(BTt$lY?#=398z6&$+UHeEHLlCn1lDeVIJ^<)m@%D(cK-R90M!qNJ!y$6=?SvC9yAPHfoi9-!rq&8RN>lI2@;LCu zWL#mReIPMV!{7)Egk?Z`6u-pwu?QmLDKjRt#!^_W4@JGRsM&`n>Nv2+1TecFL}e1W z5BLT4nzcIS_BiAvQ?HEnui*=CRnn&q8cLt*&d*wi*?^La>(Dkk)U-Fs-s;nk7?2ke zOJRb^H?2=1h>Z1Bl$|FTTGUb9+Ij2=eup%Itz(PT%0;GrZUIoU4sq_wBp z*8n%{t*%axp7*P#BWUW9V6~6rX(?6?X9SHeRs|t_LC1p7DO2<2KJh)wflHMiv8fru zX2<3uwE%OG=UPoKUqAfkW0+BX>e=6Z^Z7GE7Ow~NMm04B^xaq2I;pQen^z6@*%i`y zJfreF$N$>5FflJkh4n}F6)vh)q%1;xck&NB$Y9n_PaSa-@!`weEydOCPHlJgv~;eb zN0WUvZ|ft9uFpCPh;PN9)E3^%!(|ah&ybnHm4K@VB>AbC=l?>8Y~pi654A+FjmWlT`S^32~~gqS%4*y~jN zod6unQCyT-ZC&@AVjlu+^;?(+4459Ikk1sUb2k{MVFSUASH2hs!Tkk~UML8XeqpUI zJ?_f4Q!u=XD6Lj;CQb@Hqyq!392-YUG?`lmm}YxbBb(m|)!k85ADZ1x=Y_c-!pw(Gmu& zar0^slEO(Zu%uWSRVr90ZMa4oLZFg!`S=Dtf9%Lt@a6?_GajsZU#;%RsfO@nQ)D+W z4xey04VlZM2z4hOd3jW}f-dls0p#A951*nrBYpY@4+=#NxJuK+_9krX?aZ`Q6=3!B z-7q!(gM@VRg`c1s;O05h@ijQ#PU&-u>dB_EiwTg+{m1gPTOT*lyFNF7A9Pr9f6Q<2 zJPQ584E((i4{2~pq3I)G!tx(OdF=(9BaKp5JcMgz@WrU`XWxF!gP;xzG-1~e04_55 z{QCcKDtK6%1rxGxLD`yDD~hl|x&PO&=+@nEz~@EtU(vdCehDLs876~;06%2Q)HlM0 zq4Hkc5+NdxO2J8y4lhAS?%i?yX`i6m!W6X*R^-;)nZw5Y!W5`16R(|D0Df8q z=Cu%j#Yqp5L7}F-$HdF>R?9tHrc%kxkVFWhml4sS2muivhI5#!uq)kFWij4i+9Q9| z*HiU~s#nwO8o(Ks&5I0dlVl;AFD*OO=XsmRK1^jqb)S%d9Z|Cn$9J8OkpXjNy+2Id zGP0}Hp@Pj{3@M#Ycq?`W0 zP(_Q9oS*6U21D zc~&sR>T*}{#j0{+gqcVQjF##TZN|xUh#rM`ks(BS{`Uq+p;n?=;NGdTba;0YGOVFq zSTWqL?R@U7I|k&-X0aw;nvWbosqnTHzga&|9(nOlm(_1QrVnR_W%oD%on1d?|9v16YXP3ZpB()_FR?MXM;tzv5xfCe zD%>D6jI7-4Z#dhv!N0_2reVzWSgwu-ji4bfuuUzSh;p4TaKqfyJtN(ELr!q`gAy`$ z{(~;Mb=zo{s@dgdxNX+%FIhEpLN&`VM|J{=1!FxwtQDG(m1XVs&!!oucYa@49NF|3 z)L@&kB@14yG>B#aKSyCSVVMx$@yxi%(_`M2h^tX?X{Xuy4zUDGerbjj;blz^Zd@H7 zyx+SB2rBTtBGiN3+_+A`$Y4%_moa$7nb#McM>ZuM(uXLsInHS*%rBT*Sjo-!=8PVV zuH|FrOQuSVhR48ss!a?#v-r$t7vVy2X$6zG>JV&yvxl|4dETYrF5igT6Jb-49VFv99)sSPa ztTexURM&s4W%yC#|LVa2MV1z~d4Ndf$ZayU*EHPTilj)e<_0T=j7<`~BWy}JjS5u@ zWwt)jW923T#xw@(LotIJ#xO}4DsSzIA}Et3^$1mVc4r*Dl1dtKn$pup=aM0yvuI;N z&uAIjUP1KG{`jncMi9wSu|{f>ATIFhJSDfqGq1_= zZV!e9bv5nyaqz&LFVwvy18WA;74HRa&MRMesuPq3Bosi@z$&*5rn=$5MFgb(Rmf)+ zVoa;AXJ)cwvKR7lZ#0-qbEVEco;6(Q?J_W|vHUG0kRfl#bbO&`#T->wTJAfZ%GuI` z%Bl=8b!}Kk+UUq~mx|A4^g^?DOx~7e)#^57VY}0}0Hbkzmbfh2^+xxg(PO zP+p$~#7wTRpMsV>?U!cvWcurOwu&wJxZfFb1rZ!ytoe1D98bKKRU8oDoxlb z24=Sn^#yeO+;b;L`Mk?0F{PVTe;MdA%tJm3*^Tj+>Ki*9_nAe}-X8z_xR6Bp8}q}5 zREAldsyEyA+h178qNl5ea8w#)iDwwh7jfh_0Mi176f^Ma*v)_#>Km5A3UqF@V+t`- zBi#+Wazw1=)Ed-c49-M2k$;z@1T_Ple1_zae5DzDTpb_1WWdvf8Dg%REJ!Jw7q5_? z%)x85yk2-FvDc5NqYhn7jy5k-ZZ_<1^Jr6g%*D~ZPh-crQ6VZJ-#~zvMHhx6?^Vv|POA>OnvM1T}yTRE(hnm3~$$xpL zYR}~v?)Y9MP7Jp=${u~-y!s+c?ip<0K(Vv!E{nP7Hr{%Ml?l#QM8+Ny7Ebv07LFMR zM+?ZfVZ(uxaqzleMu88R{3&YuquNp0(p9;Lfm&Tg76zm%TtJHH>e|S2w|xX->^P> z4m?%WMi8IaWZZHnN4;jy4h(sCUAk(z+$O^KAkvw|`W_Sa7?ByaN#@WVnK=O?U{`pz zNXMH!Uwd37SgHg2d}8~QoywyID0C&~)}u*uGbXe|#&4CqcjJe%5#oYFqIoIXd7)8b z3!HL6Fb}k}ae**DH1Hfhk?D=-Z!Sn8nre(taYiw}5uYVSOyb>wPvQ+wicHmO5i5Bv zRQ^!T7|h6YO4pyOh1MjaiHG_ z)_IO^^g8Tjfj2v_PjR)T-62K#DV}D^==notqjAwsC^)`7!fx#@M1<$f!TE|pzVoZ5!>g-15DV}o;#9eB`k66 zgD{KDZb!-Bv3Au^Tg`;}w2fCk!#HtlnWU6$#KFp>Q0}!SmRC)~!wU^}a1o#s1GE=; znoQUb_(QB%VmU%q`{2NlG4s&y&p!vGt*J-C|BeR!-@z7;B|_hB1S|XD>eRzf+CY=h zk&Adun%~X>z?RczH-{M{wMmIgY}V$#HVnchTzjHHBzZfqSsdQ|8dd1jhtN!3cxJ1D}2rn*y>X$3WAY3))_+6*m1%KhNd|(jPM%1m+DWMZ<$;Uo87w~uH z4i`myTFRYHfCBZrV&M5It)h7ernes3e;4QChw^N+UvC z=}Fc7c=-buUStp@@EgOO{Hy>SNfE1|zVBjH(mHFj@jn+*ziK(CvGxQLv9b~APX!%c z^Uj!?8nEv+7p?Un0@)cIGVN2aQDo8&;}@GXjWwX3HS);5vWyd{jII}`nkn)%Ib(V? zTmR*)-8}M8BPahicNX(n4;qI9%*0NhZlKxzOdiih0DMB&pT*F-qKED;=U15M6YrU) z=C89bT>&l_I~9wzsVkCOfMbfO^8bZhcGmxS%QgE>J|U+RDq%E-ZX6>2Zy4M6;s^_r zwe`Oa?>HhT&;NFL**Mw%2ZreY8P5$#wEvpCw;WI>nJ^uVzKTr@{03$hG81ghepa9g zP5D0pLnPRW2md`)o>xI(vnH`)gH~+Y)YoUhQN_rxcz-bLo>X603U`ecM@9Z)kv%;0 z5t4B=RQ#*`YR%KmL~SU5DsL$|w)#=h`?R2wF=DWC@ickHfCP5qfCr}pv|9AAJ_SpD zl$K#@U<|^IM#w%X$cZm_c4R5_8uWheDd5SA@1BS--J0z|2Z6K%^2o3Y!#By$sR_$B zk3YfTw6}bOCuvm&SZRb27iw`lsaqI0?k4$!oFk%KM*gf1a{cel+0*#6XNQC$>lLw= zuHs6>y6zMA(lfZ`I{9fp?IZm36RmaOQH3++q|0*NVcEagYRShM4o|ED+jAmS#g5eyUUiE=t^VL*DHkL1DHwEG z6&Jum57y36%k&N?c*eU%|5B`9HV^4bzodP~ABTd^J*!zOX?0LQ9C4p9eX(8F#d8bq zDI6BRbgD*ZVe5q^qm%qj&a0X#GO)hz6ilh{F^+NHNc1>)ti6DIMIVYnM9WyC+pTop zq^$;&z4C4*Qq2I^&_a?z8~=ob=Fu-G3w!L4BM1(-Al%`HSELH#`m{KyP%b?o+fSxzaHT;zM zZakDL*i75|of*|Zs3JpF6&oS+k}2-Nrjlq{<5F%=MJ0ST8@ZB7GQ+rUbbot#932jI zr3!l0mQ&iNMHXf~ku1C7($0_bXljjPtX#1h^V6{=LU838)+)K?L# zWE9KNSW_TrFd9Ldv*W67JxO|XeFomRfvvzP`rCKGnoJZ*it@DMheh+DV;flwQbPOw z^_%C$!K6iLjhT~l`AU`hJc23DOR+)iqM8&Hu>UEwgdr=8ME-1fy8t6wRwSi%fs2_* z6G&&S?_8Srz)~t6>}D22*(c$@V0t~ERbiBYOAC-)hP&o9FFHsfvQ})I2=u3ksm*o} z3GO7@jg+nYD*6}0;LL^xuXTRHmPJ7Z{!{)hiK(7=(+xct8(c#53^Y{9Z9tv{t0?SL z^XU-Jw_a=OY09eui}_mMSoikNx`UvsJjXAYS!Q53LJY?^~DV|C| zYXpS9=?SfB!Y0p>)i}mDL^C)cLA>7 zd+xeWne0pVFdFyKYop>e;ON`B)A5moB!K?Uh@gZ8d9VLd*jq)#(QVPfG}^ekySrQ&EKtp0P05B;jWg-Jfd_sM zzCg9EM-lc6VJDg8R4wm^rwgrr2^%ZPJ?R|!3(#OTVw0n@KPxK6<<4?K)ck9Oa2eRK zIz8#0);0-7oJV%^0!YrYqO^n^Sn05n*TDIoM0^Eq`EE*&yHwB zH-P6HK^(~%tqMl9f9B5qF7~fyn(>Ht6gvWKlC>g*R0-SOh)G2!=NYC!-v%*`YK%z^w;esj0WX->ZP#0eK(%%IBgA~nJ(YSH8|(3~ z)xOlI?nMTa4nKJ={I|>WJ!+faY}6%1_KWoW%U4U@Fn_CUqV9CCdMr*_4vQK|r3bG3 z{RQ}3Q{9+1-pj_5_=p$MglZY14rra_W7=LPSj z$0R-ZBRyo6(x$RUD82|9O+cVbCZ?Y@cI<58X~89^RU;dR)!hWus|*uNR6ba%RuL%6 zRA8MIq^vwCpI|pnVu+A2%vS~fsM6iCGuW5Ppy$T;3yGN0MYsQ8F>}{ZEWRspStfJH zKRa$X1{~hWi^A3vDTHAA2%hXN_9ydQkaV#V0fa*fM@LD;^|Z!Pt7=U{4H1g2pT(`8 zBr!M0GA`C<^8oRYAhp$JVlCRnTZGg9z_DC$Bew4%F{A8z zJQt3iN3ExB%9EFGbp(MK}z-YeoJ@n}{Qu{M z7#Ralgvi|!vlx!qC1gdH9ss){z#|wNkn3swJ=8Uj6bl<@K^O&1fg*n%X*Z?h+h-ea2@h*#4TC2l^=pl|%KHFtfCAE4R9^PmTAm4Zs;g&@3_T z$03)e%VM4mFY))BKbg)B@$pk8#*B{Tlo%2Ryv;u-eky8Oe9C8JHe5>JS)6|*fnsXA z44Rfg$^5_uj%-By#d_kK@%{YP+e^X;L~P@Y0?Fv_40KaGFJ$1AHZI3>>AA(w9J!U| zJ6z8QL`o-LA`joouY}^cJ*S4M3^p@lI+#EEqc7Og*B&O32b0$kR zgU2QccNQx^h}`~rv)?sOukm+O5mcsm3oSE&j7U75;20J#VR@&unn`SuO z4|{VG_0*j5h0jpuFIn@^Lb}0m9_8g1=*}+i!o9P5ES=&Lu`)ex$dfI<1Q|hpLByF{ zw%@+YKCMa`ma;$gN4$sham7wD`p!LE;gEoJHyf9lLug|nz3%!;Q{Q8IZ*C;(hK=cUj? zE+6XbHS~y38EvVU$d8c7Iy&`DQF>ErBF_ux@12X*Mt^ZtLEDG;x**6ZgRXDq^$%U> zIyJHp@>Dtg@3)^7_@BG?0O7n2*#^z!(|E))n9h`l8O)+!=kA-`)lBv&MWxdZ;-(Po zN0ft=MVhMz97=w;t_{BKAs^5juo&jSrqJYiIAYYItkRCVXtFGui{qjx9g9iG&{tp* zo=l2}B;G{>%t0{^45alm|0FC`jtD!Ll6NLzG(_2K#Y!<46}{lYqrmO{T15Omc7E_x&5!n7d z1vK7WotGQi8uW@;byz*rwvvezJyy*zjzXyooiV4cci$tm6; z-5l=@U)J3VBp$_G2HHXZ6W)VKH?mya-%dfK1A=G&k4GY&L{yA67(zfOLOLo3kQ#-D zmmQ8-?wh@Zt0f5=CpXW(^?)gzKMrd=XrKqf{?R|-N)#466v+MHZ|&zyjxY@0i5xvd zh}YHZg57HRl-<|fPA<5UvUOrl%44n9gGFSBlD;4vX2D^^vIj1+WGNMnqsHP8qv=?5 zV|+D0NXBuVm71^|HY1*)Qq|hD*wsIP>Ie$#H-(f)vJ8*0n3T+A#ReHyAbh9j#F5xn znd$%KcC+h{heL=grJxB%#R4-aM>SM!V`6p!#V3(xiPz#9b!@uW4&gjRuL*zllbr{1}NQvDNpAZ)5 zcN{q#FTlJE8gq2w(+5dNjvAfgWP>|Wp`Eyni%qYNQ$>Lrv9XGu23~10J(p%IpTYUW zQU+u5&^ig)28%3X!jM<{#2ktBmrL=`>C*@CB>(8&#uS{Qq4N5}k|rIPN`-$q%t!+O zL7LK{@&(y#b0i%xsffYkcVffgs+Ne!1f@ffi8cr`I9`VYc7U>Q2!7#okieoajDf@A zI!cB&jY}hASh{c%R5KvaCkR*jE^@D=oO3urqi`4vM3-CkU7_(Z()hTl6|)$kW=DE0!=-lufD=v?E!Kr)6TcDQQ^4OkYKzHu+&9ODR@Wg@Wh!^ZLEZ zBRv2lg2()VW*}rrQRa#xQ|nQs#4R@lG3bk+d$ktFj1BRL==pi^yWiR2I|aeN{<^JpJ=$3_U*6xozT9Yc+1ku2wwLE}o-AhPeh2-{yk+O>-clgMc#B6mnioz?|Ca%Y4xF9ZkM{k?Qt8JoDy`p?^%H=wq9&HInR;Iiu$*22wmXUB@( z@1>l#V*}7zlfPew@47F`VW$DZEHn!wnx%_Z_-u`% z*~`-Be5T%*v(0bqMm5%MDNUdmq6hydhj^8xdC+qy{=;^ZuvXm7{igCP_rs~<-A`H2 zo~!OezK#8%@ww!=#oPJ33ub>9Dg#K^3Z+3GY73ICA=IYfk%KkM78oOP6LmJP%*(=# z4ODuc`B9Z6|F#iEd?#=q0uYyma%bhoFIqJXtEAKtZ*<0inhGZ~tBw+HXveq<+Mwb* zLfzsy7k6s0s{MZQ^S)7A_Y3(K-+Cx18m&9C%c4J|u#)x11|;l62n5}CETRn&Q!HQv zq)Z@#90C-m4fy@%g9T1#dbCyn^0YmMK`!xSLm0c=6b4MU30wX3Uuld99OMYZq(ml# z4+-jnfz?YhBt}iF1Y)d3AuJdRB4VvHI8hL=nL&k<;RB|;ft25jb@@JEos@Z`83yu- zXzfE@LOuczzd~YCXuG23@SV8umTnA`uZ4i#91<}eK~hI*6fShNqmh=s|B!EgdiFe$ zB%Sq7(v|=^3y&uPz;~2UAQePJT<{ve2mA4)b=>J{W}oA@SxA@&7a~ZB>%R*>W*bRK zy8!9&8nBwr>vs-#3FSh}+?CU&j1ZHU>G3Q}j54i0#u*H2{x-M@EM%HtkdkLP{v86n zC<<#0VGS+2$MKkcmAh8i!(n~-dFM8}m zA^_)S{P{;eBLuGxeoBl1OzuJlKJa@9lMsY~xq($``)ncsu2H(s?efBfGtH)jxjGTP zOhUui6Q;!_I2wIp#>zaHy{+scb*}&+tRS?Q!-Pk;z=Pvx#~q}jgNu(gp$;*FNGg}cp4>xJ4=!`|N7O}$m~oBL4*=n=;$gDO;r`XkVGR`Q3t zkpuIZ2Y216_|1<_1ApJ%ryKLTQk{jLchX(jwRLrBhD<`a)!$(PG<>3b>x7$w)8>*E z=rZgBmp?$F<`S(GZ5a+L0`%sP@>5yK`*~o#&J9nV3tZH8^VLjC4vI#Xi)X>SND4mr z63+JMrVoudp6Ey&E{5!x{>^FotBmJ59^}+SoRB0|J>aYl8JwV}?RqBScrs4hc z8rt;|WntwXf-<}UeHqAZE?x)7pDvT(kv=CuzGCoK?B8P=eh>lo3WmLJnk4r})lU)GwdUUd=ndqk`}3I8LdpK^18Z)4Kkl&QUI`8 z;KW8~yDLG8lEt(01?>3f2mQ@4jeCxj18pASu$86{%wmB&n)wmvcvAbGr{dgDWP)ac zPhsUqRC0^{B#%DMITErb||8gyn` z3MigYa}+@pT_Ij3W`YW-!#)a4aU>f616_ zzgQp_zWz(bXzOr=G}Q*@X8AV>+cadk^C$T~883vP*i8OSkJ-ju1jQ!*zx4i>P&KUo z{&vhZ5i;m>9B`ihq{nDG=Y!UT|6h6o31}w0{~bU2A^Akw4BKWYBNKt#y&YU)pzPYy(YOrN3ug#FY&WXSYO=1;g!5BwAevGedGBa2g^ z@Us2iX9zBK&VQSr(j7T~9H9J#`T3u14(v&64N0kNwT*Z}zL<6;;4zlE;y717*e)x+ zRm-uZUcuI??wbYJXnWagtE!V03nuHOs#O-&C23-=tE&toL9R(_*fzyI07x&OzJjF6-gj(1Fyg4o#qLvcqpK z$p`+ZSs~k0C#5PlwyLwR(k`nUPiXZm(FJVqW$)(iIw5Ugg1J_aks-Z+NjT!$Tk)un z6X9uC!?>Vq1v~_5P2;p!wA5uw8o8BsCoM~-E&&d3@--m;>Oky?qEyeSrx5X%MhVj& zfz1-;Lc9hb)q=+jS%U7XVbz@j8lb{xBYhj7BdERxVwMzlfgF<7uIeBXn-Jz6EbL^QA7GAv``TT z2oPl;&(VybX236F>&dJz(6#E4UsM2_kv`=XXZiLa{1)!{2$J9}1 zpk@N9`!bwipWp@x(Huu8y0eTX#V`aye?#M0))cL&wnw-2LG@vJZv<)S5=7%w;$%~1CCe4_Q1xHp=TF;dS4r4`-Th=vs97lV* zhJth7xReSe6)oMTH|hZd_R|N5X2(gUANE+?p~eXbR1TeNyfs@ZdA%LlAscs|p8=`| ztsHoA0vNRPeo#+)C(r(QY~&`blK4v9Q|0dgay9fzVcAMLISSBFb2E8{EOQ&J7yp*M za~vNwhzdG=Osu8}3eiaUg1gBpW%-`V)B7S&a)SM~?cieq;`s45_E_vmnjpGtXRD|X zKI9550b+g;Fzzk_5U_0IL;F1;zNReFUo9y%dm|%&+e4(@*AMy=C)rjc4O%5evVW5|n6~I3`ua{Yks;iR;RXAz+ zSHt&>*8OTpod|UYg23}+0^__Z}!U`J^Fb0fmdYp9x_b{)D2%*3J&UPhDvEdD(itF zG%9Ei?Op9j^-FPM(8m#lY@jf8V6CMMA6icq6gu9U`L?gHUkj>S=!heYJGl3K1|O1O zN;=`mj*g$7R8zrMn02d0!tnlJSVH1HOxev@S&^fSjr%aox0mUDhyj$qSCl*}GT9(&Wzb&}YK2HWJKLzP zpmXwh+jsYU>v&!!p+fT6d`|CaqJGJ9tcpiUxzGEE{m2VYQ8BSm8&w0zb{#+G-GeSH z*Vq7>Tp}@#$HY_KI5js&C8y(?-S|&t*hqPC7H9uxi zcz!1-?ylmFy>sqeYOyLk@rmN#-NcAe=ZChp2SW+l<^<(q`m#gP)~rZU-XIL6DoFNWX`W2X!yydb z2zAGK94vYjTPxk23&iVCZkJjkdaY)QNU*3zQ&5WH>Mt)3FtI*>H_EK+*i$jb0l+vr zOd%F+sWwMBpyrC>YP1*DjUn3=8F9ZTT1VOy=d>?SnVblogGJ7~_LlK4>VO7R$pSf} zw1GGSyD>+~+o~C{*SQj?si| zX_SWPdl=pUK{oSeT6kj?i{5F3!>1W#gZekx#dDzQ((ISdD z6&W(Z6;Gb9pW^O%8I~CXwD>bBYIMLHwzNL^Z9`Oy_bwS;U50=%9+_2zRo{+#dB5OPEYblZJF%APMLRg8pin{9rLr z&qrD!r9Kz|G8R2kE59(@&#e?JZB=SMoAeBk=7EZoXVKggR*gH&EaX1Cdc^n+&jTz9 zildR@t>asiv#ylI3SS{d+dhvC%mgNm<07iPwtK}l*u6#NxtukVUyZ|fpr`nFcd*!3 zRJ5z~RcB1u7ZdzQ|7eC96Vz$q#67{be96aNF@Ee-Dd%qati!{eEcPQY`xPcyaqP@f zv1Nf`0#J22lK_wc1edpb$)cMDnMtdCyoG;)ZxdSr63S^sx+`dbYCvojU~4+Q>9NyM z8p(v+@L$2oQfcyS7INTHk;~Oj?>695--V!GdF&F0Em9#r!E5<(m9avMWss;V#8@2B znk(3Q0482wXN;<3Nl&O{%oAS2(~|peWpqoXLlBy3n^7nYQb6lS6@wEmCD(DLDb{NT z1e6g5283~o3q`3dBqtZ*I0YwRQZ!LaM%&51%|&vb;{_v$F5t0AX%zNLL8eQrofB@{ zeV1d)wxaP6E<+t(3Anie_QH_Y9Ii;nAES7{q8#KLv-NvG(@uw>Xyaha#SrSSBz7l> zKufCiNL{sppezEwO=y28NIA^dBKIeXk(18~LXN^=8K}|S_4M^ zWF(t5A^r7wYut;DVD#CFkOXpvatdL>sa*z1NyQ%(#92E}0wIj}*Cn@cd9!qCqg(E- z&9Hl6@yYZq=lb+MXL0U6!(u$&eTppRvloXFCf)WnQgi(p9c7VWWzr}h2>GbFf>C)Z zSy_k>ssXTREv#EO-ryr`PnKjl$}PwsP1VJmX1cnhWL_)?+ci3bM%*7D>_P)GD(VUk z&?gfI0q!Lfp(E5+(e0;`ph?t3R2~ml@97)#ZDpTp5Wd5Wqy&aE>+9rIO8T>TL9DkAHp zu%XSqR6(5RrX8kb|EOo3I@A^r1)%b$3j5szdIxvLwOZwADm`k8!sN(}oZ3xcHMmqM+*=;lg#IUf?;S)|hL2cueGbLZ$s;RLh$`L|? z#8`E{%g1SLpWxH%tLeg3y9#ljv+zLf-y{O1w+jn8vFgb`cWZk}ydo`uiR2zlneprf zq?EGODLBSR*_NskbR3#>a?!m!t2^EUX_6WA&9#|7A8Lx^GBlP~7&=EWc7$4r7g7wp zrvrHF3S{8b87`Hb#u&>Ct5yjzyrf$|%t*4n_BSzOB5YyiYV-vm(GLeKw3VfcB|J=d zIrfwbR^|I|6I~<9h}Q5tZC0|?9s5layaH%ryU^0Zx+BZR8i8|%Ii(3pW`=eRJe$UX zl7J#jJmpK32J|w>W}&=%)ie_Qygv2{`N&GyVc<7#z6dPb>)RtBv_jM8S1L&{&Z3K7bXh`!jW74MsrH5x2Dwx8H;M3zY^8=p z##c!?O7nnn4s=9`6^7}!M#ajuZTe_65^~mGU4`RAN(3Fxvx#o;{Ccb#@ z7Ex@gXQhSDP$T5}!*h8r=`}!jh zFTefi3@!(;*N}XYe>#1*^Woh@+xNOVY)xMkSvcG)`t$Mdg6b&Naa`-DQ}=OSZaYtZ z@u`2Ij%OaCZMH@-Jk8SES!*~x`zbki zB7!VowB@_n)d4ne8tLJc$_dByv`V-u>+pe=*OlHY5B+C+3B-;f>8BO7$<@E)tn0v7 zEAjWOD&6Ac0=A-^fSMdY{VD_Rk4zqNi^B7?z!Te*-Xn7HGsVX=dtTz#dCz!Z?R>fDfnVFjHrGT z_rrla7>YxxSEAVwhQk#+=!ZKkp5#nJx>q8u!xm1oOp?K~D63gnwe4tvB3Y3emvE0v zKO&g@uD-c)V=e7eJw6|vEo~^>4u3>$4hgSE6yQY8)`O_+hZ%n~$(xlBC91E3dr4~U zc(7ujvmW~ew@@gU(3KjF_T*-~v!Z$IWIcXekNz?Y8V337Dre#PW1DC9`uSZQR2zpG zjK%~^_SI2$2u}h-m!&_iy!C6WUrS>rg*9HkuQ&n_w8Z^OeLi#@V6SZEkY9wK!rn7~ zdlb?BbOlM@yuZ;!G0*Uyi(X*IE5s@0PQ!kgH|Jf*iNZYMM_Kox!w6M@T2+g8m;I*b zPr0Hjw6=P-#{~T0b$j|}n3cqHF2~=`_sba~^&2Xg_hQ!%eAiL>m}YT7N&47LI|xa( zuXC*k-x*kLRcaIH^A_=&Hr^)7&mQXPEHv}Vn%+V3AJ*=yj2QPWADwPa`j(C^bw4_> zlKB(Ve7*cuyYk4-6#TdUyl<}zi%>D{_C(f7K3rFH;>V z_#c7xE|0gvqp^5*u~h!jq$D7VP33E<+@M%4!k|q?PAVL{oi3atdpPLulp^w!>X-!i zkPx`(Mee%cx8=wke|m+tjh2Pd>PKVy>*6MSg)f@%IUb0sZDiRrHju&e6y4|8G-i)GAVrQv5GT4y!DfEFD5IRPx6Y~HC30Yld9R&%Jk>Bb%tcDoPScKm_*|QwU zW9#jx_i~@hKPPKjI)5#Yj#KjP-E@OFV!o>T;*u5IVl2DnQ5&gm595IjG#aZj@FSY3 zeh#8$YS(+VM)uvf#ZAma-(Y>b;(w}ayD%i~_SAv=azZIp#2Wj!2L1?@kp}scqSFZq zOxGRyvQdLkY>JYd9t4ri+?Oa+Z`_=HZi`22G=8g%R{EHuH#L6Th5aIl_-z1sLh3hT z!~&^sycDkH2#tBpf@2lgVA@myStYQ+r! zAAR(nb!DllNM}kzb%^0mIxQtM_SE7asX0s)v1Vak)L-J6%j4r=RSl7o3y1zU-`d+e8Qy+phe2Eab;Q9@9K~sK^IcCU_* zm2!U-9WNaO{jU6Bq+eJ?Q0y`Kh}@Q@p(1|q<4Zqrz|r76FaALj^q=Eq&`MUEJuUNe zaM8*8H;({m(Q_op1iFXtt)s9Wn@aZj&c=K4_xf#2gSqr2=EU|Ldmt9HbF4@fh@W>j zxD3X@0F=}E)Fz_zu`|F)GLh0j_~78psJ5#Rcd*np3KL&Z$%z+dAh(2F(|-(6$ofT$ z9V*G7E%Em^UfHU8pMa&BSX924Q;HcpPS%-rt|hxu54L&i3uNLvf$3!jj(LRw#sSIj zDE}p!uutc2>Dp9Es~Qi*HXCjqI)lJaiIa7+X^;)vo!fiY=RTWD37OiiakvL}o`~x6 z(qK;0rn`5mDILDYHC8+lvjNeMF@{wtF77RPi1)(pYVNuK{qcf&CL9wYW0DX(QRe6E zz^}hAA|stqnmb>6>AT#W{d$S~+IjqQS5jM5%2#t!;KV=02l~#k?kk-4W|81$DVpip z!XWtpwjBpmJL+&3_xsmBCz|a1&0MRBD+t5lmBvm5`FIAkr8?Tr26hpRS{uL3v<%8R z3{$cwJbc`r_XfAK@)V{Y6g31dpf6+!*xnM%=EMO@-d$`Ddg^~|p(Hm_Xoy>`w04w< zkeMYl-?ljk=0C2X3KK}*OBWJ1XAj_i~-^>o?HTq8a;z{XDPs(sS&C|TOwD*Ly9$kbry)@Ips`7`OFwsg+)qiK} zsj->}w#)qR0#8atj3IL_1$-LoeJ@-!hNHK?N+dZXz)_2Icx>TqR{pfD5RZ%3X#kl( z=}wYOvr*MF(+_S>WRT5?Z&V{il15vK|H^+QNK>C~CD$~wLeFa**wr42j$zo@)o_#@ zg8qgXPa2KtP-PZfj%%o=ix(he<^wdVHzoUpa+AEUVO@t{w7iJ92PRB%X zZx*a&-k6TrbMh9nlki;DS%@dxRjOy;ebk^{Bc_3odcFK3U1m7RgFA=%$RX%ZF%>+) zW&3Epkec2<6A`B0?%ab~@VTKe^r1~BF5dqt-GBPB{7bIf>`g#ze>3)<>%Vp%*3WLD zy-{+>hVdH+BK37Mv^5b0OMx5@_X`4I_5iX9*@$9VlDTM8;G=ISV$W#so zS$-c}3>&|NAA}cv`4hNt+c*Fc7=m|QD4?j)V9$un4%f~U&lo&saquKJBHCj?Zj5JK zxrNF+<02XTBeHQB03zCJrs**+xwVIKc}7B9Q+vn?<|}rat2U!K%ElVvogO?bUMD<| zZ>i-?DAGZ8CdHGmgJ@hO+?KAletz8dL8RL%183U^75;&- z>Oj%9I%VJ{M0%|@P^9g1)+e0S2V$mw7Ck!K{B(fI5b2l3z+Y`S2LIGf(9A!-`Yf0* zq$3;rv!Ka8gY4EojPyKmAmhJTw#|Vm5dUC?5iB!sUcxmauYmaV6p8{J*ssHdZ#4|Mq)lZmO>Hpp9-G*3Fo< zSDkA0mQ>c%kR{lnkvIyIbX55{nj^Hk86F+{+#X`6jW-}tyz>bY|*(F zt{}xNP(!bzERaKG+Rl_F!=+YpDr9J8m5C|6L;z(bgh;!VrbQs=bbPynJXaaV<;IED z9q1tWts;>z4Fvr}xJ?LRp+YpqU;tm^T`!*$6^`|X4l4`6ZSTLzbmN}+Nyp!mbQxo1 zLaP@GPBuU*#-8m69mo-v$qJ6Xtp^X@rw0^I87U9zGiz_gP24KO$m%C(H@`&i#|whH zWRF4x_+y#ga`li0}+-4E+=aK(v5FrbuR&EQJmxLIV6 zzjJ*0&5RlUkZ|4+W&`v?(hRZC30N{M$idCX^f}9BG^Ev6s{~lXVG|Q^)OJI@HJ6&- zpVT!y?StaOgC;lCPrSK$Jzq7tBsu0*Ugdu<)`w2k^%@WnfF2*N#=YF~>S%rZ4AzBe zucs#O1Q=SQ<)4%^@lis*p63MjtlORhcM-^~*!pL`z)01vymsm>dg!8X+4yeOVlOo6 zZ4RiEk2q`l8KfIAM1+`$%{%l8LOkr9{=CZa0Dv?VwLH={qX zH05Xh0%{^HDM3M@2rs-0Q@O}KJs>y#`;t&j^m=!&pQcu{(Uwn4&9_g@lD!~7e(%k> zRVN*Jk6*g2$*reP&4!9!a&rtryQd65IxFv)-s8&@T1^d6sdfIsepRZ9Z znL*cgSVp5QgtlyYFQ|4N6OdOya*w{wcjuGy3dJ=s@{R`~rYUGUYuLZ@XX4=@g_ zc8Zm5ZhFD(4wVbeK$}O`ryw$7qb7i@d0745r+Q68Fev! z&wWttwNbU_N?z(JLl7r_Un4ewsl^iZ(#5Yr6@LFXL`Pap*19?6Cp-*YH zV`aTgc>5g+{+|xfXSV)Ig5U(@PH7Hs?a6jeLUif6*I!N+qm+!Zs@xK{21PhEb3vS% z+bY-b=?MMB@fE&uyQW;)(9DmqIqWYxte%4~h8UT>e-Bnu3?IuaYst{R;6uPWqo=ec zrwe5iM^2Z;-&N|Fg4%M2%CKvx8vMy$#>j3NPSi!JzeL_g-X+5(qrZEp`ck)MMaye0 zy4#(|G}`Ere!&F6WGE1riW2Z*hJ!|(&;%qxcwEWiT9pZk(488&6nw_YcE@;-h(~5c zbOb5wUSy7UEVCleT{TqssE* z9?vHm3fLm{8>wB07b827u-7EqhvC-S^XefOh!vegwhS)pyPpMg2gcy9>a;69BzmDpjZNZ}y&E zpbmPsavPnz5T2rD-EFT1nzjM-E%`%G3SqlwM2fn#u%EE%bqliHoIskszcd46zS-6+ z?&lq?5kS?rsoM3v2^-?++O$y>D&hwVcp-WE!Pmw|p{BKY=n~L{LA?`4PsPK?#U4c1 z;HUkxi&LE^+%{g4sfzQQJM9UxgVuqV+rG^Cqww8YeSPzAT6%@T+X%K6;-D0u zmvL1n(3e%ec5HXf6^6h~6weqTDsSrq6+D6!*WQVY4UK33Q41;sEXLbl!K7F=G(gdT za}%l|Vy!h~2=ai`&74A`?>h$aYgF;zqqAcd(ApIm(6m}TCu6_K9*u#;$c?ZfFcnFo zUG;1wLpQejo;hayEm#%WSIl~EAWZL)Z`GSM80JpqZtt)3W4580_}l4Ulcpv#nfLTVI}bqyRIjCWt<%6D$3f z>pppxhAg7kCxS#->F7!~-*sgi&0Wqcwchj}P)%(DLRdRR><&M5;$I|V#}Oy1QG(^4 znP4!6(V<0i&$pZZG2L79eMb?do>gd{ zFGI1f16xzbw2ezf0*;*sVM3V~CZdx@y3E^hBl1&>oKylNeeVFi$o%pK%nf{*Foa;|% z11gRZ!q(FnEBke@wo|Nwb@OX&=NP+2)pK**!-b5?H}(zU&c1-?|Emb%JX$C#%3QOWT_}d=7H| zHxeV!72x6J78Pe<<7VaI{VLAO!Xo;WgM*!ohh3C~ms6abhgFE=|9{G7y8jB@S=qV% z>(on`CTp7}juCeFdbZiCqyx9F0p}d9(18ipJdWcb z0ZbX$(S|tJv#g^;bh^}9lCvp+tL~90V}i=3FERIYaMMH(J5u-DS*incoU6v{EZTt# zRBbuyTw!iTupNYZt!&jWhf2+p{R^eJljen7OLb;GUx)R! z$I-*pl)6sqT%BJXyd|Z=$;&7oK6bB4$g5$P24=UHmN4Jy9;CnLI(^#RjeiR85#e8k zxerEi1S5b97p6V}mlPpBf`KqXxzz&7eoGkK0y?mxcs?OI<``#M##y4yau(7lnRsGO z2GQ@OIim<*9RfaL1rjrOuf%>&dV?-lSs=sufjmeO{Wv^;k$#S&mKl~}3&kMVeADzn zs(vd+= zPp?IF<==@_apgpscS`KF-<3=BAlR{TU)0w+5o!afUd7yoHuM(0PPJQy$$*^HqfQx@ z^xI~xVi!fH9<5tf`{GI&1iE7@6VFEB16(3c2c5dANN6C+90_jtOAfR)Xcb0}6nOcu z?)1SRe40YXf884RUVJC&C^D!>8tRJ+B!u9Hc1JkHS!S&_6?JHG+-H^#&FjIx4KN7s zc#8(DofF{0S2MsJ*W@1MZuhun8=;H8ZN{`?j^k^Rn4m9}|4-S;+7UULLgzGyG z7~iA}@!x&H&zIs>je#i9j`5vls;`p#gJgFoc&22mVy+rjo_XKW-_uz@4a?SRbrsQM zilVv28C<% zU6qrs-65WljfynM39O`wh1--Ea_e5wZJ6Bpg{)NiYGXN%Dj=!OB6sjVa$Nv8D(NsC z*cP;)Qlx+}*gtcmO;?*OmkLc;XHlJ#=YC~J^()Et;*!;_H{ZnnXn0#}WBqNIdrK-b zp!fSIDJ;_PzD+C?qJLYdD&MR$c$S_GP=Bj;ybspssZ*b2t@3Y?o=s5yc&#lorbmvU z#cQ}eB&OlB-v@z+>G4{=Pvz0zHGMx<7N@Q@H#45v)wtQJC`{I{($o4GqJDm=?m9u& z+f!;eN2iFb0a~@LB7&)^@y$_w(2#ih6Eo5pvmei<@guk4;3CG292fubDvcVqh7q^x znQcU9%F~C>bjNrE*Iyv{XO+9V>Bz!+%+piMq3Q^{p_%r2XZqEI-pJWT4EJ~T^Vf8z zw#iC3TMeToa4Yy?#)MYk)&Bss2q|3>yTIm9q1D^e(qC+T;mS#&Kge&#rNuGT)Cv@8 mel_}6$;*2|T`Yuu05$^rSJLy7fy8iJpHH8Zl;VmKaQ_EL@eb_( delta 31774 zcmZsiLttPHw4`I(wrzB5bkMPF+qf}1PRF*Bj&0j!$F?>9%v-+Mopr6MzEibbMmAPT zR#%{i%|gOL;$UnI$IlPPEN5nK;c7|3&dI@=^ml>=XwsHR+8D;{KG&%8W!2;i3AC?L zKg=tmSYzs-Gn<$e83%>PFijN>fD)dPDom(QaehY zz9K4Z<5sK)T8+c%z>m2p{;{v!6fSiQHet+6uMh-D#HbimFS# zlum3;dToZ^CPBn-UAjN%Q(J%$p1b$atEj%^f0)tJ?d9%O?V*2R^O~cEEIm`}0=ul( zg{+mUmN|j4~{2a(41uaWhb;SVH}e9Pv7*A3uRDvwmXRXAI0>+xLU0CEdr2V!QLWgNFClrcd)_(XS%Fsq%qfXLcwzCy=JWlWADvO1e0MFmq+7_BKOyig zZ5NjJ(zWC*IB(1Mwbit>?Ranb*1ejU<5NU%6I~@l9BAa25ie7g%P$7Fx7LK+ z^tlrjBGfuw64Ju#5XX_5&tZyfyq?QLxPSHADR0a-A8+517}Sw~#=+~L!(&zMUfA-J zxhmJTyoZfRv^0s0M8R$4vxf=srWKI&6lk4?UFjle92M!?S)Rt3#@dgUvv*m=QzX%G z@YuEEvOWrGyX;I%U(&1(H5CAhihp#^Pw|v^#tviO8Iq;F-2R#|EwZs7ln_Vt71)?Z z=?*Rz5e!}}`uwa9*xTlM*IqYsBHO?tzz%d*6 z4%@j=?Jcn_XTJw#?t;p0;Bzoal>9l~b^zBSVnm)ch>2y$V5bMBn~3@N7lZ9`B|k&V zfcL#2$st%aK~&n2yq}yQ0_t8Q`)$4RS^+cZPZi2e1VQ%*xS+{F3nGiUc_&nua!J)MTtr}D4`CHoTgabww$8Ft}d zjTPEylB2`v(N2IreKh#B*-Hq6po2{i=&Z#)Xspm(g{L1it!}l`0m~V|?PlhA1tyby zI)#7HVTwVu{VS!hxV=8KUTVNk_}w?ebQpcD`$LlCE1jF5=ujgQfgK!d_z#{qufNgqqMRE@N(J%aY5(UpR_t;y>8M5>sbe01n7DVgO z>^uN(T1HsQ3hK+s%#@$?iHTvQFJr5kK+T)~pa*Oo?f`8|MFXFdO(3LQ+5{0X#mLYlH!6|+z z$InsQFMb`_B%S{L-xYqtV?EqZUVjs!>8b!GLvP1G$eU5eFKILXBjK0{Z?Kq^!LR~? zK$@dIEqoa|602j1OX27qxK+^GNfjeLttu$#7*DdIkh@!Bczs@C4fP}|8p0;d#r;Q;`2$*rxYdB=T6ixL2qD8Jm736 zt^1jopr?)z=943qy7_ZtTif7qIpKc!^m|Pw*db`2xvMFs^O5+R-@TZZOw=7pQXoyh zi1Sdue~qtDg&?|7MBz1QxSK>`d*25i_I#tR!8eDu;t1btzG&;I9Y-kb6z zKDz856I>PkfB3S8G?3otU(o~z>bY`mN7C6*G;>>16KXr-6g&_{nSE7ja*pmg9c_%? zSZLjPO~}$+hUh^M`5wn-1}eXuIIX#j3@`f+DXhdMuP=<0=2T9rio5_2zT;$kF$qqB z?jHL_)YaAZUs88e7<-|&#SuB&;(meFL@#dO{diyMa)i`s4;-q?S8AqjA+V+Go(Er% zL{2a2Cfjez|BQ(DVFc>I0e6HkHj|Q z!!4%ousOuZrKmE@PpT3SN4;iN=%i&$F#8O`CHom@@*Ii;>i9#Za)6vUXBvJqYj=u~8c8{ICJ zP_<2orY{M*Juy>fvB_V)TU|2(jrxDzHXCV*igk=TB39B<_Yx4uM}O);yp&pggC~&x zAsKGy75S|nyUGQSwoK3 zKy8HQp`1%SGxjK)#a_}0v2GhBSVhjU^7eFD!#3jV4f~{~uN8vw8+1$)vi;YA&NYIK z4CW!77>*os)*@!Tq0}`=8$DTrdZ;q2qQL&60rew%HB=w)6}=AS4-@DEr%m;(v6f7m zkT9`5K#F-`2X*`0k@86}V?Bjj=I@ZmEyN#iONqHb|T ziq2A>vw#kWCN_I8+aG@#Jxx=)LFk&N|C6d>XA16l=qt~q2jP&pvI!TCEFVAh^OgWz zHu*(qsy9l0gfv7j|DMWtC=mks`HxoK(Q{Azk1FZ2xXk9uMG(gc1|>K%mpK6rKkU&A zQPHr4T~>T~shdUwzgB#8KhM*G99jvlZ{LjonE7vDt^tFW=-isMR9yIFZPv^y02H%XWa%G)o3@MR6bKPz}o|t?eo_O3*kR6|sYpr3rxv zpy8cEa0nORNBqp8ALS_@8z|v%@@Ty^{%P_XX=7#?xH8gXsb_6ZMoi5eC$+ zXPW}h+!Cc#fXVhHlSRz3XL?SZCJ7D8Q2beDdK(mwSyiO7uZ9CAp{&72WP`Sy&@z~wxqx8=-`|@|C0+3`Ss%V zxe~AM>3{o0BK*co_?KFe#E>Xc-}euxWfZXvS%!$Cxm|~^`Qpz(`qjYKOQo?=vt?3! zhmW~aZ&xE_6!FlTx!T``wJnCs&qK8%f57wk>^#?v%S21t6f(1`BfC$fZ;zZ~+BM-W zJ%wTE^`)QD<=ZC@MqIJ9sh}dbxG`mOR%dtGQj{yd<>uxh^|?LJOSX2EskSB< z8}@bHtn2Z3jf<`()yuLcGSS&}L}eB>XP$aqVJnJnXqAFEpgFv-nf04k?iij_{O+n- zR9bUhZNkokdob?3WJP}MS#4u(g7GqG*N&WE-7jpHOpUj++Wk=v z94E{uiP)YHurS0DwA^fZEV(+5b1{XouGpHawAMo(#0*$X@oVyTZBTEinQ_|qJEZs&egyfeRo$@Kf= z{3aioVn``hrO#>eVR;Q3k3Jl57jEqM0wJd6ubUT;Tz zig0oxU~u;<0C_S^yJEI{64K6oWnQ7Vg_|WSiN+~~;h2Q~nevyJ1Y)dhb1ISdR;oKO z0q!hYuAlzW7FvEgvko^ucuG*1)Y}!*_3~kT`%aApR{3V)RZb4$KF8u)U%}2lj1>`4 zb#4(ZK$R-Ix;@6t&uULeB8X0$dc&>D7h;js(02^ZnD}K~z2$ux4Nae6OjteT9PME5 z$;nc}usx-21ao2d(p_iT2* zgz_QMif1wZq+~EYevhj_)&^Uw_PYBiUVPL~Cu{eJ+WGO!yu-|68=?9chj|t~EDA-O zP3G~&CFM0cW@0dhKgvL7u-?WCZG;I9dSvsfyvmYD)BkpxjjPi)>t}lM`KRHLD7p{` zF$-k;;H2aoRRnG!h!0*JjdD6}|G&>!pdszFaW?&urjJEf$PuTp#NJTMA()FJygcA+ zB&X~+C{OAp5FAH&kYY#jByz_;5{XEC;Vbom6u%qe%N1dAG@Qj9wNk|p>e&q)9Nz-| zUn(o;XKT0-M@3$jhUv9v*>ZWnv_}3LTKFh)gd5gCd#s5bCGrdoCnczpa~Et3pylZL zu^Q?4!O!jGTmW80p?O(X(;>)IBqS+3fni7xUzxPiAAHywm>8p3LZeKM>5LFn63Qg) z1F9gH8{^HZ;K|-%>Cf)H@E}jP%wG5??1G);bdRMywehsYX{sH1G_a zzqH1Y@bSjJp53yj%`&v*QHQ+QP9-Hni7 zyoHK7^*aG?Rd|Q}3MF1=u9L(oCxK~LDpX6m4hDAA2NRcr=(A0RyIOQAz2K`|o4S3_ zd#B`y2)b`z2edhKnkS232cB%s&M7m(P?#Dfhq-gG7KgCgV-O3XfR}fT5C=2E{*z- zow9AFYys2b;|<L0iLWdo^o=A3Bl3KhCzVZBZ|}()zzfbBntQ?jB6m1 zRSD1Bu|q@w4nI0WR~syI+|#ZE-3~9A=~s@?Z~Zz_cwb%h8Q1ejL5Qtso->J>dzENs z?<*O0oF*FO;>qY!7T70?xmYLcm#hzKl5bqEgX875Z=@w$a}iTzP&CW7J^X)K2)}P& z9L$#wT(p4B_*Els$7!kNX9U$8omEX|$Vz_H;)~bilW#f|0Wr-Nib|F|xnyU&CAd^p zDt1AQY%}=I*5X|}x%LT+U#9ZNN9f6?D8}yR(F|LGSP^$3exzFo5H4^KeYa2vor2D=!Y`m7vvUKQ=zb=X-;a1@8A; z13L@OUY|E<2D0U3(wRwDzh#?(_gnpXs?A$SFVLftH9`$Zz!l;YiI^H`t=`0WRa<9} zQlaI;jZXx8PS9J70gie!l}98#?1Nw{^fMA*wJ?9+LNO*x8o3mo_^^eFq-zRinXXJDn5Kc}L-z*yQj_RRPtSW5fwFe$_JCrSrwS8Og3sP4Wm+5TeMp=0 zq!cf&s7)BQhKP@r-V?VKjj20Sv2H8R%l?}KpK%igDRA2X`}oWaTEWBlBISmpA@VBE zfYfsYehy%^y`J=ywAdKQ`C=O>-^(I!5{SRxjXgR0F2_=tg}Z@?iT~=CCkX=^Q8(&D zLFj0tCha{Bxew-UiOCKTuqe6!-}PCNzZoLkJ5teZNM>a}KxVeZdtig{y^3qEvpO7V zn@(y0=i$nt`z#OlL@i84&8nQ>G(RUQchcaNZ}OIBPWlmlj3a+X{T-&8fbz2Y2w2F5 z>^@f~K(URjm0{yhp>oS73mF^fQs{WaXU}b1oA}Pla zgI4L-?~J>Y=wDNBF52IQS(OeAOZVGAq?74F6vHxA0VdWNXFTgjc_5)ZPoI2$V@O;y zh%JRc&iY~%#vY>VM1D)f3mgIG4)|NdzpJ`t&z&S!9PlOgUI&S}Y{{)VPy@e*+)fIo zMRgp6Km#I-vCoy??7&xKp3quy=2w3eY2=bCgbyFJM(Z89k|*LWxO{8WgMBs z5Ky<%Hfz)pU&?@4i;O4klZ*-`5S#!FIeCBD>*1JoT|v61&xaL!{}z@r3w#kL&NL&d z<<*gQ{KIm+d#bdbg}_AMNg+3cl~m!q2G`dW=&vWJJ|~iNx7@3*x-d+hRtnnXO%~^m zb&)GaKMoeQSMRMb>Yi>;wLBJ8B8&=SEMS@7e`Q|zH9zy$*ic!9zD`c}Ma97QCzNfv z**vi-ACirSof`w#8GoAX7ceNOgd;=jY=~)A#reuMVod6~lg@BW<)^Mz6ly5QbIp7~ zxt%v_WTO;ti!p%f*&8UOfOZZ*6d-4bT2K)NYKM9eSc*ThKJdbTT`$DLQSkl4P@^M)XM zRj3x|0Vb?a&17Hvjfr^cFQky`FfNv(5>JuL$me%+OOt>G{_jb6MG*AK8NAF-3=-LY z#$RO;OD=&ZR5=RT7y#OX#q1u~2%*}91g^yK^nSVnH9uc~s(HE@;YUn_3=lgwwS^5pen&`Y&t-H6% za>tPCK}-7J$gcE)p|FIP3HoXLNEJ7d79X{1(U&OgjIi*K2kh34#^ie+%nuADF`T}l zGW2}GxJR5R{EeIZ_fZk9qz?(nbDuHLhJ%xz29i>W7uy=G)Z$2S99_>i!_z9m-`|YA zFsregLD<<#qfv3*>O5e ziwl8`1MQNfouf0$+1s>+>bE53x#YtmK@#7-hm=ZUV6gV!C=3+w=Gr7(4H>~znIujKOLuX+ojtW1YBv?&8HzgH_VC9ONE4G1drY)2luQLVeSPtP8z=G@_4d05 z$9Jz~0IYTl!yiZS4pYuyIMDrMx%XMLf2Qt{mFb`-?aUWVdef5cu&J}gvmdhipbIV@sKXCgB!piyMgN3Y1%o$^u6z;AzL98*+MQwT zaQ)+Gq{^VeHb_o`LZd6%=E%jhY5&X^1_5nF3)tDeB;d8b&lmfg`l)zi*0+qczvl_F zsT8Hhi?z<^Bliz2yo$27+ccx_<5Pk{Zii?yu{zs>ANz5Ssgi*MYcJ=WU4z|d3oDbv z2M7iL#~(GZy1glZ--~+x2*AnU5dWx8LiKtrXo8*~TxpDupPH4duXyRj*-=)#UqU$_wwdJ4;@{@gd6 zkO_*l^SUxC$1ivfE87i)v#+31NnBvmts?i3fzy%gF-*U?Vto7c5lSyL4w%RMZK(OX z*ehR@_e&FFJ=Y~dP>T77A9sGvKo*=JAlY|6%e7BOKfs>HFUBX?jtIH9dt46-MWS$u z5`@CQc|21(0C~H(5=ouvxH&fUnxn#|1&rvFT_KhH%v727DHtEsM-o{3(A&+NM(Q9)36UEdO_c0Xst#4*CdA=%}!uwBS^NkPC>LNY)Go*iyN zuXYSAWJ!pxRrWPB8ZhJv_n*)9x;H)iK3Sc6viG;hD@S(uWnl;KDmxr)k;BC^y$7)2 zJAwmx%aMNVPpMsq;a1jy1`g;N351juixO9=gT(Y^cFgPhgq9li9Vn^gK^K2${WBWa z6i0*gWK`GRm%x(K#m@KbSH6e@e#%Gqt^dY+>T>fyg}FoUg);wm?k#kg*8VV}$9=n!5w{9!b0a1f8iy zC$kLCF8!mcT=U(bMDw=o4t(4*am?mLb1S5toogBrSNSF?*YCY5LomE*7h8D5E!xzc-leV@KF-*r^0bB^d4KD%u2^I#< zn#z|GQRADHxe2`yUX%trrfRU5f)zV1RoQEehHPy4%rd6DT9RASXN3zC!_YuZ$enD9 znyWr%$d$Y~53b=jC>R^qI#^^jLILGlBEdFvMD8`SXVMY+%3&R#HWKoXnn^iFRo5)b zOGO`Iz|`@Hxsz2$UmN^RLF8dfR6CE{2tEB0e;n4_$_C=J~9)y27XS zuZOFpZ!n5YiR}Lcdf?c&xc;jFBpvD@LvXNi@%+E%{}P`~-2QOF&a(#0D;iQ=!J1;C zI~qwXCkg~_ZkLGQ?`LqSf4^~5lI4^e_}V^iHI~%m>uF^(Bz!%15LhVQmGt!VuB|C6 zOV#S%p5*&yggSxyr4A0QNQ&ts-KuS&8u2U`@a)-E*#;i$Q#wvEg{8Ake>dXK!|?By zjVdYi8?7LzXe9brZG37*Cf*Ev8Z7Sv|wJrUohD!X|FIp(sqFC8k71I*74IC7hx50eb!wK-|KmLM}_X<`g za^&Frq*U_rEJ(H1;TjF}bE7UG+R^XM&j}(LegB_ZQUD-dczfZFY=j3D}Z&eGWI z5rNX|7T1ftxSouOWU-t1H0uV=ILF?_`XT9T>@(M_&}V&4*SDwc2s2;1kZ`OIR7E-%j-0=Br*e8FIG_ zH-d~*E`+VWm<(q)u+kk6qvnbrvDE5kQ_ur?HoG02(G81wk~^y2Ore98GGnd@aB%d2 zggNC<*>}doOsm`MGW|hgb&RC!WlNzlkcR>*g~^n>1Y6`+Q2C4S$hM|RW@0msVsUWW z()heEH)pI9za5$aO>qW~8j`*t9v6;R21Q6*c@&w^PINR|_vwfx>`KzPuX4r5LF&l1YaVA z#kQE>fkbT2L4c2=gvc0##c6d(+sh}B!|xqbd08))bWrN?rWU4Epz14d^v&~I&MU5- z@+`m@v)#6Rwn?Ih#)y}x64~DpbuXX@1@S2e3@nN%9zB`#_mP(kku^>LCLD(mS^u`+ zcneD%lkV1DFKdHu*m52Ig)TwyQVopJ&^W{i5v^RyNts?ARL)?|Pr(>ReR*6=G?Zg2 z#&Uu!E8f=~XD&)vocA&Xb>xto{~?kj(ih1q8-v*j}<#3Lg&fci3QIjEHFs9p&TPo!^y!8`6+^ojG>-O)z=X&EwWiQh?5xh;^_ zSAo8*xlmi7PH_Y#K^Vpig#k@}s4BjQ3@Ncp>o45pBlANQluM~dlWXXcjV^$^FqMWw z)PqhVjaya!U>Ny;0Lf*;Om~Gse^)1d7qDkl1V|H7=wQ`afK^FpX-G^>1H(z_8Ur7u zfbchlaX}6>w*|h$^I|{~2ChQ`4_bWvS`9LyccHdvS$b<*@uMIg)dHEDc9nx7{U^j|(n!)*4xnrdrDu^*8{3ZKqJ*0cO{Vti|f zY>a$pR8o+>0B^yqL$-%vJpYh)UX_rd|>s*zUq7D-ur=c5Ay zh5TN=655Ezm30^-Eu)it*m9M9*g0XOdv4z@HEVMT&&_- z^YFFx)##nN4dLpOju?R`97nO_u$=c%RCtF0zGnDIW*su3;}RdAS1fdC@!uQ}%(xvp zf$va!=Ff=el}z0)y1&?|(U#TjSFy_I{-O_cdpKMfI-17*Y%mM7@*x|Htv57T6zzJp z&D&#cu6(jOH0b$$nmQpiTbF;n0R-31H) z=gGz?&>$Gn&$O~3ghL2$#4v2#0mmGcvG$sbJO0{&KM`GCRDE(wQ*nO}oaI{o zim{XrF`WXrBt~`b3pOO8Mzksxz~sF-Hwqfam0q`zyJ0LxVS)K8-_I4E$$K4MMvQAGz7@@5Jo*eBbgN}MJ?7r~`S-3@cD?87P#FkBz%{!I9r+XCq z;N|I_w5MkR_A5!wm|hIKyM$e7W+s2(gv?F4xLf@hxa6vTi(fPD^=V;p2wjXha`Xt; z@lPs=vtcFtc0=iqk6nLvkuN2IVY9koA00}0#CPH^DT20P#loeAyQ)0|cFh$QzFf9$ z4!w=AXcdw!H3=!cLzU&TOujXj9(S+UXgjUVvrD>GcuVR;NA?&DCrE=pdr%-)6k5aX zk$(q(WPwioW|)ThY1xrBI0U9g1rD?0!d22^)FhrU2!~|x<5~SowCINdsb~7MS6H=n zuIp+?X$;=i*A*0+@&fQhb?8~d;9Tmj?|M>M#y#Et`{F>GJEW})H-Je zdIfen**jG2>AE!Ma{j@1jJAIa{#v|pa@DGHM7AtQ?fmCV^K2}96Iv69m=9j#K1Dj{ zgJDhMp#G>1RYS|uz(j z&escX5bkn%^Q?o$M*ARx9I_c$L)?4o(E0f@bm@bAJ&_A^`K8Co;T9st?*w4Xpj}h70cqrEc8pLEA5|k7e^O) zH8rMcwu8SbyF1#H0XXfUX{1NGfAxtZ2=jR^osnDOol6Za50FHq&SHUAe%T9`cXn|ss<8*KP%tv zglx81R~SV7KTuDVmQ4YXXa;dZ6{}ZG>MMtH$NW=1HSQ+nr!9h@Fq~$034{Ig_`it= z-+|jRG^^e`kV1uK_+%{zlinE=y1dDpADpKJOh3 zLbZ2N(Wr8&L91w%Ddtyw32Y3o&6sQxp_2RBbpb~fpy@AZ_eQ$P_f|Ed%}ua#gf=*h zE~EHhm}}`sB0ZAGF3bg4-=LwqxcSP~{(GNp3=^cj{ZJ5)`z|R@6 zj&4ZI`$sP>$pA~Mz8s=rLj(2-ePwmH%lVLY~~^*Hw|TXjGP74+LUDKq2m+> znuszt7x>BGu3yK089QXE#o&PsWBoxCfGm!E>Z#@KbvjBG^Yw)CyS)&qa-|h(34?$< zih}Hc?wKzZ0^pvrjq0}bEy0%LVWc{l7U1{CkmWlMgWA>DgtA^|e%H0bY3w=Iuk#C6 z@c4#nf9gIxa)kTS zO_mO0uhn~+e;BJVprh8X)9cG8pm9Yrj?cP&Y-m&`XK1dk#XkJ`!xn)$WLu29GrR3u z46dK6U?`BTB-{PxOqN~Z`X{=Xih{i-f(O&dpc6|SwWujQH>2XsEbEVb;~_&dCpo?^ z3YwdK7Z{q~wIi2(@QO2%o1Rgqv$-2Z*#w51 z(ANWaQp5Cy-){}72T9r-x?Hq@?j zjhi%GnnX2*#DKp6LjU9gAXt_KDYRZ#i0GdT?W{<~;IDgTe5zACwAtV4mdFi9tlc$| zmWC?4Yo+ZOrXaEDzbN*(+f`Q;6u>wB)x-HO;hI^yb7FmD*reO(hRgPy8OvIs*_bG{ zZry0&Gv8PQDd3q#?Rf$F29`{r0YVSCV8e%ov=pfncc^$7UP^l7)$#@Hrg*Fv{fZy93Xy)rB+HS>V(SWso+28EWZnw7VlG$#&edaL%0V$ha#sK$+*b`Bb1P57%DBZVvt z(~V-kD~Hl$XMi@Sq&Iehtdg zE6yj-6@>no(v7f94DjA+u~R5+Z!cv-y;W$aVB z^gB&ZioAd|{fn(bzr!HExRxch>8KpNdm5ggD&(vX?;xk0T5!pf>%7)<_wi%ALhgHBq zuOa)4+wfDIt}&OnD!Ye+wFezz@dji9$zQ`xn{~TLMLxw}hxGGm$GFjd}4E z(W}qkvz9sDK}r`>_y-p1JwxXF)$EVXhrC%!$bdC!9;kW(^CGt>!<6{>-CEL1jRSAi zo>x200(l?yO57*p!YX#ruRBT8FH$mjP0=!|VJ8&c!#t+AJ<1@63@iA)V_Ndo7Z824rnkm$B!LupVMc**Xl1#XHwrRm z5eylGuFL4%j`pIC_D+%xR)m}A%&&K$Z#PI{i0POa$nsp^_2KkVUxr0Y1Hls>u;67X zKhf$-QH+PEhIMS+Pn5%p3h~#Nm(OJuWK5}bsI9S3;9~A<*RHjgX#1IYw9{P!_;+<{ z&*1pAvZi2sO&wI%qBC2}@*gQ{PVRiu8Q;?X`KV&z!ThdYy&)cL`dQ?7IK zsy8$_?AnLWKRYvg{d=mOl=9jDdVe;11uTztOV;9B()Ufm;p(Y+WP@T027# zIDzI838D?UTppwjL7>_ol*78EQQG;gLtHr4{3TI2&)LfB$Vim=be+t)&d1EL+4ox_XAt(=Of3z0m{X(z<4H>0GG4y@nqfoya2fGZ&jj= z55f`>o`*n0B5uL}D|U)6Q>mzoWAZbl))aW{-or>yL&@bBTn^CkD`#yIa5s7n+#0>= ziO0>(U$eo==R*(DQ~|va^V2`-ljHM$DMpKfE^J|pqqDWK@US!022~A5&C?~ zCz0$3KjIKJ5j4HL7@dL~JN0L`To)h2Oi&oV<|2}kQ$W4P?7b8zTd5C9`oOa=#j}+M ziLwvPA`x6uj8;(MGIz;iZ!wS|w#&9VANjaDlv0JUq_-E_6!e!1i+@wrgb9^cr)zOJ zJ+BOQb3JYdDBKm-%tNqGm>ja9-7!Lv6pt;Hyb@0QYclUEC=%NwwH~>_Zej~)UNRtW z#SD?^sa++Vi}mpsmc3)ex~pd*EOH8U>bp^=0UV}NSD{s>>7<$O@l$@IPwS;$@5&Bh zL{O_A<7o`d8yuu!WK0b-wsS6$W1F(m&|HnnCZbM2Oj%Sk`VISjUnG=e*k8zJiF0!H zrAL~F5cC$BusU|(VA6Sny1<`rW7CB$k6#MnuDoIKR9RXg(Fh=2%Y&Te2{0 zk;YPeus1`K?9Iqu(wI8YBZ?*pEoHpALE9;SZx!LyYH9uVscH-w|(}^+oCcZ>S zBRvN6Fr;Yr$eCUeYr*n`K^55i*o==W^HlJr?gKrzd?mKBO zwPc$}YI0w!&*@KH^F1sD$Uwre-^p#r5bomX>r=)p=-={B-+(?Q$p1FH?5s(9dgu++ z6HmxsY`p)sXx-4dv5ySO*^qVqj0MWlk_-kqhM1Z!1A`9E&dQrA@(xW4WNYhqY;d9Z z&(zK?q^z6#h456&B^Z)PT8)f5q}nR+50H`WXO*bvTvht41N7|@#Hdl%DjtgsJZ-&uHO;3Cm zch+wQ9^Vc<(Y$j27on%nLL2s-G-r{9OXUS&Gp&~X*P35;YUp!~F-%AMndi?! z-H}}hH=Bz;A#)gXXV6KoP^6sxQR%ZqnO(d&v9;?5lB~EJ2sz3wxi`_>40+U75KIhO zA@UoSs#JppWhe*)ilU494Y&JTmU3&lA zGxVdZZ^5tAmonXS7_FQ1Gk%+=R-|>5k<(Eof)|HeQ?U^yS6Fvh$G<|>d)aeTU>Ev( zK0XbdoDV`HLN?4!_05m;=WAmfEY1 z+Y$vN0P-zEBf#xxy{Mr^9yWD@FK(;0;@Yyl=R`+aZV;+P){y?bgF49ehWWItpJDt@ zv;PX)SO#{p<_e~khr)HcZh(+T)+!0;w05AJ8*_I36Lc_8dRn8PgeHOmr(Cg!JetG* z$lbc^J*OqpTY!=#LX*AIH4B~~CPI+sKF7(xccE0h9BS`Yo*70nIy3$9oB2h`*XfvK zTai<~MZ2(x>R#KXQ&@EDu`J(T(0D8EAlIlzTf&gjs7YJ=n)XCRUfy83g_^yJ`>C^Lh_n< zv@Xu!V|#r(2Z!#G)DhS`lIiW(+UM;$Zadrd<0iKk%pEBbv;K4G&J^qJ#}c zf(%q!dOgojS3L2Wo{a4#E^`_Zw8&8~E(s+c;z-NY_@HO@k?@To7O{i@AEkU@J=4as zpy)UgShzpm8JiNq(1&G&JZY#D4)q{y`U3-;C+~lp@tvD*jB_{VtY6iryPB(>xt^t_ut*$3K}mlMNK6oYUltl3`5{$p}#CL5e#D!2~BuO`CeM;b2gpf3O8@X$VRs=z|nyY zV;C4CLjuV95oP^ST(QYFlg!u9BHn!{8~Cu_cs;)}McU z?rQ>2r(I9&o#f8l%!JH8TBYAi6Iavv+A+JpZbJBMCgu*va=X}Px=@!oqG=KMd-V{X zcalbY{fv-BTROpY z$qs+Yf>&a#i85tPu=f63QdzX?^O+XuHZ{NvFtPpvC%gT_;}@O?`iO9VXgX$>Ha5~M zFySnpS%*$B8iy|*kYx=Xpgd2WditY3QLb!_(o_w@`J34~`v^9H#qXgth%F3<>L+GL z3Ixs9R7;|-%!nXO8W7U`lTr(6ZHhvCy zOkz@_K7>ZAh!GsCKky*fBe;Lp=X&XSqy$rW=}}W)rRll6^@abTT)xTrPLZzMWTrLS zk#;=sa~*5M)n~4~gTZz@oJyo5LoAKU*WlCG$fzb?L)$bZL?5c+iToH!Z~?y08n_V2 z42GXclu^Zb+Wef8>}ZY>qEWUANfKra#!rPP6_BZSrL6O;zJc$b)$8!1R!>&pxS}%V zh~9%2bzCCwnby(sDB4o+%_F)}efxP?KKH@|l2qTceI48(`TcBR5wEd7xjA-D+W9Cs zo@WCx8E(xp9w53Tx%I{Ye;a}a4lG1bFvD@GXz>o+jm=3Qw+rwDe+MULDKXHtIhd&1 zGiGO5&bJqa*gVLwPkq5HpV?J$3&<`yy(ZL+3Cx0D@LbkccI{*#(v`9Y7E=udvQUyb z7qSa7M|=`cCgf+9=pk58|M)&6qA+!#(A_fZ)ugq8z|EehE-B3g;1>B{ z<$Ha)&~(mCpV~>()iA%>ywBL2!oDU$g|WPyBYW^O+1fd>-u^}uPM*Icn%TVX9Kd6! z8-G7@Y@XM-o8F?~1fYno0T$-it$K)saHAh%AH8euA2V<5aD20@?&kRQZ(G>`X4#e} zXQxOkH}GW%7xq=q&&vE{JV6`>t$|4}<}knnmv!K5ezD^uI>!6MiMJ39hen_i49zo+ zR6Y%HmXM$=fLX9J@X8AoL?Vsnc>gpBqyNu$0fkOIXGXK^Q9kSX76@^Z2@TaeCBdQ~ zPRK*$FJwho+N7e;Gev*a0{&`e$lYMmJ(xL$g{On;8?7~vEIDh&t!TFXy#w%hU zd{JH~cSVUCQX}8yuT>}1MLe$n8;sJN0!B+nLCvbAIcB;94c6qa`S*zF^`);pUeN5! zVLnVAdX1*h9bywt4Tv%cZE9|)3{Q-Cn zV4TEyBj3@kul~#A<~7F_I3moyz&x0o)NDidHYb;RQ$9Z$W^k;`MY5rFV_DW#@n!VF zny0d@?OI`>T*~3`-L-lpB(3=bFQl8P@0N3h*u@uLK{>*79Ju>I026!l<5LBye|>4- zQdZ^q7MwJ%BTkhu5}VUcDr`j!Zlk!+6Vwvw88x%%(|TZ#Yf zF`h0|l*Z%u%fQwp>w?ZPYNmXK|I5?Gz}eyKD_VS*_>88@SxT7y73BRLc)N+Ca;%4c zChuwO5jOQ#Cq3Qt6!H1Dbo4>Bzo#QPfQf=9vSaHZAmZ_(3{AlOJJO4z z^kG!Qj%PzUk{bMm&F>_UZx8g`SEypu*R9SgoCtSa0a~f<6I{nh&2Alw6x5KchtAch%`qlt&W+LL!)wxXaU$47@(g~9E11~FP#qt%APB>_%4 zt7rf90D~R(i32m5%Ayr^QW^3?z<#2+y7JU!U$1Sem4k!bTzE2dqWpO+7+@mq^wz0f z(nn~$z%bHRj0(dU;A=^)j^dJXpoEq%U9y&L9dKAMWIm{TiG_re-FpD_*l9Zd@_5c2 zKUGrNkx7QyL(TcK$FeEY74}y*K-@Sjnz*t}g?!-?R=9Q8)%|@BNH7m)@_$*?aI>|T z5rC&5f^#OJNKhr^^&&!YaB=-_v~W^q-5yT{*>72MVSgf6Zjkh}nHgrpoQ$_do+}~7?+QKH2JEGiyWNwPpD`t4iJNN^ikNXuwMJ(l0IvwkoTCDGsdgplF2f&JXSFkAn! z2kf$hX!7SEvZW3arUfx^_d&9ZMGG8_r^UOCQtU*k z$usJg8Kc|{i#}xW$rA5x9R*6yT8hgDAY%l;Rmcwoi-;>F!jYKTUsIC*jf56D%=2JX zbX5;3h2M8F&NAcL*OI?e7BrnEwUiHpHJRZMJ!JW(7pNdFaS3KSTP$)oTJ9{y9--Do zl3t|6ogkB#7j>WjU*v&9g%(HEmm~IkUlwl+#tebk$IMgC+t3%fqX?v?Tn;P@CJa)@k1VtHj_Xx#4^Mf z9>YR9EMlgOs$Zsx(p`d>%LE3) z8OmuYh)s*KD(fCmR|;75xR7P^>WkK=T5HxD9=@dU9g>vCw%p z*aw%J`P}n)YnT-IYtp5@?t1aw`Pt@SUdaPNm63DcT~ZoeH;m(4Hsd+TeYIwq5&Jl1 zcM`IPp}j`CHhNp{^v$PXkcn1{r z5<->7$9lVf&`;i5^eEq#i3vk?B0iVGM(kWhJpK0$3z+Jvc8f)QlEj5!%iH5gb)POl zhZ-Bl@|KU)&NiSHzr9cfh}V$1&zqVYVO7t-xOwoq7?_Swf8k=qU^vrHZguJJid@4h zL_dHN?@omjF~ynt7Gdm(OQtgKPClFCe9J`TLJ!j&ledOdt$P`h(=~=3_b)`)mD`qI zBFKwELk*ov?NQGJFk8q==3dmz37LYFdo3s+-naSR^aQY(n4GGLh~=9}Ttz}w`t$U8 z)KV`s@b4DadHb``dt5uwd|p5yx%g;WHd43{pqaC8($p9arEup&IUtPwFU<8UEzgrE zrw9iNSXM|EHRJNRxsThdej}aSw|~K%zx2f)nkBVq-I5BR%1#W3zu8BJw}cpB%Qga@ z@|4mL^r(Qm#5eWWV~h8vbo^D)f5t+z5*uX6h}lnf%!zHsnKR=5wAUFj=n`9t;$RpN z?s$-{RG>|#CeI6C;k}7qeA5ZPs6f0pEO8PFUr(1GI^UUlbbMdxK5o6A-MekEDwFKHwDk2Wda{7L+RZ3n)z=Hw4g)sC z*E`Ylc$@VzpHyaOYI4^ww=o%1gV9Chem?b2-vX4TmU9_99*TahAAbEZg@f3t@TnWh zx0YR#o#gbg2FAYc|h#eRcy9my4&7Y6*bQ5~H6EvWQ4zGD)BFh+E053vr4Q z_PHrgu+O2N{kkf^)sfRYdPiY(bb<{Q>!R-4Ab+8Cvfd%l{B!_4ixkoCV$mP~k!V~T z4HH=(^~tvq?Y2|Ug(yyBE%5475184lAfD3|l)F<8vYxvqc;$7V`q%DKBp`s>R;Nu` z=a~&JksByxV+Ezk=K$gWH7-;rH1pmnyW%eCErZSu1Fj^jf)xM?N5CCEJxIUm-Q3wM zYT8gUyuu?Y8cDPxQQFha*^IOV6pw=7P=N3cjV38HI=_cd`rv*ut;mm2=*$F#bcA{C zEHo**?zTFRq)j)F6#Kb z1LUHr`04Ds*UjEdy>?gIlT|MNAEo3Ak2k1?(3@T;?$BTezqwGCKOFtAmmbNt2nQok z7K`*XCFd$3YdmD!7bVk?Gl6L$9*wu%Vt59miEe(ktHI&nggRm|!Yn{zV#|=!f?E9n zN^fRWsfft2)xS?^@BAhq&cq27U|Qw#f`t$+fhc$<`zOj!Fl3&)~N1BO$lNMthlTzx>u|3pQgBSbRCI+O3q;`6J+YcgF46JlpVRr<4e#2 zmN`Dz-#{+kKI1F9G%K?^?(Hs6R?( zN7D9@;ist&esjSp`__W;UZz-JTX`I|9(e*|PULotqWISM5E+3hm`s#G{$C^i0Pm50 zQc+^roWd>=se+>10da-oyI=}CCowMY;r%WWP0B=ST?|?ADI%!fwt~J|@^YifAv)lT zGWW0Sr}2FfweBz3tBz^>1+6g90b$B6se1o9@EKeRG`mYWl7^4sEcE$==8Z`XY$T3D zlfwO1lU4neF(ZHpTCW|yvw9ppwCH=tk1&SOZ-sA+=1)@1gdvioMj~$fzO$L!E94GI zQ%+=?MHiJN#PyX&RQPjy_7n}D(M03UFC%~8WNj69rH?a+%w1A&$0i`^#aM-qV-}gX zW@&6grMMmGMktgx$k@6kC%$Xt;z|?VrLQMOGei^)xvp``?xH2K{F4$ewTMg8Ur%|I z3&j^v_K!BZS{jW#_yiNfzi|J*G?YASEdlJ{KM)eozO@_)f!`v4v$U+qfotJ`v$e2U zf`{RQbF_2>g9o{TbF~P*fV0{`u=BJyTS7#We1V_g5YVV!AapuJG3^&vIRJ5i`~_yr zK@`D3aPYJUZ$QK*e1X$;kcm29pveg2h}9QJ#{%_F>fl$OuH{I0~Hoz z`vtQ4!AfaEaPzeIEWt*Qe}T}iu!{h2Hc%ZbV7#RS3IGQQT7v{kwDb%fRG?*{IBqw2!H|wS|b8rf-)@t^eqD9fE`HC8`;;rtknNqBB1`dw5$N= zXhCBDC_;jS=mFUOq3tb>vH)dBNH%V+uil;#m4}u6|Conzva$bfS_jn23}6Q;&(F_~ zw>YpRveqP~uy)tCtBPo-?B~ukv#O|%y^fLV;}Y!fYAo?R<ZonSEVvf$_B6Z`HyOj$!;*KjcK2WbCc{HsFjx?%EK5X{t7OtXpFX)mesVb z7KJXgI!E7_P2qIJqvSrMYjp;GZ|(&K{ED8r#^NoXn;m$THGyqbV@5z;X>g4H4S&=- ztQF$|mKHGFFG2}MsWA)DT1??zS6Bx*(ApaYM(~3NX`yaSeTt+GED%I^HS_ysZ3mxN z18Pl2Y$0eex}xBZK2p36@5)RX?HbrCPF_(=9egW#;V;NQmQn8}OJgP=MFPVT*sK}z z3SUq~TJ9PM?xhfwu* zHG@yDb+NP>A0Mz&$2B}fs@|V#-bz{bl!YDF<_@A7QK5?7n(r4Mf4g6(je9AUXNha` z60_3;`>Z!vY*lcnyj}`-9ijOA$;l#!^An0bBP=GwL~kE~f1WpwY4m&kq5#*wy%t`p zJIGUwDeYJvwU0`Rq}VwF-5DuN-Z+@yj|TxZ?Yl$lS_RPH*_l_YDWFdeT9 zTlQzqt>$tcqy}O?xDx+~fPq(E=2-+;c;H)skNl*{XC$K@WrQ||phH9abTkS$IU{El zG9u;;MFgDz<7s79X9ekD_b*(KB2HJ(u`r(0;C;{XB2o#C7Yb~Opqm!TO`|tWO6nc! zy`%|f7mY>KXU3j%`qtJoXwyW6cGU$?vO{%BQs6r&Rz7{9F90zXIiL~vj{sF2>*Ex3 zfsZ&E^BZkkv5(voc9ycgf1i51rOlx~XJiguM5IN4n!UlUMP$H@h*<}$DcA+gt5O0u zn5~r+I2^>m1t%OYuT^lO9t}gHIorQ8;E$=cu<|&e1OzDgfeGD(prDzqu5+Z?m&fd2 z*bowkXOfUvLg{>#c;;+?Qz{Jl^Uf!&Do!ph&fV@cI>sDSJXUx)vGa+r_`PNzIO}#F zV7vo}3}Ykf1`$d|;+mzvcXfc;!m7JA^&sCEZbZg6SMsT?g@y=i)a3PNXPPO3{D{G1 ze6H!-luvne>tZsa0=;F~(0+J1w=xdNWUubA8o0{mQ~wFq^75Ct<>|QLEC;@V!tQrO*wyWlUbeTVWqFq>R%EUvjI(;ru!Cl24x% zWK`{p+V3UX>00T)4u#xwFyHD9Qx7CSQb$zljztX};xC+mvmzn9FcLt~EhV;s-bNIG zKMPQYGUd3C@#}siW4Qd$?2DyAFK_Qf4h44w6^;*17yv#*(sb=QJ9%S7|S97(=xxG2jX**+keCWw$O;nw$z;fWghY z4bKz&WZ0!i=>0xO4~4kvBzaeMMKb}E^inDePe5If8u3M(E;evP(@}6yC~8~Si|&Nn zE?jNrv0jg3d{n0AU$KPVO}(~hg5oeeM!y;MLPu{$`0WWPw*@|jUBr~pildi<7T)j0 zbRm|Ca>aL0LIwYVQ&;Sl)HI3PrXER-;353)B$SiFU;?4kVuR*YGVy>!z^V~=P+$D+ zNzRO1u`Bpk#u1VpF#;*ZKSiayJ`3-KEMyQKIX->}bFBi*uE@WL3Za!dkKE^%E3%dcB z@iP(DO19KQHCfw3Vl=feEG_`}or?9humsBMKY8$qeKO>!_y?F|pCnZLpAEmED)8i3 zMPJ15W~8Jp+>H+W^+U3Aa1 zo543cpH&k7uzey#JjvO$MHc)0juGz})c6fJ1|}Q`wB$)WX%}Q8*pc(#Zk0^l-fm6e zx{|iof|3iOCDV`1)*`r;l%B8Vy0)^DH?uFDtI{l9?)o?0Cu#(GIc=i-WeX$ilGP6U77t;+ zG!Igh5NHajEvIXFgjK9`wV*K8WMMUMri{N9(8qrKI9=gbQpOZ`C02<^;`U#kN700n z@Kk(w8f<&89cwA#yj_KaI8ycdgCc6ljXX2xQF^#r6Wt#@u6r>ZLwUivYbzN~8mm`Y+R-iHWN)cv>=86uOBMF3*m5nQXxKX$o&L>aD8QJk-+{Xq(*Bk| z{7S@ewh5x@Aecd$mI`S!nCiIP5&yK*EdVtf#Lh-Nyi3a?Eb}a}(5eUwMg-$1oAw$r z0cLXg+_Eli`(JD59s?^clPy~=8&jKy`Q>1meqtGKEQ>Spw3-zvb?&9+2Gm)MTEIYJ z_zIUQ*hN6(M&F!JheOwRCzqFv{`QfvCrvaB1C!E8ly^6zA8xG8pOE%JcaMvp5DWqj zJW@uE{q+|MqFp=^;w%Q3gNRz$NVSngfh1fORCG0IdZua8v66bHi_4A~O#>;CC{U$| zv1BK~M^zhIh588Wq#S%rwp#+1`7X^67jiIyY~9E)A?HqyA^2+M{Iqu?FZR%x&I##P$_ZMxdefQZ}(lKZNj06j@y2Io{2%}ccjbd06R zEw?#hIzO7qXn|m+VZ%-C-khPzK`^0zVxMEMZXrA7FL_Qfd-HLaFg>~hNu29>tFlYF z@|kfOa|OcMN6J8V+T4+bHla-OlQk^1NP>(lZ$OLnZ7j4|NTABhqR8g13WKLD2<@k~{X{5EfMowvbRtmSXb{QY|QZj*Z54g}`?jr~&=vjQck zkL48AC2w;sFcV%#>N;g6fpL*y_B`)8i$}c^aut3~T6-?QOiOX(L>Bf!9XJZTPOdN+ z6^I31znR#hFtZj-2`DmE@|2=)*<8u_+-IL_FtWp zuQtAeNfi>*vN<>A3PGUAY;KCY`)8=^dZ?2Zs2mwPSv7rH$+TPwb-4=qn{PaldOvG! z)-0;@f(s{rEfaL9nL&(=M9|z5bOR{V@?C2_HBcmjbvdWH{J*00_dDQ-#&0AGa3XZ+ z*@9-2CHH5DC;UiL(Ak95G9q9KZLut+R;d=(h26ekjz~}3)>yH!(C#-laz2h}FYVQA z%tag`>!Ig;u>RHXyZHwbiO6s$uyF%0#a1W(Mb;?{)Ml|E>6@Xp!Iz?(P-?|bp^i*R zhE$b-D@2UM{aqrTh*z$o@ILZDzMMj?Jsppt5&6w6G-!?3jq#&hz61AxLSt%i!))uI z8yVwzapO)wq~qu}h{UiIpJu+@f^n;*$Ye=H&NqG2l-3wUNShIYS9^?m+@xPr2(%Sx z0tKoCny4^x=^T?%L9u&DoVnKq{VUu)(dJ>}XiANGN&Fq&=z1IsRudA8o{zjQtO@ zQTs@8mZ?>$kRj*aD&cQ>aIOZgP!e<2BJ*?-;NT{`jD(CQ<+tko@7T`riJOA-umJA9XE4+~Ceb$@7-;sA)SG8q=Q74v-7R>hP< zV6)EVom+95M_uK2yS5EnQ>(F@kK)BPC6t6K5`{6U1GaJn zH6Wc-mXu)%jj?O+B&h{|KcDVN=8x7|AmkGD7>^f2T$0mhBV5J=LN&u<5s#Lf@Mln~ zb5G|uj#KWM(jbEWlgYZVgEP;?wxX1&|Lpnl1=0qO|J~W-$EXr4)$wIY2ww2TeNjEX zX|4h2UAy$(afsngFV`AGJKnXGbA-cq(B|4V*v<8QgU^>!jNFTJIDVMR_bPN-;H~Q# z!5tG3QZ1|iPGI1z_2m%+pn+=ZP<@Gd<>04BG*j2RobQFf2Pdv8mEq^4F#f%9dDEMX z-)Z&WqI4JV{>JuGfCLk?Z$`dzzy9Zm3@fj?Rtt9yE^DGF zi2KvcjT*KW;Yn){{_VPw8`E-6uM^AR&o56p!SI?Vdd9&+E9UQ_J}&c^ngvu=Y_oU< z;M;@P*TqcT(HBE|I=+~OpPlb(c#+*tLf4r%;dm?!!~f9lXRSK{aOblaX-vQ!i8N%xV+;VV9GP~#1fDXG_$#~^6H#x^ z2qnGPvzw{_nTm$v`-4dFLjYvM(V@kcR4SYXc8g$F=o9ue| zrz3wMta^QTZ++RVpwp6M=-C4Fba#rE8TWK3sGJqn^e+uGxfgX$d>543)#U5ZF(-;5 zbD}rkT)NHn+}4_^YHUdoq`huxC46kp1Ljqmk@zG<;4t45{f@~kD|8lUIi4|)N8C#y3 zwnGSzBGBCP+#Ir_`r-ZZ@OFM}Z7jRI_sdWe=3u6u`p%%euCS7R!Xpi&3Y|04qL>qL z%#$Yki~GEV6n+6QnzkL}F`x5yE1*uPeSmH@J5MR&jk4V+4mbjMU&`bp!MR&C_Upz& z^qz+Xc`jbY_#}OpVP$M6TP2buZ(Vw9g1^YUolb8Y8QHDOJ!Jnh0j>9KLP6l%RBGnJ zvR8KRL?AGNy4N5-9bTeGCg3h{-deML7uO$aQ4IJQf^zTCi)PdImK(2se%is^&@{P1 zGPQ&QJ9TNKfy2byOwh30h5=-LMgvwno2%@qy@@9cb4rgj(K8bYf1tKe%`E}tV*CkRE-y1J@Ruy z^w#n>gDAuSBtYFa1irTP+gs4|wgBWuwntb}3|dxd8XT1}T`&_VUk5Lz!uleSsNN5M z?h)_}7o#0(l>p&~#hg&jc_vxDCc{yPuP$HF;P5#!DXMT@K2u?7DX3}CVV1h|U?83{ zG^MCKI1$`rW5|&z?B?U|z;)kvR#w)h*R2=(3N;ka4#@F{W_7JQ+to!7cfn(G5j$Kc zB?jRFyi} ztAw)E3FNiAbqLP;82t59IGM(U?_&FIt?c5!%HPk&_bRPIr*QZ0psU~P_bfr;@3&&? zKZsA<@MQE;8yev|U_Ce2aPkL66d|frzCp(PblL0|yf7#jsv8oA zd`*CUX!*CpJ@r6GJ8{YT(Y3?9p>z*Z%c^lo;Rx7SqHK8FgAf71r%5ZyLFn%3af{1d z3>4Vld9^FGuuLc5i!Q*TDlikV^lO#6^p7scN&2<67}6<1hfl;`3@J& zv4F}+b$Ct$kJ~beY4zeM4aWn8h#M7zxW+$) z{DcOvH7^4{xl29|5yVNv-V`e1oJW(AUx3y!#e3~ibjx7Mud_(xCWm4fV}m!w$YtWE zUdURFFL273=C7j@rPTq;fka|zLrY35R}=L2w)G={byvp$H8(Z%NSY#1`?TcptCeLu zZDl5Zyd6_~Z=uMk@Ngs!_Q*u0c$mx3x37M>SQQG|jYi@VH33Zq z;hWPWvdramtTjUiQdlI4qB^w+(8aK3BXdOVc<3v$?4)W&<|qa2ehoK-W8-T78Lr+* z4M!TIB^1LV+tL`tQeo?EZDvOv_Lz>+^5c8qaax0IU)FvFL->~>t2Zr$W=*l45+M=O zbHy(=DPbB;Q)DzcR>CER7lo6NTml>#-iowETm5-sb}+vZmRMdx$Hp@Vi!j2Xa>yX) zxN?P9h_Bk&APyifG{UbS^D4 z@p1obsf3co8!H}i(E7%uqW7JtIl`qw6F$*<0n>Zdt_qMpz2F#JKiHb7{cv&pWAW}Z z#Q#2xvWKt>H^|5^|A!8mSS_UW#d)Py_!)$_DhO4EEm*o-BK+(E)$Uq$5I@;I(4Jz^ zM1+0P_~*a@JW#|F+^U6dCKG6&krw6|Si_rawpbCsGdWOoM>^r}k;c`D#*9**3%fd; zYWo6V)_^o(>=Dn!zmp5g!zf#;P1B{@hummU0{4*5l`?bdumTSeGKnHTmp@UCW|9xOdhQbCGCeIJZ@$9mc{iO!Mj)o zO9PwLravgUT|(>rqOQi9$(eAe6@01R7PkedYJ2zhQqK==2Z#eokj_ZS&3eEa0i)ey z2cOH;3$&+xRPV2w%vPkv?cMREPAXQE^B`62HdVqo&K*wsvrllR@=}rPzhPeppaJ(wbdj`nc5x-rdUuNLGIE5ns6Im1+u`ghH(W2(__Ac5$XjMcyiFsUm&^8XrR);u_Y?d zQ%tBr1=5)X1NjpYt>n1PGr)vOm(Ug9EUyaKcl8`0Ty}$GA@=(>*aI2$;CT{IOUp?Gy- zXG{qC`iza7+5Kh&QZ<|&GZnvvlV(pCl&&M{j+~i%oV?wy6HPJIL=L+u+*ekfeR!qV zQ`Q{IH0#^ml-92VU_;1Wz~A{cFvJn5#vhou=e(dOYbLGQb<-0y8yTq%c55?5ns;|o zwI(V)EBopl6I+N=uE_{}`hs0_L>UTpzbfxnpy@0Ya)4I@5BRjS>IIC>ck5cDxHNB- zII3_1IRvx_b>y^##~<>FM|T@7dwg?pvzHp((=@0A*38OKR|L0Iy}8ei$31QW zjm~VJwS;=$VwZr0Tcs_emd!&TX4pV?kAQ%Gu(^*)Rn#r|gr9y@s-M=tP#lwudz}o* zQm#6KmKXQg7b-G4$+!^BE zG`mt<8h+I7-bfUxsw5TtRb8{x)DPKOQByUS?nv=`EEj5&sKJw5RkLca&Sf*U~`i!*V5x z5whW%D`usT(ryP~Lf%BFb>g_$1b&%psng#;e%6VBS1(u7YQhGMdE&U{1pb(5n+Z$I zmnt&B${|aRqXu}tCA3`i{f6(i+96(Qe=HZD=+_0Km}8=N4|C)bjG_v%B9mZ@PJNVa3S< za}Y0R^!rSxBc7=lHGuAw9~0$uwaB_g)gI6n_n zdINpXNlBKdup86s#a#{cn45})kg75e^Xu3Sc+BHP!|}7(U+TJB2#CjVq z=446S)mkiG-z;vqW#^>~)!6H^ZZKa|Yv;3h#n-2Q?rK`G+qi9`gqvd%{Zo-kj%%OU z>49VYi9GrN-Y9H7CN^pN(E4Nz0Y40SpT8*T%O6kkxt(6G2wp@}yM4%eZ`WCX0SmB_ zxHP>=8z!7B{#z_nBaZv!$le%;9y@gFn9}n6j+OJqR-_ha@R98>ZX2;{U|`|#%*%9Z z67w2E;V*G<^LiY!Uat4_r}FHY#Z6>Pd=@X2vT<0CLm0r;O_{SJvvPjd?oLP27c(ph ztx|@J>0v~k-;dU!i9DI7pcYqY6L7zu5ei2^OR2Uaz9ShD2{YJ?!8Qmq+=Cn>__D=W zMAU&D{CySw^ANjLkpzQKm;YeMRIW@IOp;P;7>Thk7X8}#+c((yR^NNa%)RoJi+`np zAW;HP$5vP78O!F|p=dSArUe4xYd7zuwx+xzoOm*Zuuh=BhCZ1_+$R=JnU)CUNtyj` zc`4T@Vm{Ifk4j!rMoBkd61|W z>K_&Fi%*pVKHg`W!@ll4Yjc<4CvC+-??pgBydLs)l*xL9;-&F>QvBUGV;jLb)=S-_SWvq@chTmA`o~8fEa`q3%~|)>%%ksu=Y0pYBIRtnKX%YS%}$) zS-y&@4i5iy9volBv8wP)GWHe@U)g^)vj1h`#Jc=ElA;ol+#KR;tX!OIJQ5rdoZ@T} zV$9s!tdcA&65L#Z#Q*<@KGOdgEMfUNmiB**4MnPqt%f?r@a6MbtsyQiGYa(B1jDVe zjt)G*U$DkvxfK}E)dT+_ z0uANu5e8VxNLoTREJ87r=Wg$3Fe4wl$#!D0?{ zMypL*!RX0bayN8Bqk2u8?G7?<8Nua7o04<~9C5W2FPPgF5${Pg68RMEF$XAx4+aj{ z7Y4nsqVPtYq_k0VwdCS+}G2aV7X z^(hQH~*nM_RFjo!-u|?@^WUMZoLu7FQK!0X1 zm_Af)_}IXGBb+SgF#3hZpOa)p7+E`QI5qq*ia|e&vZM^au-n8-1jRzAugSTgM+O^q z@MkR4$dCJ=nZX%@WSAjqARcz-Nf%(E5b6I7Ncno;khl1C#Tnz zD43xcT_XO4|8r7D;n=Uhr5#kK0oJ!ZvE+8v;^7OV-o`}%ubl5N_CECNhR7ay;8#8U7s?7d#KPOR!7eg)j94hj8g?lgb9>@xl|}$#@;V zM3Y60X%+>CK(xJV=Q*N|P!XA^J&rdgO|by>y$_-el^%lqL<@!^529?G8+HPzZ;i-2 z+J#)aT{a6vBfthhNHE`W2B<^o$N#TaxtcRj-H1b(&lctsESs*T@oJ}pas|xlMTHE`xk)S2;+zZ#TF}j-M6XP6`ua_{Mit<)=n_RhWzL5Mw|s>9JIiIq;7`!%&%=qfF8K z9~KQ+rRXG!%8#X<#_o{kC?1XVwLF6`emJkhHA>o|dhJu+_b8nR_oR3}5)YFexVCT3 zR0oPy$^RzWOWiVKtrTSEW$D1%DO~0LrdnCUU8C<&&dm;JK!onoO@B6iu?py*;<{kN3siTVuz?|} zeQsUcP)RQ_u4ET97!OxBcvGD%Q}-{Y<~2?M64m-o*i_cQR#v;3Pw2+0ET_$0NeuO; zM^iN6jyqVeZ%$hs?IG1#+CGz;u6IT2qp(RzvD&}qIQ^3xT5Vya6r4