From bb32432859220f3ba4c2dbb07afab5a24ff112d5 Mon Sep 17 00:00:00 2001 From: Stefan Pranger Date: Sun, 20 Feb 2022 17:58:59 +0100 Subject: [PATCH] added seating arrangement ex4 --- ex4/practical_assignment4.pdf | Bin 0 -> 89045 bytes ex4/seating-arrangement.py | 157 ++++++++++++++++++++++++++++++++++ ex4/wedding0.txt | 11 +++ 3 files changed, 168 insertions(+) create mode 100644 ex4/practical_assignment4.pdf create mode 100644 ex4/seating-arrangement.py create mode 100644 ex4/wedding0.txt diff --git a/ex4/practical_assignment4.pdf b/ex4/practical_assignment4.pdf new file mode 100644 index 0000000000000000000000000000000000000000..58bc5707a3e00ed626588c55180e759bdd3d11ca GIT binary patch literal 89045 zcma&NQ;;q|vnATxZJS@)wr$(mZSA&g+qP}nwr$()`=5JfCgR4Nh?%UH%zCJL$c(ir zqgIkCh=|cL(y>C5&MghEL9-Gt5ZD@8Li6xI)61CHm^qmfFtV{Q68yggO)q9)?PTIW zKrd$f*U3c0#K_jz1e%Wz+R@3ucnTMa zIoEYPPX%03q#Psgl&z=l&-j9?VRyYY0U%Wn5AljxtSu z2sX|tQI*tE_Rxlp55(C8Y>KEf00{-bTQ z))fd!GiR$hSmuLIp)>GLsN2RHs=3SNg);UxQ)7U1is^9Ce5i9WX^XhHS~wojUGRNZ zA*9N9duu5ER-xP_oV;8aNQez_S`ZCTt8w|16>@3sWe+3#7tI7syFnb$)$*a13UP_K z1#Q*c?x@6b{A*dN&VZu=Z?4yYDPMn+=LrHqj{bvqPO%B=`{55JD_CV~rnxz|MaDE7 zxIIB{LR=sZXTd=jPky+I011RMi{fhqA)ddv4v)){$l4})7tknO-=itqyH){mcMpZb7vx_@L1mZ9Lp~0F^36Td?p8r;#DW6ezp02=-H|y*hu|mbe;8R%>TMaL zBrK{UeF;2)`qo0r{Pe}_Pt}~kuK)QC_OgarZIhP6vlcGfu}4Ob`-Y%`<2m3GGT$(kXY5P-;K^+5I{DmV`VxdH3Wfvo?A_rlxS zLCIv+Elfpy7N6?nnM@dgzmDlss{}eWW>d)GwFn5gf!&k~{dGTZ7(qbPFPlXC_eDKa zK9x_>+``S#7%3je9N_i9EUvV0^}AgdWZ#zQ?gzoHp{ z%>reFdlGKY}TmdAW zoW$f>bl+Akoab{QMWwDZMtFhK4NM)TWdry%dRX#VT(JlAm#K=~nl`al2JE$Kl-E$H zq~O91cM_{0IiBsVb;X~I&8T_ewAUZihXsqH8`}2ChCC?DIS)MtN%A-CWNA;R@~mXYiT7N7hFw9w z=R(et6@3J>G=4JX?imcF$=l(Y>V!#Axp(R4gPHMXp#fJ-Pzs|Kqorg})`F0>RI@Wq z4mF2CpCEIFyIBz~AXj)>;m_NF-D)kK6*pCo_$|(_^0Oc$MER>5R0IR-oAPf8;M{H& zgp*1mMF`!vL|koPxtfq_^%xjUFM>3E$Fijm(XN>r{rFn*z-|mH;&@6@i1xqe-Toc& z8|k#Bo~>x2m{8mh_qtS=G_=~9w)BHG7z|Gz8z)e{P3b#UhDICHxc_cj z(R>Iksca#pMc@#nbu@0fkBdZvSK^F>M5PswI&q+#G9#nzur>me;*0+#tj>WxXgahRq{)b^%kYg<#xQ6E(y&8Tn%N>uCs-1Agh&wP z546Y(v0gw6+;C)W;d*+hJWOOVNqlP1r~#unSy|v_2kmxu8Ny%1f6JDuZ;T5$mLwk0xWakFtdPjp(7ZWVZgrb(bklE1hyL7XB1I=lj#E%Z zW;J9~I%cvmXHGMGg06N4giBX2v9w+Rw>qNz5uE4BG%_<{zG-1jv1#BO0p-q|6)>im zZZH{sH9m#j>-LLk()PDT>gg=dFf-_O{IgWW97RCN`b82cDrEK>Ey;jMb~K>l!JLLJ zD{kDLRcNi4>K`;L!6cBg7%~ti-PXBcBnmAmomF0aZnron%La?O`)bgaTEEMlptj%M z1}n0zVBcH@Gyw2!2w&yzh~kMX_M{FimIws+Iu)L(T}D*mzZ@xN2w1tGsB**8diaYE zUyekyl<;7cZsS>i$3t3;J}DZgQX+FymP3(+yTX=TuKXR?xrCIMEw+)jvWeLy9}t_i z?&4~J3TS8C(`9|TvxYB$k~X=}POf!!oKayykiv-^*co^?t~Z{y#Q)o2{n89YlkjQ3 zkcQ5kAy#C23HWo*qr!8Ph#4Fg6J=j4@scUq(bkhshHh`ps0NAb>U=%K(Mn@PF``;~ z3EX(zNh5tiH+e!QUClg3XclKQD|*1edgrIn(8ar#Cw&h3GND2^c&co|pTDZK!$g6W z3`i$GEb7UPcX0=@j1Bw@H1}ia0-yu66-!beNwLK)sCj~~DILppWlp|&x{WhDVL?@419N@vmIQZ46Bds6{H!%u_FmR-0#TbL*+!tWh(-26sV0E9 zJ162c3_L-!aN}Y{#Xv6{cwgZkP7uJocm0ah2hU>@0x;!w6R^bv$bfVgKyh7wt{k_~ z;jYg-LBjj1o7%)dC_d}*vb{U~?q&nF-?&XF;c|ZhT}A-6@`CJYI^9p(<@7TwV@Nj$ z0Ar!SOrTn^A`-Iz>mwoXy%#{SFCy80gMA$TJNB`%vHX9~NAQ1sv_~sX#$+;}Zl6-G zffpU@VZ_dt6=Ic_C)rd`cAnEn2nDEuK#r*-Kiqe>_y>t6+=F;sI|BG#@kiHiV(z_9 zw%&V#8ix~*K)EUGK&*qfK~ZA5`q*`%koNtNY@*p8%~Vnijn=d59H}c*zQU>h@!Aq! z^6Ch(;3yBR>xKdpX%D0^d}a?x_2rA(65Nx?(_cEPn9wraplOX_`_@~c$c4Ertn1XHEY3^UEc!a}`YNlf-#HJ;|k+-=x)PmLQ3dk&5;NaZV&a`_gs2U3TNX z2DLq`Snpx7+ubYcgF5VyiDxwJ0)=N<#4FpXY_{)wU;B-fSp~ck`rOjBsz==jNKPfu ztUz8Na~}AqdByYNYi38{CJ?s#UiiQH)B)n?yPRfC3ejU#(iMxqGA*Ja2Ix6RyZmU~ z9g12T)lLk6lD@%T=0$NL>X_!89~TCz!kdY&yg~t1Da%MwxDV)ou}4t1WU7yI$-qCe zgJWhsk?pja1nbZ7!f>08NX~UH`MkNd`&axRzWJ5^dkwNM{BJeLNWjR-%=kasNG1YK zMi$Qh88H(u{7;vFk%5to^Z&BHjBWx~S=vQsgQbviJp~GIa&--4kw6#(5{8?ai}qWP zkSt}9aCMa|Bp}_UCA^OO?Rxdu)w=C8t=`S*er>$GG6Q&E!~J8Ulr96;z`r;f7#W_S zgpE^7WZOFcvvYW;b98VhoL{^Y(7EdOy_`RL?qlEpyP)_2Kw@EHo;{Q$f_LzMEa$}l znW%dLVIcTL>ZeHyq$Q&CO^;JPu_HpG{22q;CP)Edb@5|bLV^`9O!en-A0Sv^ql6cz7PQ% zKl`v?{(10n0^;&vg{*zhh6sPU64Xsx@9qAA1L4v7g8IMMofY!W!9mtTXz_sjP~btv zr7nO00l2>^`8go}*gN<)4idifdLF&uo!n;}xzdpQfo-Q&`%XYU+ZVHu7UTBj*nCJ(L(}pgZAMQ z;Kb}gIq_uo`C_*FR02Hjo?QaCfUEE~fj)(*`eJ>}ckJ?TF!w+l!9P8IOZR(8S?K8e zNWqRk>VUL`ap!-cf6D%7e^c_${D)3~FzxvkVqyB;KVN6ZkK+HPD2RK``tJKir5!$7 z{R4FtPU+S98Kt0wdj@iAyuSxsYkTJa*3tRu0`eaXy!9QO2NL?JIOO+A#;wi+%IBZ- z?keq-cKM71jq;_1MA_>#Di;Q%!~9|Rk#;hY4%6Nb#?Ju1>io~U}An@mLY!II~Ei?Cx4qM+kpVCf)n!_ zKe<*xeaD3O2GVe0Fk>h39be_E-`(afh~jmBP~qRdn}F8ZI5>YtU)ppDI!8}If5yi7 zW%fpo-*1x~VhGBPZ)p#GvKSEmfO-`0!oMpXfVw&I))bPi9U`EEa;)Ly)5X&Hjh=V` zt0`b^+=fFtfN-$*RQ|*TwE^LxGZ2iyf4vcCwSQHfzKj2!^8B*h@nTmI#8&-k_YaRl z?D>6B^D)H_-t!NQg3bAg{D|Ll6}>V2-YyH9e(@@PLFE8 zYyTWp0|)Z<5j3@9QAm)iwQ#jPS13hnW&d-OvCi;O=1&iw_Jm(K@d$k8i7zMmo@TmI zqOvc;F|*f=xfgQC`PlL7Eq{6MJaL;&(az;=)TkbxMsKo35&1rJ|5Rf2PAWsS=1S1! zd!6C)@OP2VK;%w3Z_L&OuV-<%uif%Q;KBXW0#;$nmlrM7ue=tksh?;o7>BTfis^ zAxV;_yAvbB>MC~Sqd=MUz(5nBi<~xv4jP7?fp{J9R-Gp|I>MChFjbx39fo1LLGGL^mtJlRwCBy=ylu_vZvVWz9Z({ z>#zpn)3DB0?|rJgcVO_P+lH|%9H(J)wIWpLLjLo1$Jcwp=m-lVJXi5rf}sd3Re0# zK4L;S?TmNEz_sJO!MIMy$0O4+UVsNgM;A{?)6WQ;dKeqpv@k#kpWSgA_`Q+7@Z=~y zVBpVfCaCY)Wl93CEv(uEZz_WWy(p134sbpbrcEYBf*iV8vv2K?pEgy%F-(FUGAq+y zs|!OZ8Hh7YaE}D2`U8>OPS6yNXe^MCzE@q%iDi4^fR9aA;#-y@hU#7%bQ!Bn#AKRB zsg!l3^lSP^|2MZQjBezi+1dq6ZkT=|ms@DXEXsi_S(h{%^tA8x-Ag?+Nyp)8>OYz{ za~*r>TTS|vj$F+(=LvPwfId6 zNWOhJEid#P!Pu#RG`Ac}3lxi_p$!G?f^(GC=rz1PZ2lGKf8c`m&X5_2S8+@$=eX9?6+&CIo z-kqj%e`x&$yiJT~b1 zdPoXW6E=+ESJ6H@7rzayIZzlOD_v^*Xu65T3@pn2Nx7dxbM&&N+)%Vaso#_(Izcj% zRPyKzw^49w_rkXO8Mr>ySkumVQ`zyOV`bv)My*lIx_H^}Md^5_xDLhqllIW-#_$OW zjJbe`sq^9VPV(R5PAgib6(sFwU3B{NRdhwf{J2qP_#)j(X(^0^xcry1&kcj%WDLHm+{M=R0j{vj+PU)Dy3{J(Do z{j@6bKb7@K(Yk0X?LD~e;N-e@l+VmXNu{HsQ?pzjl!HsjV=UXy!EW(gT0X(|Ge1s{ zLw`7+nG`2XuV}T?V5dy@en~xeDkjal-S4kIxQ%k&sc(wHNB47!nI8Z{3KO<%NN8vf1-RWDgGT4EL&p@TcFP zT9#6?auO#)hefDbnjc~Vh&9z>OL%D@;e&T{J27Hp^G!z1fD z&Ag(Tl+-JS-a(QJ?gFKm4B#*@@j2Lz*>YGeT|9D|Atu3hDD(Bt*I+@M59lFN@;-(A z`2!2FCK;b-_dBH24M)k?7b!U``4-2@>r*DwM{1>;>ZH(kKS9$(2S84G-1pVElGM%6~~8O9Ds1iQmkyh7lMKfA*y^E<>;I z&p%{f`u)O7BtfUrQJW7YS~kYy-FBf@?+DE0=BdY#WI*c<4Wq1kqe*KTRi19v)0R#P zh<;M4&`K7+-ZRy(s<5-=j70g!k6o&@0;WNnPgM>OpXSW+pH&U~EX3_(JwiTI=z@)< zi{W9T<#_q{l{{2HS&=u)-5A$m?P9v| zuY}`j9YjT42uO;{=|vf{)|oR0HUU=DlbY2EzZH$Eo?-_y z#>qWP3YH7=kTD|zU;EcpX2Nt?8R#|$jA7*wo146g9}cZ#KN)*rDI>kH|K$4AFfCR) z3u(6~-q=QAiq#ip*1q4Zf-2CQH<;|oJU@}`6*FgK151@$h7&bF`ihSx*s?NnWREKR;oLium~ ztscl}Q@fIHRNyXfOULoNF5`X)qE^CoH{z_;>uVL1v!G8I6ZyNnkCoQ9{YiDz(Q8YS zAdO?736+atT87uq-}6B!LDH7o+oPQvtuqF^zv>2Ni(=i?NVSf;x(=Pyn$PZnQ!||y zvoxG=sTu--I>9mAgiBga)mVcHg+X;iQl4tCqP5!^QX#pjWfRs-Br)}SHdRi_BMUp zXxGyuNWi)uNZj${mlc=`3n$`qF77>L4%?Y)&cGx25n5^Ag-s8Xo}qs@l5f4xc}HV) zzu8#r|4ChQZMi+?$e)@JBi|g9pRvc9K<1#6zPUc`i4*S}_;`DpebA;{D|pAuv!^d$ zd|UB+YF6PoZ+ib2r5dQuqW8O1+~K3IjOi-#V}Ld5I*2pK~~Svv)~QI zSGO_iO$ed!3ejKJY0r`|_zNbLXHR&0{ieJ($x{x7VK>BDl$ufdr?@0HZErS$B zGdqEV*jN+Y$qT$ULMrAE=cCEj(y2l_eahUE^nQzcP1j7xM1pn7T1uR&1jA4-+_0FQ zkJskh2F8X?=$Rc^+T9(z-#+%q)=gHO!nUn3)s~{Qc>cE7KU9NJ~#K7HQ&D<&hpxD8XWBk_QNqyx)Q{hhej{v&}W_A};m3rP# z=M!+BunAh+T3#ov(DTpnr4v2wE;3$}%|Eq`+6%h|*7gyxc zGap>p*-AeyjD!e`tdaPPg889s>3uEP$-w(z5~+V>I;(&rO z|G7>4EF3AL;|RXEg0Tn(HzU{gx_QTIeu#z4I3~o>nuwV?h|s;3qk3#o^Zz+|e#Kgl zTpo!(LS4m`-}lQt&KRnX=W0@sR@mhMEAvY9+Gi%O{G}u{{Kyg(?mkIB7a>AmE}a+_ z+q1d-HuMEeynRY^IM!vg+9=2HVh<=ayL31DIK_r3?S+5z+36ae{ltusvD9(I%C9+YOu88j4o zsWKptfIWdQ%I4?1DweDlE5i!CO-la7px6X0erm@nD7di_HFQCSGLlEfwAjUYDgQO!Y#PtLzk%~6Dv0y@ zSR03-?|m)V*4>vlfUn@KxVRMJ=N){p>X6vQ&m#cxYm}KCDR;h2GhQbZGea~D(qg8n za%-k*myRhUhs($iV^G{WFRPnw>Kapo71v46QdjQ+W`9f7z@Xq^yWD`7wAjQBqHb## z^tQ*JO#@RbLGVyKI5$h^VBfXM2=noOiP4Z1d7IWK4(BXwWksZTO-UJFz@%&PRgEVF zWPmt-Zy9Z&PO}nVxycXY)C=?Gw`~TE7fPUV`5`J*;X2NLiwN&g(Z$~|t45(q6HB-@ zCn<@Wp~W*MhIjnP$qg?#`1iCVzKjOCfOSggOQHwH`aN>L)7@krTaK5y8_k&dDn+W>!8WQ{s1*;D2ZR-L6-*9`55Z z|N3|GW-YpuR`^O_kiSBZdY1_1i|h1NW~SPIweKnLvK=)j$#ZO?I_clR3wQXWGZJc4 zy-DAougxsGwnO-{HOJ9t=;6NSGK#~ew?SH3b;@r_va}yZAAsrsCt=Rts!qF8?Ro8SuX8={dim72dfj9G(77)*zND6dAtq#j?tta;R5vmw z>2g<L{to7DE zq%mjjm)ah5w0D$7y|w9E_1asfTe)3At2Q?E^Lk1a8)1f)BqH#6&}rS2gfP-ojkZl1 z!MSnjd~U=yFx2j=8O%UU+4wy^{bgcPvN5#2-`gE`;cW`{v*C(BGep))5o8i?hcx-0 z5ya@vU63xyLS7ssmgdpXDA^kDJ{^rCpHA0UR>jj9l-9W!?lqa$Us*#D&1bW;XT4#Ca&L$9+`r3w^=!h7%;l3Ouu$~7M#`9MZyv|0je`YyD4_{P zCg>2%@ycPk8h^Oxi^R2i>74|=EtN`7-tN_rBXEq0ty#sd-@7VADQkXhhN_M??z2|N zX9i03;Z^{6UusIzm2mCEu4?2$-b8WaUF=0kf|40p>h72` zF)2~I^%x7h%04VQLMGzV&QeJxhBFgPz~@~QFG z?qN~tj@T%y5#a~8sT3U$2w?ny=9qV&6mruo)zBKt!QVb157~ z>1vu&St>2`vv37WwY%?$e7Jo+_*2;*NiZ<%duN1|y{SIS#h1aXO=afxASz{XszVhV zUj4rTtD?=#@TEfQAocLos^=2A;UcDF+wJgUH3MD=oL6RNyWRzj7jtU-64j>86Ty8zW<86(F#P}3=8nx}7 zXUyY(OtjQ^CTvH9S{$1uoCbON0!oQ59W7#nEzm?0k(G{>RhSz?!^bKP?>3a7WM|Xp zTU)a>tpTRnAFv ze42XSpk0p`d}BmZjboNBn~=~P*EWa$P>ZfIDHmBH_Qm;rHApbJ>akxBG8t?2ij{w& z(06FcFlEqrclyu7cimxSP-;P+J}PbR^&+JJ%V{1Bg}Sq&*is)8oSdOtiROrl? z=;;hO%IlPp5DnCa<=@NeAYr^FdprLo1$5p?4pE7-h+q<>7CVe?sycdB*KIoh>)?g& zmVyCff6oD26d68Gix3+&n3a&^;JC)a)oVjB1ED{07Ec6^?m%Ts;ucnS+x@v-3QxCf z{=mx7P9d9za@NpPumr2npro#@J+w4uALgNIZPQFXb)fpVcgdE%q?@x@VTt8Kgh5fp zSxOlWPD4t#RMg3{{h36Lr?2{6-W21EE^7Tq*-loJUA~O`3{B z41GS$b=50Eesa5fDxWd-GGr@(8rUB&#&N!*Mga=|U6h1y%CZq0fupA!tXjQy==JG< zEw*XQK+Lm{BS#=8K%hp)YShD34b^Avi4I*?t(Gx+!nMdD?3p@<2(E^>Q%Zs*smz*8 zNl)2n`jH7VJ=f^|=Ft%%4e^*+^w=)=;|1GpU zoA9=e0xHr1UUJDPvybG=sU13^RYIC{OIi`jYg%yW{=CM|f-jCgLCynebJTs2(Zq59 z=A(hXqxk}XOA-8;dXPt4@XJyY5sn%r8YlzmDS@doG<+nh@{qbk&C~P!M29J5Jk!!y zWB@x@O4;xkPNI+cy_S=K z&AA=ffv^{d3;&e~&J*pUO^#Jwyy*l`jzQ=%B-u0O-+l*DDo!iR-^NNWy4t-rt(&&R zBMAm0#{jU{i_SRRv1o@2OUF!!^&3&dlD*S~8Klq|021Qoh75a0UoN1-be_7A+^~(7 zGj=}I_;#4dpqz?;VNr}$A`c~l#iimZbY%&~K=`g);O$wdxVfmv$vvvJ-7k-9=q9_; zy)-(ahC<*3k%yBoHxh29!oAap<6`)#7Z~trwd0Tb`6sejgZhhEF2Y>0q+lfuM$K;; zAAD=t&mi&ccQDi)U&1BXK7Ed2m|xLMUPZ)0(|)R=Z)k+F821Y9NkP@>`w^70)_7rb za|_lYr&Ub3MwAnL7*6+*qbLDCkdKZEOI&{()3x^O7&+nmrU7jE;U)_`<6YCFS+9RL z_s1=CcS~dMWqrd_2Se*`)$p`>9Pwe@*AqI%`OG+{KNzsLfoP!8MmVh?!8KJ*6v8oA z(W~bag@z=oe&nfUF%R8{g{lLFbt^-f`l4%50W(`rrbgH0!D_veT1;OXxNxe~rL7N* zw_;_BK^=}+(}I&St6Q!F#JW6Cv8zXz$2#EkhN9V_K(UW*AnbrIv>g zWcJR~ZYhMaUY=60NQx4h#quFW zImacrjr$Z5Gk{mvboWW)Vi^Rs_G$qZGDYSf05D$yOv@;u(U?ZMG{ZO4u9wJpA&z{9 ziGUEm#lm)PIXU1D;i63|w7X`y|57gU@z+I^{Xuwt0xR8c8Tsj$W%`&^*1g4$*_U89 zfQIVZj@iK|1`_AAh>Cl4L}m`}_|D6C<#RSzF7+9_BeELo@6uVG*|Te1bj7#pvc5iB z8>}Bjo0zGf2m;|-;6ZZ!H}tqP&~hrKPsM5st_@Ch%b6*$#%G#dk_Tiu z8(VBB1T9gcaTW!aY`?HSvf1w)x^^8JT08EFZ=bdUVS$)FMJ1uBgA3}cS3_!>Z>9pw zMx3paM(eY!-h$V~;O{pE5228)^%$B2T~&)|EV@|F3AA`j^&i&cmD{%3pC!Rd3`rCh zrfp9wp-N3_c04_=n4KAHQXW}frS`_^2uja#;4c02wT{JdX3R;jWKC+=x|&{*%V3Eq zH+ua6N+yJD<%;uJ8ez?i_wa{n}P_gj|7&D+s$OKPyQm6-Ffm@54vN$Y~UhL#dlDwh1N?DFsVvXeq&eO<7Op6O+ zIb69S(G0_!i>8F9e*+d1vw3t~Eh3j8qYHC!X_hyk2xP2|`DAIBxEPD9r=X|Bh_>Fb zv#Pz`*`+>-@#)7m(KqA523+{rG!_Tn>b7?z4eY#kH;|)&UvOu|tU=S7GLVE_r6}lf zZ&K!@y4zP{gdyD>5Shdl0YxUb&U-Q#uE-9J*d#9F8*&2>r@Ed#^bNjVL}0Cq>5smK z?1ANUJ*|el)V8CfhWR*VCy#tG2HnJe1xb|d$44ojXsuVFRp7a64n*;0m4xPCW-*H| z4u@H}JER>@v@g0D85qL}MS zz<1V&-6c59fkkxRxoJkO8%=IhU5OB;_NlQ3DbEnOsP#NnlZg;^by#yLaAQ%XYbl;B zSea``FMBnqa!g)=WJB2&nnPH&72#NY%D#t0;PmChz)UFT_8l=dvTQy{B8eAlD6>!c zwrWg}!D~s~;)3CYgr{&%8O(Kt(mD8O^(^P*B`Y9D`u9rSTCpo`A?Us^!EsXC7-jWp zfWp5?*>lb6COpO|FODLOA2){$Yppyq4E- zPntnzbrpqUl#CGtzv}Vk^NLv5onfVn`ADrHWogHMRN~VfKDINifssmk{LyR>sWRRS zY9-UtTDH7!P`x$Wcx_X(%5Chw?c$ z_Henjl?s)?n>Pg^<})vFOI{@^Pp$s3w-djWi4=E7z4q!_In2LNMf?ms><%BE^Xzai zot%nMfG5zEYX@ojG4bXL*=|u^K=+t9`IGocb_+}x^+Dp&<#X7F;cq!tQz>C zJ}z0DN^%Ppzlip4|83NGcrlS>u{`ShmQ6Y_os8-vIUMG;(pCaJ^kOu3HRuus!TOPt%HQ1|nws*h5rnl4 zz-82rLIPH`V3n=sIXSO|RD~`AS7^dk!Y^egj~afR$-32l{Lz43PLQTY*mj0~9=cjq zfOzw;4*_O?v%9{SSuEd}NOF6?wxzMuj^SaW_z$1R_QOvzhw+73ZWY1(!7V){!M2&b z_@Axlh(b^0G}H72?RibpYa(5{3xit+iF+DT)M#Dz(mXktn-;rCp`l=mut2-32WQz- zwFItu_lD?qkv#MT6{Xyk)5{Qz_mlPa`9UMvwV%6mWD+0LB=^Zq)rwPfP{y{zx--n) zG}(70Mqx=3FP|_5bn=t-_wA*)Gb|F+HI z;ekf7JA!2TH2r=JA?4*x2D8hA<%_Je2MVcr+IZ#U8d2|O{x<`ie@%OA zlwz`(-Ax=0b{v?_m);jq2fe*v!c!7 zzfQL4O&j#yZA;S5Tlv)A*DEvLA7B5Ki_|Q$I0Rk^p=NPeM)2ci>44uQw4{B0c&#^C zL!tl^cZC56to?|<2EW-N0)=%77PH)ggN3+e)X^?j_ol(HSbhe$m9o;QR_K2rid^ze z{u{j@(|@BEWMW|cU$Q`^|ID2+GX5|5;QvoB$jOu_+itWd)PJe;Ak>8JUU!I7!ySbY;yQ;+=qF?3x(_9(7aj(#A-0xR>t zXVCJ5Cuc{;hW{+UKQvB!@qw32S%A>-@##K%=Yfe{1Td_aQ6T&RpvIuhf9ngB z=clkCA3pRc%igO62*~xw$Pf?^#85od#l$hB1+hK+LRrV4^Pru;JK8{}fqkL=P-Luu z{#HjJ<$&bbm|TC@c4icUj|~oiL%uPrX=VcB>F{IPz@G?U^ov0}OVC7{gh@Ag0Z z!skJJm9hb$i>3UQd?I|-imbr@5@n{Pb8c{_bGT`8Yk<&HUHbu%O1g{1k%!?M92oql z=Y?li9zyI6Z4YhC3_TI=>2tFKOGK0b$?$>wi04$MM>eC3CC@K!+|Y;1_!hsHH3S8= zrxkYd&H*1m|E~TFRqOhh0!&^FKVHW-xHvpG-o79-G`Q2WzeoqRro$x%`#09%D2RV@ z;}B53cG;u}Ap82Krly7m{{V4;`sJ9a{pV2iR|k-v$?=EOcVYkB*u+AVz5`*fx!Dbn zxBEZ0hn5HMV17DVem;D^PG7cQvjZRut!$vcGX5zm@OQpuzYL(XKhgZ~yTcnOd81$R zo-{xwy?VdiOmF7&j^Ys9wY`JC&OI^}OokH+4^F>oU;4RaWrgH@q5j!eeSH)CumB-F8$w{tk4=yr0hT z=XB1rX}+JjuV0&IU&WtYuCH2}UwzphUmJ;q>6sgSn+xCfU;5VY?&j=OUl6{G6}Trx zAm|u?(cYbJh$ZkZZxghDqZRw-?;o>@5`=W;Z_50J>cR$!d5tw3Q{#tg>(^$@ z{c6&>CO1$ro^JJThZ+zpK>X47jZbWH>gDjl?%RCax7`nr_}H78WXIsh@@qAu!N~zk zMn^}ccLxal^5+2JqX9IU!#{ngqkyJi;^7JcQ2Ro8`2B(lVZQXqC&qydkl!btY=__s zkbiORfzn8RBHPk{WfFXe*?lAs;V~ufgwn)zaQ=fKF*F&Q?FXIq=8k!~@{6xAeBxbOzyZbc*w*kcI}Zpz{OF z@6`4K>cjAJ;u}SeGByGJ_G-hokpOkH|AsISYS-%9hp>P1Ul;NGC_W*yobvC9d({4C zGk@nd;J5N{dP|2d$p6Qg+&gOUchA>*0LVW_fcY(1RGhg-Av0udCe#DT3nAp2(w{TJ zyV?o+PcB+2T`T#KJSB_sdVeOJD-mU(ckZeyX_;-Xdbqx~+y*wkXcKw46VGQ4CTZEs zjcXtMtO1-XMsAoFfFy|6KmmjA&fEEA8MYzV8uXV?I{x-*B)Uo`>}QXW;P~CU&fy=C zm%aXRUW_vQe(?jjaMXzUcV2^g1ju3*IIa>VA}ApZ?M5;A#MkvUuGY>IcfBy!-gaT!R^oFO)q#viAnp zpxFrVN)?yYvUzCAkL?W#^)`*?JEflj)feGYcabd`Ev6V7PVVk5@S_Bm8o7UUH{WdZ3{IhuFzoBT#Wg}9tx;#UkCus0pb%IJ zK1~y{nup@0RhMRv#awcpWEehe9_)zOhw3Zp4TgClgHP@r^*lLGO17b?sjkhL&mB~N zV~p2srABW?iS+PIwfhn&Hv&sw+$*Bou z(#|d2(_nf+c6nq+;#%uazIize&$Zl3Qjgo5`b3zrLUI)a>;&GU_*)GoO=RlR;R*z_ zk$3w)DC2);N*;NCgr|PGkfh_i>;6cZF0pPDxIc%GN7R=5C`g=igRk^HIXa{od%2`; zjn;_uMtSF<^^M-Mf-cbcCm36>Gd!9q`+Zm~Ws0g?(!(LdkEjONYCa10O)thnQ7AUZ z>sn7?1}K*<_#Hr3TMO186c?{E&t57}3PG}nB<^)lGJ4_1IZc{=rtvkwOo zvHA>7<96AV9DP3}Q7PDC)(p%>4Qw~o6l%!KkZNWGr<#Ee{*wiNWp`^Jm`?vm&q)jxJqQ0P$}}&DU^E^ll}1pKj5*?nrEZpR*zI^F5J&qd zA1r493(_?DHT}UQLO+4lUyE}6i81<&97!2HzS1vLOYMCSX19s~{hOI_aoHFoW*;4F z)21X}hZsfnkpHaIVcW)={JyS<4rvP}u!yi=P)Q--m4)@M+K0};hGx`yHXYm0U~VN{ zBYGh(BV?Vkmzy59V3^&PnF#t@_B2x9`{f1Hh1A6rxtpfYGyP@YBl6anK1~?Hblz<$ zGe~t6x*-DJ>hL^sR}h^yu^72>9ql+4eQA!<_CJY3Y24~cMF;Mf%t^ef|=V~I{wdR zT!rbbyN^t=Ei@eJIH^(k{9cs&uI;71)``C*MKG0%Q7Oa^4|iW#uA37no>RhUCiO*R zvniTYN+qO}$@y50* zw#|xd+qP{xIp0n9=!xq7qq9q~pgAKyr8F2E-R;#=Y4=r2!$(#2hFq$zc#UadAeIx~0Xg!)M@Nd8!#rJRQsUf&Lg|R_dO?fZ;RdaG z=*4#1&I)jjG!9MCQh-T!?jx&>NXq)}PkfBUZCVKpE!Dgj0$|AbM08!XyV+gVD+AHj zSFo-wppo!04zmJMkjgH8*dzx1g}`ogP_VKru~O}H4$Bbam!e-@Xxwa);tG%&ffLnm zqdsLK0E~-HLwE@Yr5s?L%Ujt<6q+FJekqUFimGV(^#Tyb{X-z*<|%o)YYsx&z_iHu znx}WOtRLtxT@@r|h)D~UX_#q_?X?%(on18PQ9`p{ z!o#&spwD1!p_63n`NyRN$}!Ug$|zlJAci-TH?>z@PO3A1sw3BltoSSSr1Y^?cl~_X zj5Uq>|K;65s@-34*`zk5$|nP%=)>F1!st(%HsZy1qk0(&E~DXNJTjn+oq8SO3>6w^ zbP$Q9plO7)(MGvT(n>kq$4`#w_9|0E(&-*J@UA)iw-Fs17?!4C*MFSszs{pl#GoCH zir9;352pnG`moZJ@?3k$Z|q%?YGwg1ZRTkt6j@gt!y|+A7#yDZ(-78Z@O}aMklSX-!>e)^hKq;NoOCHEoo)%{DRF66p(6jf znKl}@Bt{b9Mt|0LN;h)3Wgo+7?|RxvTdc?#+XxYr!aT-QQA#7QE`b0YSIwh zp-`s(y`@EVYPa$;ceW4JMxfVr!A;^GF$JUe3ZXE(P*bGiCHdiwQ+k*BeFP+Lo;|_l{RTu^quQ}qLFw;;E*r9!-yU)HDX?qY0P{qDoK_brSsJ7;R zprJ_1j%%CQMxbm(f*sTfAu`8Bv9=3QZfNk%S6}la#fzV9wARn(^so(q&!M?b@4>uI zqDeU^_$zPyyeLzMZOfE`z>f!h}GL zpjo8!`)`e56kQWiwk)&Wqw-WG@tLL2g*U>l^bqdp@~cHIKnumUw;HwJ>j~0N21QS_ z@b2m4`tmqiPiht<>PfRQj6&E^AAO%1EhB{2$NK z=qBBwp)W%3cl}Jv@nsa8(W+b&J51jugs%a~{FXbz5$EbABFuWyPhD{mWPaybbXQ(y zsnHYswjS@9y~u*OE0o&S-}W5?9&_V#m`^efdXm1xh)86~Pou1U7HjY`jywY-d?r&~ zBHIj}Q0)$yvaBT5sf*oZ`DqK~iAUb=01+GUdQr(IyT@7UBLOcHJbWp;(#CY0mlqm$ zMB*I|YozCY_|apqzk@VK0=v+#p!c7pk8ae3hPYeB5h1wl1#1KX0D6$o1=G+YRK6?F z)gH3!xVp5=z+ZJO0x^l{qMV|$11A6qo|APPFZAP~vTX7nXQqRZlSR+aq0&f$KXt>w z4V2#bu37@6x3`KqjIlm8Dq_)Cd4M_Tb+KQ^>a8w3K3mz#q#5<|e!jY51+(l7Cn|wE zH6G{&=W(})o*lM!7U5h;c3qXEJqV134wL* zg85$=!=Lj7w2JLZ()8maNZ5k;5=E_DGm)C+8ReyvthA4jZ zstdS!uuKa-G8&z^=OYZ$viky0b^r$*AsQb2N2HyEGz!rB9_pdME^Pe!)7*dM$yeo= zee#wZE0Ewf?LA+Glp1zzL;OuWG<*>g^379m4zsLB^;Dh0B5JS{TGY#|JEy*<(k2OS zV{YrZPBFk5k}yrB7YKkHeR}R9 z;+gvp)q;)NA>+5Fnu~OZ70)U{CUw;>n64l{tJ=FfGaP}?k^#ju80K#g9{DCvaQQUm z^?<&*!od)35L8YMi;DX_!Uj|@Wakf29f{!*I}#Yd+YXZsBM9$*|JBZzUZDTY(5)<^ z%Wak}|J#7SQ!ZUexF`H)zG4V^XhmoKO4i*NqZ_6h0^@Er)fci{Os)F9TfmDtTM%%A zV6=56%$?W|_R*QSOS2B)AZINm)z!u0?pb?s#^gLL6~)I`pc*V+hQ5Q*Ys;$rR&Q5o zo)eRXaGNNjUR=0>r=m^OHshB`xw5k0@$B7hV{NsJZ5hQZ29<4CSeJoEk#N%!p^@kp zj-L}l&f#SncfuQGncjgQwU%H9U=*^4V$q@urZjw4i)@e}Hz!9MO6Vu7411JWbK)@A z^(N0&3r+$}vr^f{8Vg7uMlr%b_p?1M2j3|d^2LWd1X)p$Xff|%JIp^cZ8V=cv4PxI z(6ZT5AU93>#i@Ia{nLA2vgfAI?r^n4*^VSp$nY&00t^}vpF;l@oT6z5_ds;vCM&uaP1E}3 z?AD-h)Jf>ufT_XoP$Vy1`MKl<_M=q0@owN4#UI3O_2AqgjKfbRt}K^DEONOR-T;$| zWZv(v53S>1#@-h~sj2N+*_osERV)jvqg*tN#>@NknWUS-c2hR(=qF+r{6%a?NAPU6 zQ#a!q@9+hb!Qi!6h!th3ZC<0^rfbzddJ&K8%M8$nEw$^TeHyS@`fvSN)1y2dF(ylS zJ}Z=bXQKM5&T+Jm@@p6 zBw#m3!2aiakjHxLH7$UfrH7H95=SI{zAP{9%ki_$Pn@8;bQ-t{>uW6%@>grm*T|RN z0VOK-#DZ1BpNr;853Tu@6KgNh*|A_5?wi_lmw14kBWFDjV;!=6MnS4|;FE&K431u> z?m7N5W-U_KFV(sD4EsT3MhnSkOG{ziB3s9!=iYRwS*3j2x65=)>Gv4cj^yN^YGTc; zy|6+YYg@C6} zMxBcqkIDFo=7IKlLhC1lt&2+{ndieI2IXe=au0ARtb}WVh}4V}_u@J_I!n>PS~Ih* zvN>$(w;naFkDFfjEuKZRH2phy8;4bi`z(4?mq?s`0u@4JY;KXdKF?4oMj1Jcm&4#V zlAO!r&MeX_8KqeV;nXhw1;HWjZq97QAhMxgvAxNF%lq#d7^GD~D2YV3tWzINY@ZzI zvI%8lT;}6PGMiX(^G;%oti75hW^sPqB1`ab3Lg^`JX$3$!C4B|`7iXP@JlPDU5G_$ zsYaKC)y+RhmT8Yr~ZIOvz=!4 zq8bYtt#Q~^&*Pq01!SFz%gB)h@?6LU2r5yu_GwKcnr0Lr2l)?Hg!$gr*B7`LSDI`@ zy>sPZ1nL90mdfo$yV@(118&Hz9u;AIJVXImb>*+yU1r?p;vBmE-@F*g@crzm>*q8I zdy}M5j8k0Yn_*^dRI*2N$Mi6bEfy^=@a`fj-G2?@)-dsII+$&F#2+<%d^mhQWK(4< zi*`O3{bCL53_!~Fmf49}J9wjN92_m8@GlFk@%Z);iMx0EO=(=DKQSR2dUXjZ2;J?k zuroC*;Rgn)l{x1UL3_OV)CBS7jU;^KH{e-^l*pVa&R6dl_8FnehTNnNQJK?_2RY57 z;2wf4>VN}Wye|K4>KDm%NtjL6AI>X4j5F^s*jc8OU(-q|u0*NHD2Kus!B-0!`{%uL z6Fc>H@R8O`El2B1x|TMUu}{nqaYs=U#Mk|a=O+0uqx_2pKeZQ?5@c9%Z8Z7|v@qeA zW%=rH&?Jy=nQjYM8|_*eH|0o1n)(?3;H)R5`zyOp9QHT(wT-YWvp+VVVg3eNV=j#X zAXFCBkt7pYSZScW)SYO0UzLhtL0t#JCvx4P1xpBS>1)DV z9Sr>;6#GxT3RAiky&EXNHOP{eoLhFT0k!dTHn;t7 zuxL5|tpT%5E1E4UYH&v2OKgwe8>}IPAQg)oMeoswARUlso4=7# z8#{v+7f)_-q)~>X0~!0b;)$|}EpWd}dorS1-5E)24m=N{nD+rG@SobWo955HTC>XR z{UK%}rhFFZnoge3Rhr2T(h7VN z<$!+DU4H!oUZZ9uQFnn%+=K}9d9;$i{7H;33!~(#*9}i=F>lc}|p{e`K8EV>q< zW1Yhm^|`X3#cwq$`vA=8U#CPGN?}i6bn9O(&ru4`A2l3l1x0Pw3|Kc4&>L|6!xo7* z*Dd3>;>rDodQJ>i3er{21(@o$(?2ep)?}+%IkI0nLJl?Ce_FCi3vqC%_LA^TCy!Z7 z;@$>o>~@%Dy3UP0%F;{`bQ^DvC~IZ74>%EaO0N#~2Q=^BN)|rl1hN&Sj(G znF2Z@1&egLEmJCok&GRS@VeM_SRIwTh?J6uZ>CE^$+&67(h^^dIl6q;ib}Dg971eA zd>Xf+RxJa@Hy^NY23SgipC^rg&Sz_3SrLr;`O~z`EE+VUwWsQzZxaE66x=ngk|5`o zn3s6*7NEz8!=ECrSPN->OZ<05tI)UHJXMDyZ%^?0!jgMUEF`Mj^Za%FN3Ut8e}3rt zcMgUs`)sJI1E>}IoD_%R!?{%Atp!mz8m$fyA6;u&vvg=>(0}eMDa0^46u&Sac z_Wl#-$~^I!XMXTwNAcei32R#md8MI?DOF>ukG>KPJXzE&YAybEeo@90{~YsfzJG5l zL+*Ky1Bx0@MkGiIvQDWau1m zl6~W!pl&}~v4h-!R09gs$?;->O{z6c#?8Q~^na{s7FtiDM)DemnNf!2MANa(n&(Hx zJo$gr4Wq2va4TSMd76U$L|N28k&7Yarl`{FKHMZx9a*Vh4UVs4j>3c7I`<2-z8^Xv z$Ckj2MQnQNi7=McM5r1C;-~tBZ#eFLBqBIP61kZ@lfr`JxOO$oo+1<{r!6EJ22yVXTL29PeJj8pUPehyBr<_I-C39{ zN_SpGv5vU8FXZrx8xmnck*rcvSG*aUl6B#sOjY|c^vtQOnbbfqX63zIvs81LtDRE^ zji5qcxB2;xv1avEJSU2$eW|iW_ue-bz=fGC0HSt+=Eww0%#cmu6rJFWp$vn4rBR&} zFcw$?Hdf+NB22Bt>Z~eJ5@}i zb3@8spVZ&-!e!I9KPn|bxaM}BOlVcY?yDW1%*Dd0YeYnbrwiwePgh3vip8K*LX0RwrO|fPw3f><`LO zu*{a8xktdy9MYvk0Yr0*?}D`;^zp{Q?3*1rFy0?Y)>PkQ{^l{a4plI2u;U}Lm?LOg za^mnlzi;kpLT>HPQKI^MhfWp^NnQ~#L<5hDVQ9*nV_0Ps-zF^h>}BsuPL=LOQVGd| z0`wB4;u|4n@1bRz14NBpf=mITA_>pyp%@Wt{nm85*07`OY~JP{Ao_T-!QLiiDXfw3Vqoc^GndwWQmhyjM2)y#x8w;5SN`MSU}*)VM5%W)|a+6V*M2P*{3L z2$#1r0ra$a7WROQ9FWov2~GH4Rt>up??@JIdPGLQ*JVu%_U>FG$5p3Eb2g;~Z&@e! zOzh{9dfBaW0mS1&@G`hc^2Ya)F8pH8@Q&E5+|gBmwfE4*PO6EANZ3Z`XEzuJ=HZJJ zv9RHu47&4mX}k>Fa75Rm_}zZX8;qJLaN8Be(ENyVb-Eukoi zc1t_oo5N&?rDVgb3Bq=IT6dp~`hXL1`jD~v8UFO}y63|yRGT8YDdo|-D|s57zRfB4 zm~7(Xr1OOP=hgip#-Tr1_^WSOZm5l#fiqd97R#H$&OW zNMJ&*(!v>KRsAdYbw!%Us9&8eQX9Nk{@KA3Es*Kvx0(*xl zZhvSaNiQg9dnUL$yFk6QsGojrtQixKxMCV?pb|o}06+NH$dOaO{hP;Br#@PkLQAM@ zi?Lw{vHRYBuBZP2zdK2yoTl4s38~u|2%2uyURgrPtxsJYO2XVcSr0k#LH*H~W_rwq zGG;AZAu$!h`Tiz+CD`6UOR$?Y;*ktOltERyQ-WCejbNj|l$<*3%dtmI$stMA)3&F8$ z792(77Sd$din{@`?vSV`=bWs;z%T@nsKuV9%vA@j8|s&s^O63d4l+%`{Is<*JzMf; zA`b5xJ>MiyRffgi9{VMOS4G$sC@@{#Q1Qh$N*2Pe*4u~loqSqAUFPFx?M+52P+k$$FAMsr z2IYv+=eQRgF_<)b)I7%BB>yE@;8F0hx=e-cIkmlwr`Am~W+O8o9K0Xyu+~#)m=Qsx zP`{|2zLI3d){BZ5BcrB?BMx@n(1!MIN?5FH2_}DXb!IlfKhmZZ4Cz8s5?uO-Y=v&qdiBFp$o{{5ywe=gf(Iwq%AFjWY8^ zAw~1-P&@0mvuxn@D+DZ;<$fN9T`g_1?sWueo)Pti%6>xIcCfahNPpH~t2;+XtlZ|M zMI~7V3~O8~WZ-L(+KaAlo!Hz+zwG{)(s?+p zMDPGyXK^C@n79?h<%vF1?WeodI}dwsk324=!9NHP{FJPV7)8#$87~ernLO<{Qhl?v z7ReoA5+3LC&4kCR-|e^sOFot(k74KI=AhhpVI`%oxPJ-d zB<{sDY+-XRhU*3r@44wAe|@Z(Q$}6&J^wOz91ZDkfKJ`yb#-&&R9Erz_hjeYU7^J4 zE`TX}E(!XZj8|`;=?Sd$=NuRcowvcm+L2~3&3WG7cz4tv5U=2Ie-s8DCxnNn@aCFN z(cK>r95u=ulVcDYre8AXulD6UM6M2Rnq<4mR7e@_N%PRMMP-22+J?5`(Oz6Vd=EKb z2WmhShJ${AY3l6muC*yY3)ou?-~743kW*9=;5#ocnLN^s%&$kL)fwshhqn30a?3o4 zF44B)86vqdhdqVoAPK4Va#O)-O*cr_EC2A%WU7`QUO%REJHBV?iFN{hyL{KF?Rrc6 ze7+dQ&8f3%M~V-VAVfTt#a3aOpCS!vrhDY>p(pNQqNV~|>@^1Z)C+f(8@B?0g2LNl&jR86*V-yfrqfoGtK&2nCb*6-T;EL2F&qcs@$(@l&(#Pur z(KS0q>Behx5(DJfnBl4L+&CTTo>d1;zYXZ4AA5Rc~fi z#_$G<&9jy6?p04Wp3iWPRpW#0>yQEm;nI=!5;?`(4QQ_oX5b4tCCSkp<0W5crc8(K zGylpRBkA)RETiI^i6?Q+AL;{p=~Q_Vi`J=ReaAeSe-9Joc*Vr2V(j(zFyz+-hKQuq zx&=F?a-=R!#fX^zZJD1rIKS6NEy9v~f7Rc#e{y@wbyO+{w3vwx{)_d|6jVjUn68Tf zLshSQ0)}k*#9YUrtU!q$luqx$J$ zPtA~s?@UB^6wwGO-k(t)^PVf^Y%iHpKDOi<6y1}c(&K{(U@^R1HgAMkbX8p&SjR8jK$pT??Bhi3}_PnWo5w5nD&G`wg9JQfSXJK_f&-|{Qxxf zr3|ZEI;A_ziKSMT4m9i3ReGq;6`p3tTkdAZr9v^2`z4OPK_h5ph13!vul7=}k2dN# zR*jaWIHqC)`94$V;x}v?rWo|g1`H#}k(o*LmtH}#mbt=i7MaS}Jhccx9k4>{G4$kz zk524oU#oMQ@tUm|Ru(}79#?Q^r)LTHRj*4HYhEE_qR zs)@WpFyeJo%P=i%jL z^qG&@Wx+`i7$+9XT-e609*A$I?uL6?B0xDV%-r0 z77e*)fcSjjYkN|?(>%^#Xp`+c_^7z4aPk?!UmGeewaWYdCM%hV;{BPsl=yj^WOX{n z?~k-dR+(k^B9chXPFeenv^0IN+1T^>$UmEsKeoJYUVenW``nPv_tO19JYcq70Q`zs zfuICG3TjhlKpq}G(v^N>%5DtvY)I+#2v)0SdP}0lB&>Z?EBLf|<9&z-N;_RXJYLXf z;r(n8#rm`NO zkUuQxDQeVy3N9#0eqCmk8)tJB$rZL35c6psOZ166!!z)CqE`3;ZR3Fx1eFDP{IJSY zP;w%VoV0yczXBiqVXw=TELO$AR={p$yOHrxvfYWLC#tOz`!a3*>Xl@>J_aG)oDl@>(ui%mK z9$xdEH5WyuEX)*9@}+Jqhq!}5%JLZ`@8?p#wo=cDi=l1$cI3k6h|**c$widNzS34a zUN}Y2>M@$7Y$|iFnnhDS`UWiIVZoKN%EPs{Eiy+Vdd$9-w6W8E{o}vYvQc9bcV49W z6Juwq*C*Fk=}=W1b>1|jYEE04gzI%(Z2yaVEDb}M{{ytIY!lI+w+tIc{fP^O-VQ?e z#PzDj@_N{Aoz`{LSp9s_s-{ixv_JiWn(EtkF@;nqGLkTy2-Z(oObm?>n+Xx0@Wco;;i$#hW&Q^zK_2-5hJ*={DHy z=LQ6G`UE{#KQ=7}61QmCx3A?QHd~bJVat}{d{95l%EC?vVd~q@bI>oguNEb>p?S88 zWTpmPSBv}TE?13}(oTuTsKT^4Ia?f9QF~N^F>V2%(eHa`;9quI?8`+A~V_P4%W#$ z%Rw<|M&8k#EV=T)lyrw93N>;y!WL!TaoVKX>NSdtzG=}Lp;9+~+p$T$%2+FPAQ0`E z!HQjI)#47YN!;-ifQyXMaUg5aL;z~MxY2-4;}ZmOzg^_Zh~$tu-MdeYS|9+KGB;}B0QyLfFSO^`_9`Y6@&@pT zUTOA+9nhfXGu=6XZ(fN8sVr@x`Q2qs&NzIWruR09H~ChU=oD{pD#^&ICoPmQi<(JU z%Ye}Yha)4{zrOKWjjtJI0yhW-2MRhf!G}}F8ao>sgkH~E78AC%+i#_fcTs*zd1IXN zQnlCM^9r!oYJ6p%GRWM#Wc{&LlR%AZZa*Dt7vIR|LYQWU^=KQWPivoYgTmA}KJ1xf zwNQew>vT%+EMbvk3BrRpZzeQFtjkYTq=R|QrH4Y5yIeRqQl4FNYIY2n`FTU1myaL4 zo7&&Fh-m9pbP1YAd#CU#2Z!~$K;Z2m0@h)Lj2Rf-J~2Xqo&TzGISH>uNJL%ZYc`O) z#B38|f_+`eP`_^vuJO0j>JG908o4wLLW!(|O8Bx-=(}%1(hThcSSo`Gsd!6DfXWD5 zu<}w#fw_Y^RS5|dOI?~F&)gC^_XKxna3%_ZWN?*)*o-t^1c$X(Fx(c2)6hf`)|78P zFpxFG;$7VpZHl(#lH-Mgo`VG>LT4Jp9b1H`a*;N3kLg`}2T*W=a|7VKIfd^lVInbW z*-Le)`z=4s@KyLEP1l^IrXm=F-(`sPl}Q%#X1?5ZFSQ*U$6(>H)r}o$r3}Xn`9sL>_b9rS?;Bkb46833EA-S2Y2YiSK| z!UJwBD{tvzR$HBxDivJ*s)SPN8RM>u_J&N>$olWTcp#rD@nkx&d_zxr<9YrMOctb-I^@2F|lwxP-$K%{C!zi1krNT?ruX%y++0LqHR!^2c{>ovwcT55rKQeNpP3%#_e&3J>X{$K3$anF)5VqS%Yx&dkLeI{96c{`-x zr;kW7PfMo+=JDP*R@i|BJx6|wMWs?cER4+UKZ4-GnGQsas+( zyOXni@DG!%zV#USSR`Ea`D^egnvCoRI&!;wjex;^C+w(R&_rJW{Z@VOg9foDRVY-q zmIgHC9|R@)f(n=^L$zgIrl3O^!eFv5L*(D<%zxW?Ir%k7PBbmOw3^Rk`hWD3K$%-H1&pDLw9xo0)SqJoYpj+rAQ|*<#5G0TY&u;LctDlMm7ZN*}3KX>Mlv z^RML@aQ^0$b9HstOY(*;pCudMa3YE%LjHWUeJOoyTM=$G(ezs{<}eXXTo<{bLAc+M z`G1|ar)62ZGQ!npQZKG4f{R18w+}uP(fr_7r+Z*ZgH9v#iQ{(Wr3m6W9bHa%c40>O}DEpMwsLbqvIidqQfHmue}a9S_NG zdY{<1HOmK73!+W4EQcv;!!;vD%R}qL&b!(XhMT$i z$!&HuOg|{NJf0Lo{>bPz_`WGv9BMx|XFd`pi@b8CR1>$Ca$_MH$?5;MIoxA;@-ppY zw$)i)z#cGVqt+xPXAH8i)taJ?Jnc%zHak;7d2PA$ov2pV_e?R}b!xEJkC zx=}&Qrs8$LjlMQ6ZX*4N7w&>=?g>I?rkCs{yMAVEfpmqer>EA|j~Ux(9jmfxQMMpf*^gjdKo0P#h?QT)a^cXG z^f(wOwNw-N8sx1IF19{a2+$^{j@CZk9VW>fhxs@6aC?c~-M`jU3e5>2%nPVacNgI8 zV5mz-(DFS3ubPUCpob~?L*<8Kh*oT(J9-|bgGB*e!XRHhOFO9GsVuX1>vu81gp%%qtFg1?$;p;6Q_Gi1l(*!8$PmXkj*&CSl+*ORo_z5eo^5`hX-Z|BNkMzycqxGfNr zfSItE(d|wM(+1{#TS7D=DRh6fc58U&KdrFO7+V@kz?M{sKa`O(|;tB zYp`!p&N*Q;HGvtXwSB!ea<8 zotMWSd{0E_=u=5ZP&YKTH8F?}#j5QZYTwcs&P%ucZ2LoAmN4>~peoem7)&}6_Hpj+ zIoepWuu5*qe;acC1cCB}1_iqF@}(;bBHE0!i-h1H^XtK-?y9-G{nH;GPfuf>c0|X2;M(7aTdwtzRDAfv zQoT`e8K`oi+R9o9XZ@BT=O>0y;-Nek8b!8#2s=dKMMa&rZu3_Bun5 zD#g64IpUFlli}{QT^Acnb&~MJul|GszT#h04(s2HZG(Ex0qZ)Qa>S7-)E=$Tx-97% z<@hJjx}yn??D<#3;UWlKKQ-kf|@>&2>@^mdLUV{(BF_At~PQ{W3-u+pkjBSI*c6o4P43N`FH z?vfL8-zDdh3j?}guNJqE@bmXe^Z?NwcVz|}>QgM_w!sx?0jm;-0+s~h<;p2V#{JyM~mTk5!6-PF8yoWV_eg^2l2VCV$1wb~_ z!C~`tJD|aKSQI+H%*SPBH|@fx<{;EdIzHU;HF0Tb0m;QocNrlH+!5$pwK^PV9qGo7 z7)#{hiEcO?KoLm4Fl)cl%*=bDdiZo>Vz(!6^;9HG!4;IHUR;)B=DXd*c*V}UV4MRK zv6M^?i(MA!hHh`K(~w_QbG*o|uvX^#fDxwLJob-B?$tiRh}$;p)Q%4tt|2}~uphO4 z%XinU!M7&l@7ZdS{+)pC-$%`BWoRUOyI|I#{N99#WKrx!`7=^LBUsyC zx_}l1lv6QIqO7B@l~A2`FwK4e6Fttn@74jXfAr2Ln_=%eQZek}aCMLnmZm*dbEC?G zb5g!Y`{QDD7|iVb;(BOK;@)edT2!sZ%S9kf1Ww| zH|}(0tIimyia#+K?z#b83z#KI62vWp%!0Vb^p7fbo%^I?>P-q4^7ni8hnhymEm1sQ zUS;)TYsHD^)Ul0lgzgZx?O>4QMLhMEcvK^^%^||Xy1w49vVx4A=d0axg_$JUAs!=s zzskV!461+UHX2LFt-AocD>_rYl14&)vY&L1KSYXA$4u7+H$#3+Mg**Bsfb(!Ez@;3 zoh$(~B`HVb4{6>NulDACPW4QPsU);6S3C?f9UlAImbFYHYXVS11gZs%=ZAp5ccT6T zu%HsTaJt18S%0IP91g1pV>SlEH}+0d_(-qo1cAjsI=^+!0_Gw^ODfAN z)CXQDy8~->-6sr$#|=!l-kX)WaEPFEKJJ{18jqe}(=Z)Od#Vz66U>@iF;#C>_!aoF+emR!mPt0@R@{eZ z9b{IP+0NSKzSxS+66p<^3o+p87|y5wtgw@EEh@b^6j5=M&m^oP)H$i=|7{P=VFKl^ z9Y&=VxHO+Ps@4(%Wl#F)?nxw!_T?o%ThdnkryR+EszC$RI(&3+bZTE#f%(W(_V{Ji zQ4G%g=%4@Gsx+7a6p>YIROW*OnSREVHHeO!YV0AM9h%-@wSuzc`4>0rjptbn9dD)E zW0JNohRm@mfdI$*ChBcg3*ihkzcJ-X!{_OXoq$$2nRCqc>T9+ ziDIrQ!zjf#BV#tuv7d@r+vh#yip}1&aX$E{u!h#*%YNzr2L7DpI#lfA17G)Rai0*C z5qzB%wcu{og7`0FRVo$7$$y@a60IrR7D+ME^pc3fUF8K5Lj)zyoJG~$aB&$QJbu<4 z*2~H)K`KyUlH&MIniSD?{{5i_jcWLo;x|6&K5MIDFGnSWL5YUGPWocrBX+q-!vJc{ zUgb+XQr7Nxw9scsHp&_s#%8SCnrws@C#taVZUX;CE3mbR(oO}>9*!VdI+|lew5y2+ zIBxsBLKhj%jr_!D@OinQP%A;*@KN3Qc+AiI!B;_y1R+RC&MV}UG8Tpd^GkC603flr znF-GS1scNkzd%F&vx>3)AD0*l5hpYE|3!%WzswM>|JWk`zb?>NS4g&OyVZXTGEWAQ zu0iwOlwOR;zUlo`tfp`hx9kxp{5-@F3_2lT!i8eD^SWY9P$>IpN8dZI{=F_MJQn;m z{IiXpJvYABSxM7#VnWz(?g3lDgGwL+K|H`wFyZ50jF9SNU?Cmz6@f~eeqN4PLYtfTM07Ansqx6E$-p4MBtrR5{&@RR*a0|W zkT4Ku&>&6wOc9vGWi)vE;UPSo`SufEr`o9^8Ps{JY)rpQxV{D40)tIA_-oZz3TkL8>Y2JupBx5Zui#?B2B;7pFj7-d^jz&zsUOssL(v`MGkj1!5Eve?V+SxWbP$iQy+8=C z0TCe-Q0P+_82FdNU@y6du`v+VMFa?!P<8>+fPceoIkAHOQPw_bfn@;tU6}U(&|dB7 ztzZ_eSKvOAd$0eN|E%U%-;NYGEt zFcR2z73`j1fesTTm(Yh|BWKxDUYPGsrr@k$XFu$lJA>~VycID}u0NMOJQ^g=PFKip zZ^jSr(XYgvq4tj<-tTSLjb~@)FUR9o%P*mMJmk{$E#rR&j8~EUTP?%T=T7+7 zx;8%)*2VSxt_D5YnK@#z@yv}sA?ea30UA6ou849Rga6orq{EBN_*MZ^1o0N^$E5}^ z6clLSuUY3hon&iP*5GAWLa%&$*6_Q#G$5T6@5^RTY=|6)hz#XO5~_K50I3f;j_iwF8JapEeuHt@LHaGsSR}qz+zB}#9(4=%y;VdG zhsf0>>6=s*CEVZRP~O)c>f!IV;TT?b z!dTY!&vZBL+HZotAsG@B&VdvcC%k)dtgBswkEcP|)ER9ZH;G_>yQg5ZCXo@s`uTSb zm|#xpi}V}ILzeT$9&W=h0FbL%;<=Is>}@Ci#(ZrhfiDQcc&!pM%E1d|Avo8CPrt2d ze`QKxgurAposOvt=vS{=PXWkZZhFt zv7t6pm6aR3lNg8nnQUSiLn~xPDVpU*kzZ(w&7I6GzR2Bmaj&)J8$RlWsz@0kU-Hak+^)~MT$D|Zu1I(5sO*hh1E5D+CzV4ub5u%swluC0kXO z#y?*Js^^fdWFgdFv} zKR4w1X%akh6N7NakAR%@^P%~Ybr-g^i(&*5w;qJXv*EeMFxeDasaoX{k}+T z9jdM`dtM?Y^!p!0Fm|sjIU~mTR7gV^RjV&bXMd=Z3_iKV&xr}#ZX(XL#Jl0svi%TQ zs?O{>jLyLA(p42J$=kkeR*Tz?+-F~$aP(DhKQx1V@SRMezq89B&W`7N`X+soKCVN#GQ zB$-9}BKs!O!c?QTaJj798L=r3<-!%bkGEwCQZd@+h!akr03 zshFMS6RkU6Y;eGO*_DZ0^sdU4tTR32dpC!i&jy1@=e&Y>?CY6Q2DzA)9Y)3sLHwO0 z4u-ZA?PG_LrTx>MK-~RHnd5JXlihWw_EJsfx~qk6izLnsX3+t{f7+jwo!)DOfonqY(Dq}9&)dH*r-z@Ca6ME{URtX&vSv#3d(#Bt6%q9pWPO)qB@_B= zk(cqm;g_y);uJoT(QaOA7Fv2PD<1#Gml3?ybp+CJXR?X@o846jL@;^76+2f)o#0UK zs~KxLnXrzOEW)w&>s2JM`dG)*+qNKosK-x#n-}b8J*R~+7x&Ku5Gp5`*BW7Ozhd+h zniF+JSg#pZw5Gr^PvMo3TCZ+7JmzLwOsa72kT2c(Ou0IE(#r>yf1009XzAHp7$Hbi zsh>9=+D$v${~6Z{{xll1$QWvqiUF%Z^B?=~ZD@cIy2>Qlehcqh6qjsGDsMbpJ9t(vZBw;jH^%)7T>|#QVo3i)~-1*j^KN7hd2~p7$SU zc8T3=I#M&mVM{RjJ})CWoBZic@Rk6hAGFkV@`a?pG%-VYm&h_{@o>1=}nH;PkhOU;y?YA z?Dm{c<%YgMxqY)Ye-D5XZb)6I>jf9Q3pARc2ixS7OxG|fFjl9=k z%dFjEmt6r(`0j}D4Ddi91$LTMF?LMyue<$I&KkkjorLft_SVe2TeGV0B4LN-;5G9d zPb+pLb{~!>;K8O53U3(pcA-IG))6lgWRES>I;bpyPtwe(zNfpJS_&MSe1o6SWhnLe zMZA<&m4u9kVm5BFDfTg;ipO%O#Q$Sl2YzAyO)CE{N`5R~^!J0AUFe0~Dm$3HAT#?& zY_#)PUm1eFaAV?ooiiGMW;IDwn4SB=8Tr04w-ICYmW+JO?KNoeS# zkD$3kmR7x(2K8ufBW@+byem(nqqZ9Iq(W3JA)SkzwqV^7O0?`>c+>eV@9R`dM=eA< zCW4#rAg{=ezFzsRRe4n-0NVrhDv9-dLD}wUPh#mruYcs+)YDJV;qJl$6}Xq}Z~jB~ zDDD3z2c7Nu1btG~2YnJO8_kNX`G+}Dk~sh%n5!*^5_vnS9|glBskms3+$uChuRti)J8TlNy?M&4I9r?NGui3|i5j+riW^ADlSBkN5h~u+toij;6~81h^M|7(dD# zMCpI2A0D3Y*oDUP-Opf|zD2kH!R zf3*2*QbNCbp1S4TQN)dT?ZyZoKM&-y&85}?Jt2Q)3tABmSLK&GIX~Qyjz(LVAvz#4DJ%BkA^QDOQWhgFsR8bufHA7M zs^fKV;%!U8Hu^;^ekveO=gaJ-(Z6zE_%0OQiu%`ivbC%el)s$v+`Te?w~mMi2y|uS z6b1Z%;h{82jtcFbrl-0!KK%?$trYpv@|i%*B4icjIvDW}b@gKKY)f@ryA9%epd|Rk zV}SwtOER|Z@M>7ja>?a>Q%-JW*$EH!Nw5tYw|?JbxDG=DQQj5uzpM@)c5AKkwGiJI z5lPdo3y^Z(O{yp!AX5ypul1@DsZ&b-bNW@KwJ&-S%WT%c&C~Hn9D;~oXXT3uQL43O zc5H@BgihHSj~I<~q^7377y3YGBVi&*Y~bz@F-65S8+dXOAF8Evbo(&m!xE}W2(Nib zQHZhuDm|j|{XBg5Bb_GUZ$7vmX;qsJNM9oGvvIpXr?PYJjWznW$A+1L7TiUhY~P+u zI`#WJ-k%^6f9B_I8|K6)M~%bw)7{rO#<)uL8c1QzCafs3pygF(SK){#1sbth#f?|^ zp$Y*X1Oy0HYo&YXuB8O_<&}nLK~z0Z!v^63mt>aC>&PxX-ZsO)D$L(ToYF1=JUfRQn+?c05b!LBTPmq9 z&J6t)uNR8_ud+JXGgxK@mNQ89d_&aPJw*v+gqrG@E`6@TCiN|NfTAr^L~>~Po<_Jv zN_;M4n~^KT$bjOYbB10vIkdcaRi74Wfb=CTeXs8>Ixo*qVB{ami|(9RRRsNVPu|#s z0y5YIz#CU}a?uO@gS~}{ma4K0mL-O!8q+r6irCg1H=95j;6~p0*|~J8JX0Y8&J9!O z7%HbnAR@rb@7vScidM$5{F}QC@19(??M4wYjakNUX^(DAd$)#E{hZDgePXKTRvgpC zQ<1}3rK=AhQV}m7*5-{p+vVNe@^z`@t~qP3=7x`zd)-Y4q2eN9AT&~4v?2%GH5s@E z2N9d2w>mf~t6;nRsL$jJs~5eNv0$Ma}#aRQXSH|IbOqd_NyzWGBvHLn>H0dPly1$v5h@ zxhCY+^0s4V_mAg4Lmu5jy7eRXPsh>r%1~~7C$AVY;LQV~ZWbn1hgc#c$vP>M+ijZR z6~dYRxw9}udwr7>Z}U4DHV(7=fTrXx+$uyY{yw`)ym7gaVQZDs7uC16v>TIDyWED{ zd+@KLXxAu??_*C+>L~_>?qiLzX0j+&rrvH#4cv(P`?t1v@kw`&`9=9T4jE%bI@>aA zRQGl>iiS1*^Owh@hy=@9I`sJ(+9Dkx2XeI5e>8_Y`6y;bPa0*s$2bCC2r3`Pfm>cs znd2IH;tCtx2o2$j;|v#a^6853t4C?fJ9@28S^1p2HpijIup=-P|E?!JS_F2j3;H{# zcdB`M)Iq(q{HWlq`4$4lRmsEq{#M{AKWVzDVkz+xDTztwQqkzgQeRG$x40Uf6AK<0 zYMgdKNko_`0P9e9MB3;J1;#`U zDccgD7o3b>Qzbub6chjAQZV%oDxrnI%9lZ3?|W~(pSibzIFm(#RCwgkm6d)|NX`DK zr)caOY#9Sf%T8CIRj z%(u0qY`a&&ZQDr|4&YgT;tpM=yQ;NLPz>+&34nL8d!%_6*2U^ED6j_hPljc~^BE&> zhW9t9W#ogO+&!m8Wb5zpfpIdfqz&kWdF0cAqh`GO0no)d(Eli=y&^7fOBA?Hp+B;u zT(Me33_rkTlf(g!5=HxuA9kOhLq=Bd-M)f-Xs$PjYAp6!z^uM9)cc+q?Er_ebS3le ztoBu*$s3J~sbDD`cism`9mIu>{AMED4O^n(fen)6**9d63~P+T>Lr5EXadyo#Q^fQLj;p`GTYuc z`@^Ev;a((itR?h%SkWmMUx;N_5_WUyWoC#|RuQ}mTUIQboIX+P2HWcSR<;gx=YB1k zJSChAhHy1oBSg1cL^F=Hxmxdtw~Iq=gk@&{M(VeL5qT3mh5iSmFB09TUc(sr68&eo zWKJ)_j6ZK;^o31tG|8`w*_xW5rx6Oh?oemsNrp79sNUw}Sz`g#<-R`+&zt5-aAFZk ztc&A-sq5swYMq?D$|={&%^Y*rQBB zU9?Vu;Iw^8QUfMfJ#=w5c}DaaKb9ZK836!{fcE-AFlU(mz!kytAab?Q9kNoprp5{ zx)_SJ_l{Yb(m9 zBqF%cloU}R+%Qz1~SB9OO}M^vR^OoJfHXH(tyTYRXdCnpij=} z_66D`sa2GHPqor*$hPhN=QTBQE#jF!h3KSAfLGVATqahhgI^=S`5$6MB^fe1(VeSO zJd>C+#ne$|Vs7-9-H{X%es^`ws%=I0)p!h$iA89~DF+LzmCJbUG~7hm^9UN1K}h89I) z`gn&r*k;v&4PscY31%Jy6bn0p!tQ-`XO;>%|C~)!jNj;piQ5M{8fVp*`IDnw0`sIh z!YoSV-wO%bBSRlN7b7}n?r+a3YeK8>lY;(GiNshm^{N|7ID&g4*Z5e-UCambDjio} zI~uoC>9R)+CUR(VqZ1wWQ=&9y-a|N4)V|!w{(u`D!)3GUpcp{-Z0-FX!Ax& zQ%F;{suim14a2x#qo{lRgAg_!Vemqlo@l%eR+&%NS|?SVOcpyLZ&Ts-5hZKka)c8x z(Tkc)u;ZbU&4tll_kiiDfTN#b;G?q9f*KcL?Im+Y1m&v(uXUmGo)4N%^&1rx#;h)=O{#F*FDuG<`Fq#%7EN?oX z@H~-yuNAy!44?8S@>-^P^aGdtzS(7d19&uD`u?OqVCToHe=V<8xy##1kRcH+Ig&`!!$_4I$j9!#Og$FI41S|7Itq1o9TV-m5kcUrhySL^(fyHG3> z3ooo{@`XOksxC0jTy36^cgNHa$$_zhd1|iXlT7{AY}rLL-Hanf6>RiE_*R z^;PI;TUq=!o}4A!+;w)t$^myknXA1ZLSob#TaYC^a#E4RXr5y0hQFke?LSxSp&3f% z_Za7i5N{;FaCyd%^OcaS7%fQwUgebmG_HQ;1GqB=IkhsoE(BK!YO$|F&Agj|Y9yxN z1OwxSjx`Ki0GS9BYPBq@5XSKtZ3ry%D398V=D2DCe%52rB{&&NxLcxwrS~D`?K%yS zO=9O1X33{R>ry8|j%V$x!Lt}-@b{{-n!hbr}BakQM^DhI~wi>^0=pa&J z%kf=QhccHVGTrG18sPCcST|@yBw7pX#D1mE9C;>04Bx5 znYx$#>bbz=Sf!{=Janq0kEm2L*GN#s?16)X7wnIDX(hm%9?z|c56dh`E@!p_LenCJ zDC1Ty^x4YmM1NGzgw0hpYKYiaoIIFRAR@R}O_eO>f}nSP6K+7=YDLerkyN6PF_=eW zP8DZGT7h4Q@F;n#dl!4)Qcq^%*#2wZT~Jm@79~})pbt^OvU;9k(%wZd8GN%&w692Q z^VdL}LjNe*`C$L-5EO#v4)S@l8(9h4=cEw)50<^ppxe$^WPijZYfjo7w^KuuLe*@B zv*&qj8n7Mjm}UMoZEM#ng0>S)Ps%9rU5gg0bkS{h4S~qK#J}2Ib9MOFG9dU-9*#lJpp^+hSHiKj z1@ps|Oz0ykE;^Mjai^>oNItaYqyTsLjWl9Ov|$(_C_~ zf9_T9x^Jzc5iayYia}4&Q&sd;Hf_sz@Q48D5l(HdbJO$$Zzo(0$+C*YT!w95I>QF% zd;_%rCTtV8dUex8qz!6!F1P+Mmi9wO#3{ZK++sG74FwD7I%m?r9-Cj_#G{@mzDsi# zo1>-xcd51>_}?+ZpCx~o+wWf>rNY|s|ARna`@aYTc4pT9M<6gVFfsj~2m&J`Gb7vo zG6?^FZAo+sxSSR=HhqMp9Y{Y8{Qr7O;8_-;J3GnE>{j>iw*oBfpk>6NZji4M($~}1 zy=yOaE-DsJKesRC5-Tkj!qo+*{1*`GXi#vNY54yNN@Pbv_DxLmPfbk32ufE&J2XT7 zh=}H|KyY>X5$gT;LW^^NPHX9!C79Fz93&AL{_afU_l*GS9iEsT?wcBe*EKdge2XC- zOd-UvI6|s}B&7jAATrE>2Wx;FoE^h8wAg#wKjx|eRfFUCMaRa5-Xl2srGd_28RWsg7EyUVFPl` zgPmK)GlPE1X85~41^i}eGDW!rB#jd{nd<}}mRuQ{&Wv~`SO=*N)K3qe=}YBDCBR^ICG1;Xhd(=gv>ov!L1km}BO4n))BDo|;V=JF|04*Y@g1(4 zaSQhVhFRA$g^%O+{Ca!KUYL5{5af5={e$#d*h|ZmVPJ8A4Cia|#V)IbdjNf>f3OF{ zQ14g|^2X5)#FOO()ce~~U;*(#1GD0*blj(c2(+8q-=lQS58U~??7PwH68PtCwR#t zGd9`Q(mm0IerN#S`$by@{%LQN{3{igIr#gZVs={R!*NQ4T>L%t6#cXW^C>5PJP? z5kC^UpU4-%5U5`K8_s>#9qO-WR}~QYvM(Z}pU9!@&})I|3&H_-UD|Kp8xSqJFNw?y z##6)KulR2baO80>A&wvT8~c#~WSyG8R@U#Z@4eMG;4R_LneN?i>v!*7q+_Tr;btVw z-G5h_vHuRhsBeGje@T<6*TeCXy?avjTEEbb!*!LTz1H1IL)QdjKL_KN2yeRGO?Hkh zKJ6yHR-00Vzk$CT*?;pW=0J?yfenZdEi?%>>@{gbkNTUqsaT}CD-%UWj~cJG&R<~h z7=vrbY1{_iHE4~C5FDMwB3>k&g0JRJ^O}(u3+N=O|D%=qNd>$;TJem}VR!bF=Ka+M zfuNZf6HCrqcf}}luL-%=RL*SNFL)@}b)1$#vNU6Tux3O2A8HTxVLL5$E!)uK2qsL^ z4w?+$10_$(9;X{mcjXA%nBocN4RbvVrnI$Z4Nhfv6UQkS^4{=9>`_0@Y#VwzGhcNo zmyBG`iSmf&e1$+fgL(O+4@r7n1@L|6ORGpB8iU=Vy7%PyHqRJfj3siiR@~U{8e^}E z1OWv{`_CpU(G(0_j#r=3c?2K}<*iPk!Xye)uGtK{ShG6$Y>=!5;tx>hjo@%4KhCYU z*Ik?OUry!__+vbX)>+M#-K-zmmZwTus2V=j-&qfC{G#l#(ZvNjHHw!Y<^GhXvt7~$ z9%>$EpEwnb#8gZ);O=R6y2^|09Skc>p1q|onImb0*{)3}dZW;J++eUfBlO~y)YiMQ z<`}6|;{#UmKAKrC3#sS-S~w!fR;!k`CA;q%TO1E2Q-(+Qg$JeD9?Ct8kRHRk(0bri z5x6@Bzvsjn3z>U;hq0PmrElAo(hKD)==s6)@Tx8?xEdg0Re6e8c1kI9U*6E<)JG#VnyCX* z=a^fkC3k={u%15})`*$~XKsqDd0n=AbS&@gxif0-PMO`2QWj&=H2fbAn@vaMz#=+sOgp9 zNMnwp*mPleuC7xCO@$}8wj2R-X_F?4&~#7ejVj(mGjt|2G;xK8h11))C-MT?V}b%X zhmQ`8vkF#1GP@4{MhT#wAprvE(dynKdL02c!>Mt-qi)a7$xW@{Sz=hs zeie`w{Y$T0tP9zq`wq>Dsi4BHTWX7piS+nKisKEob;@V&Nus8ddKVAd!}bQX6_71K z=T(yYe$ijFrMqI`wJeAMIb8kixZ|)K4J{z!^))s_1{3+%KDE8U;9j(DhFW0TG1r5c z7NWe$<^^(=4O2uRMi9D`RB^^lhPbN);Q%YuJDJLU)w2dl0)q!1v+3#0&mdg;@C}Jn+Wwn)7m^}M%_ZX@qTAey{^I5p~G=Ic|$i@vx zpQxyq0!=&hq8_-&za>IJq1D;siOtdUm6l-t8^Ac{#+a({M^#s`+?NCPx;EI!(+%HV2iIh&FfMtD`F=4q^$i6l?Zn0g zGF!*JSdK1J5f^_Gz8-nnyze+2X+X49$!GmhI$Kfx@8 zB+I1(3^6J*9*HQ*cdu-a+|c=F8IMzWp8NP%%hik{7MJ@iq@~m(?wQ#0#?R|Ms%#O) zr;>3)$!>|*_rq4Vg=K@n56e(E6gHY_iS+VsU2SR7tc10kX|#0!pB56LwWX?4qjR#j z^9Z!LFEeExTu#SJT!}ZmI}!WY2J?8!q;AuT<@nSy2O*ymhbpPOXCu0%O57!X=Fkni z3`w9j_-(JQAxz@UVUn<}&>EcMXKusBovBa{%j&b2cLu8=Gg~cn`(vj4ms({qAacK8 zM@M@5M;>?;d&mSCXuqErA-%zu?Hzjm%c760EI{wyz)7Lt8`BVNp>~iAU_0A>xcZhf z#AH_NsoEn4UH}6YMYZiL`ub?-c~=nfo64f-fsy`Xw6a?p^V`{rnIm7>8!TAk%fK*z zWxT6wsc#yzNRr#Pr&OP-)oq2UFUE2?oLZ%L?MxtRsxr1+;Sg~S1}WvFo!QJ?b-NtJ zc8$NH{IIDm#(3DEv$N;v;!fAdQH0waKwqG+5;X7iSGe6dX`Ag_@cmqbr%UOVYFpz_)~%VS-5G`A zMQhPHZEL=efhiZFKlvwxmhbaQS5qxF8 zBYXSg%vd`W(}*!2exZccqr6hF23?4b8Qr5M0cWU(mQX-bTB<0m%|_XT-e6m#JEs=d z(T4MIHnt!&B-Nz4nEqJc3$_5vl)onMYLy;Q_fujT@$edwjpz%l37%QV`uo&UmHs9T z=`|{U?!GLgc-;SXtijkeK}Z`S)bh7p@M%=_#~|>ANRAd%QL>!Q?}=S>gqDy42Crd2 zaWhf@RlH$kB7tzdYq)i=poCjHL52;ze^X}mL>q3~G(2hxz4#DHdl)YQe?QjT^1Y6B z;lCbfB20!rkJ5dvS6Xl+)4&Z2_2c21R_&ho;q;kgu44f{T$DSX>BdwwG-ozjfFIpD zd8N}%(N-GC!uY+1_M*M|NAs=Eu~{KHxUg`9`C=U9oh!V3*7DTBCxZ93kOi)z!e^b* z$m)tL*?xigB@vh6R&}`O;D{+zMPcu;?qs8M!$MZ1WqJwp_y&tt%rn^?gwJtjn(%bKy>o(bqk$gxjcIfwRna1pI)bw)`34ose`=^Bbj@gu5ZW*rUm`Q9QW znB2RMy4U0qU%i$OEnIT34y66@upl3J{3h1`v)AX+G~6n=TI!-mnTub;(1t5kIsKFR z4XkRrKxN7x(PwJ|&Z}BVCm87V(%D_^xxUX=Go>Yg7-0v(3Vr%9hpkZwUD%lNqqJt~ku z(+|w&CiCvll~@4#jczls5_nx;tjfLOZH`=bnyaTi!)X;%Gwdlek_Owlq`Y2W0BlNm ztGMHTVhoacZ#6u5+S77jX3CxWMTD|0({CySEh?!G)UDOZtZGrCR`q&q6 zfJLQ6(9@&Ax26T0q-iGMZtcvc^z6ft}lh@~np7vBAPMW0Dt+*NL5DzKb zkv&`tlPT%2@#inWRW{FvyEntJa~L*PA(xZZN+wL&+Gp^+(|N@~ zf?`#IWRaIp(H)JjxU@btoT<*jZFM&@n161YGH0S}fmP?mcVjU^I=&mAqfJD@0UKO0 zi&qs**dovT;PL(N`hf|In`@iMu{+BgExsQ|YfT#Ie5M)ce>=3C3BlN_>l&AdW4zk_5@tFOI^$_ylW{rDm5;LlS<`6XS9Afq>gN9P`d)HyTNi*n1( zkA94ffF4K$03b3mf}4jaDvaAFA;#;Y|emb{eBa5plYc|mX zbkIgyo=>h=XI9zt_Q}64y6Ttug;dGN$Hv|Ub_9~CQKaKLXlS?N0#P8aD+&E&*t!=x zdTU;ov~+bqn>`N6ePEXjrYT2Eg@;rPx!rFtOqR*SspL4*hl*AQEx^5q2<@OAiS`LC zXX3?O`|^#ha#eAUUE*!_{ly-trQ}_d)a|U}zbF*S!)x{zgl@aJ*^hxd%Px5hW1XKz{V({>dibnI zd6qI;G$GN#Qb+mKFLjto1Zl~*f`*)(9F@N1?L;eRve=^a(u7ti?Z$#Z>61GlWyjN* z+F}A#Y`Z%Mhq!(gh|JA3FK9!J^>?Kr7YofffBs zb(5FKA_C*^E+sOd+7CBgQb_r2S$MXVp-n@a=uR3pZp2kmu2vzx0l^H|v}eNrRoZS0 z(qRrGDk=4GKH?&imaG_wvITm|Qko*a7hMjI-?Zm-Ywe|KF3j<+FRh7}dNUtdFKe{P z+#-PV71q<+f@Pr>yr0^D(Z+zy*DIJ&AA`7LDO9T!l?CWE&mh1yS+(fMeK7$LGioQ`he2F zhjhi&Qk5nMbIQ^jS}VEIp^@me30)MW?RO3Ldni5XKXOQXzvOQuRLeayh=GprUfLvD zTF#M_92_hp`qkD6jHz!Q`9}I&TMy-_hh_-7dj{~CCF$hM+{~UDc3{dZx}s zhZ3&rh8IbJijurzv>376s!+GgCyb3n5XlVvh7(DPsN6A&lB`MrZPCka$rmSLAedvG zg9oY><#eF_wg#8(oqdLX7~2@FbI-(bd~dE43plD!;&iGvNc%GRi(EI&aT!c~9#aB6 zOpre2Y^+YMwzZ5Re*B-}xoZQs{oVf1+As9Z2bwOV@{Il6B6KR;c?vu8+l}uGSNDw{ zL+^&Fs$i-8lm0v@4bdtU+MDX={zdO~q@oV#rxMf*5qnNsCb?Hl)oE*lvEJz+5c$|E zAL0YBFwKRb$735(xQpbO)$P!OdhRN32QF-K$N4zE>H^3yzOA^?^L8-oRtT+*uG3N? zzvbxJTL1lTbzdu-Q2vsn5FGEaRXk)1cziWb9w!y-9qXr--Ev_TJn%0HNoP(%Nwkaw zzKU@S0ax*4Z_8G);=;secu(;2=K_Tjt&F72hn=Xa(wgxzZqWdUJ*9nYM_*mEMHS?u zFYwP4RgSY7XN^S&<33b&G)%%+Rl4x&Ml=!;&QhLm?oSYIS^g-2<{1JPWkPfILJSV! zbZIsJud*HhPhe!O)Oz%np?@fGK4B}9A}^H}Y>?Q;np%z^{r!ApNxyPRJ8W!<@q6=G zt{l|@v`pqNmN@2a3WZFuCo0NqFM@1%fl*8$619sL3dwg!>bnbFO31VzX%-VoE{}(@ z7F7PtgSnmOI@GT{V}LKJP6){^`**VyFvU4OSO9M;VcH^uBIadZBsK}YD$JS%dLV86PI|3TUQc*Wj}A7!ka?0 z3RGZFpmg8UA`b~eWU8<+>GQ#c^cbLVfR@?#Rpm2{?YoY53rWz_l^(-*<%h4ihY*{C_jq4twvgNfcJ6~tK)?NB)mGloN<|2Y=KsrA@ zzuy#J>THCF7&P8gKBE!j>}jC;a$co-x6-~Rg-^D=9H&p9ShG2f6V1N@9tdsA>3bv6 z5LCSln(1mWOuESt#pVqJE{T;J(!xI{;)Dkv%&lB)(d`s4hork(5((Z8N|Xb#)g_Rk ztQO4zOBVV?lZd0rh_Ny~n0I|&4fP>AGM*gOtA8J%nJi>?GWyt#acs~#NflAaD)NkS z;CO|ZHf?Ff8VCWwHzAY!#&o(xGS5fSeUmaI&RuTeN(CGqLCbNY_8yKmaaD?$DP)qI z-AQ*v1Si!IG%7J*7&)EXW=mU8dzUCSz~&s`ZFz$?iaei71h~xSM~reU;`)SJ9GJ8T zBUpt~vcfZR{6Vl4ILR9ElM(psW3tY&;!nD+iO&7@=)T^P4wJo!8IGL^ndI6UYVOh{ zh(AFN$UZFTYW~-L zIG_4l!lG?1*Y7q)x7t%Libg$?$P#3RS@%2GgiLK1*ix9EQ-kZEvWt; zZykxW_5ZYS_=zQSkW#_71~9$OuRI()bLF6y)QFELyH+FZNC_9sTq=MR z?}dlwg+e{CIP)1TFddm-0a4V(7ESfGJ%jkBd6OD?)dY0qHl(?&PY$-Zy%P80hKC%hdP7iW!%kg@!mOb##qdfP z8SWvXDb{0%*+)4eoqds$6D*G+(q2S1w$vBWc?}*DmdzB`eDrFx{6IY?T>uf$Q*wtM zq7CF=t!_nrvLdI+U!>x#yPZ^#IiqK#xDEH1!5CI&IY;ZS{;A^u{&gU7XC9vS$?oj! zU8`rPQ9NrMD~i2i*t>=8j^vDW|pm{Vqb zSFce}T|Pm;vl3F&Y{FW)GYDj& z2VijuRUf)i>={{(MqP#^R=3JU$r`-l#Un2G%!c#MhS?>3bWVZK<4{s$0@ifaZIaj= z&S2q3iQt=CFgANLMg`p8N(k&>wd+YcUN;>)tUQ{rVhZrY98P5FF7YqoS?l)bcW(&du*Tfx=d9{M<&=~H}_W%}1q zPtxvFKp!dOA3yqLD@dNkkPUq1OldMLFF=L&N=u?N1H0*V541AxcTUr>#AJ72LRa%4 zh!@|Sb1KkFXNYzixEZGvzA2B;hNa0+&07E$T z&`|Nj6apB<&{|6lGd5iRR+;O3O+dpUx5ep9IR>t24K2=3!}DQf;pM~mmb&Q=7fwX5Yc+F5GZ!nifVUOe_TJ&@1&=r*t)8TO`Sz5Nmb|T3n}LL`0Ky@S^0v z>_yTzaOtcfS&LNt4$h&C-^L^X0V`xyd|Y{Jxh^6rC-HF!C+c52W2|j%`k)8dveD zqo$tH7a)as&!C-x+%1=85hH@Ay!Z3s#@#;`118@}9P9&gT|z}3!3{|GJM=A5uliQB z6RLOXsqzQ@o6z;-TOI9Ts)3e^I%Hi{FFCXbc%s%c-EU55fB?_0A2>c9^IT~1C% z`Ydz2J^Ygb;}UMv?7{OUlsOXuie72?Z;MaBqy#}v0=LA61IiVdQ`;sq%T<_e$0+#O zVO>17L=IwqWYOR}guMf?lKD@)kW@))bDd%{!;wgAlHn6nZ1rP&Ror`+aev<8yl2La z>|W3N>8;Df&4)09I=q&%il}9GbGecRLnW;J@mrmjWb*>TyMu^2hr+e4!&g7B{k6^E zT=k5jVna`gaBq4T%%9$@aQnrU`|#X2doh0P_*RwK0m$MV;3=3}Cc>JSP!biedy=&G-BOED z{{<+t$#JV+l+`id7@)lzzs>5Kk_y*~$x?(K^T@}yL^_Ntdr(~+a~sQ5semno`N*e5 z;Nd4?*)vt>-T2AxOrZ7O8)0`$0fg%<0qz6kxHQxCR}}uOI{#X2R`vBolID-;7lve> z4xtHx)!yz7+TH;}=T>Dg%(scos`11h1gxkjWk>*uC~B;CWg9}ms?npIl|1%w)f02a z$DyQ@2~}4$D1eTc2qMP`zhV8YaR<}B>{?$)dc@AI1=QMThyx*7bbr0=tCK5F4s2mw zY*Fh!?KKI9b+%q9;ULtYlLzD-e9%;;$3Uj;`|hOw2Bf1x)tn=w9St#&vh07&i^jt* zgM^>J*x)$HSCTqKqDM6;%N=eJmqJlV-ZgW3sEKMy?qyew#VUq#lEL!rfQCjj-P@vc za%0keprm2g&G~hU)M*scvkqY?h#ExR;$TX}Nh1y9rv+D;VybG9;b4b`;~7vw+L`o@ zSc%x7RYwy?7cGc>-DO2HLu)8i#@3TQb2ww5-Fo@`rQVyN{4?#g#<3Hh!yM(LVlY@1 zaNjUd!&N}l&qtV#0o42!4hs7foqi-McB9aj8D)(RnJ0z7$F|sPk!+3-EV8HEebQE*i}8S-stu zGUc@?P!?M`h;tmxBVKg}pRR?_DJjP3`$UVwF+oA_emt)99xKKBrh63%%W7u>cNZAG zo%kWXFSMooqo#7MKNEd{&EJEkP5W68ixc7Ex7+02m~t;FnY zPNOgQ_url%c~0S5#gKyGIlF6rWtB1UN;Q5e2?XhL@T^Soj&7QC+i@1TcvvwmlbS}1 zwF(|h2ODkEaDFxcXmknd6RDcl28vX29wGyLq*%^XuL_Ptyi-mW!qm=Z1f9PbHfY`k zwtA@o4e0^Xm{%6~f#icwO0hn!R!yYyPoy6Lu6=3kS*&WmC?T`RL=KobrxNP9C5-yF z40#!9C-n#LELZfmBqtW2C~0?a#e?J|97Rko~wThl#tw#n<~J*63H?V=3mI)e)#9-E4dyIeh& zD1qE^hx5nv^2p}8i~`n{OroMq2-T-nBwruQhm+^(>y&DvajdhA7{fIljCZ^QD;H$tgt97aX=u3GZqc>j;!PphQrpO{g`tDhc==?N z9={i=@g*;G2c5Q>u7{3YhHkDlah}4C`vjJTCW{3FLcR4vXupyLxt|u%OtsS=0+z}Y z+pb>2{C|pmFD*KaE5-?|TSS#W+_}7`6OSPQ)|`Q3QFgiYDQ3tLKMF1YNO8uj*3?1} zW=_#9vO!j={iuU`AeW27&lAH8sc5_`!%oFepz!}oxV;aTq6`{p_>bROD`1xcrpoG4UK2GecG95^< zm<1qNB>q^{ZllOn`}jDNJm?h1`cy2o-Kmjl7L?%e=iHF+FC^;tJxt<&*ksD(XQZm` z*~b^96euDCI zZ${&`b_W0WsV_SPh@Z;fUDe5%bSaX>WP%?n`YuUA}z$ZZ=pjv>6%7uG@~(_VcJM z_DCLJeOH0bTg=RKGFZxc@vZB5I_NbB7D0QRwuUjvQRN})tEBM^`hjUu5Z2gxZ zj;$&T1kXId-a%BL^Cpn<1$qXTqxiK=kO^}jOVL?wXXQ371bvDm92?^PfK*Si*A5cq ze?FtY?;2*Hf2U8^LyT>b@y&SuZxt9-xk-K0+l+o_~wDAP3_i6##{1zM-Je^D8MUSJ$SHlw5Ia^IXPT zi>3uveuz61iG2yON>h>*%eHOXHoMEVZQIpl z+f`k*ZQHhOoB!>}iMTJ`8Qh%ZBr_rhiJfbGi_>GC!8;*lB+}<1MU*eg-=GxofM2X7 zGwhU4mbxyJ~U6YxGaxBPR zO!x@~?GqmV(0e;Ier+FpM-@x#2WNA(FH4}o!QVL8esJyEIfQhykm5w(=v0WMWPa&V6Hvp2gk6>|G8J+MMrVmQ=l2lkAAY^ z_qWxil~U?2b_JK&a6^VqlV-jt=H~;%d3ic!8PMC5{;N=HP4EmPf`4Kaool9L#Q9Jc zj!3-7bhnt(SzD8z3s8Sr{@o;sWdI@x90%b?MejT~TZKZ+*>Ck#;%9T|sAwN=beaD8o%fm6m=p{MK;D8cK*{Vfh z#hR{(^ru>I?{*qzF~k$I#P)A+gdjX^tA8cto^LY8cN4Fbd&D(gHYnKpRUGAX6x`kj z)iQ{^r0Hr{ibG9rt|Wj4iluc=*jKQxOm<;()6eEDh0>h`@mTfUv5`rgJN2M#f#hD? z`h5PSyFr-xW$8Gy_*BTnZ}}So=bAHf$X(?@A!bp0CY)cVXFUhy5euN>+O_a6*rsRX zAUqY9;cO0_okvtSWnMYbc~dq#vYi7Z`?al_x(FKJA|^81lK}aNiWxNLeR8ih*NoA^ zah85U%3GY14L`}0Z<7|ig!J;OZaOeu7rqRzz+LdjY-@a}KxgNbb&wTfaAELjFy5)? z!~&NF4ff4gqXa&$#}`T~{~NM2@n4unus)szEWs5#t%RQJv;x0r0@FUUXG}w1qu!nY zjQ?pKOzjYvEVFRdNro{Hh|+92=hA@zV%U?+{);swNgJq0SAszIPfKAY+l8}U%W0n1 zQ9AvsUsx?^r%FWSULvUJ-`TjhURVxvfxU^Gk)M0|@GJl=7Ab42FbarjC*?saZQ z&xy*s!%QHLyCX`CI^gFlT0d*|rTWa8eDAC+AkZzFzf%V+kTyJ$S<>3@0FYKNes8Tm!ap7impofO_J6>u32%Al`e=;#u^@mE2*Pn`T!EcN z0_CB_1*7pVv^J6UJoq2%ncs9HGfL7(%Mh!rKjMmgQ3o?Qn_`FghuqR2&UOqUNLhU+wdw4j_xPg;sMMh zFx6La8t-i5UA$56XrIEGIzx;qfiqx3KiU^+XW#5Wv@N>Alb&;rjSjW!T<|(KIgGa* zopXm7XylW4f{Ignv2x2+W{$+$d`Y&2#uK%i4X8PY+WoA}R zj{iuP|2Hm;nT3sm`~Rv{ZUR@x*2bWR0}I2id!gTA>zAQr~4$V-suaCC=7+Je66 zCq~+$7ji(vVQc$5oS53m0MvTbc3fOGw%j(Z3Op@cXxX5gyp#}WdP7CWMCB+W5fv9y z_YFhu9UU2-9vw-Pmaak!+6V&@3l}f{Wak-phwll}6=e$vtu@NvKzVbh)Q16~<=6u2 z@B!6u{?V}q=jI09%FYG>ur#@&fc*m1?K=TNcMB-s2Llr?O>1y>aQ~;x?f?7ubqQs_ zVhrH`4b^4(y@*d_2#vmPC2o(&RyFFkE*uM!*0emCy$1Vmxhak@uJoKk{uAw!c9VAC6 zz&wzC4Gt_&pp#2cPemTa zfo-7Lkhg%?LIf~??x>&-IuXVTP+;$bZ%?Uz z%GCoWWcrUDl3Abss8X}P83R<`6Jde>-q9hO_m9K3;NrJ@8bB}=fP4&)dID7cT3KIt zk>_93hX4@r&mq`c{;c?k|9{=qSv-{U^k?Y}^mTw=3XJNS_{{Q-ILT>6YEUQQEfw!2otbR&&bI z)6t7raW8_M-n(2zQm7*c7SY_?dQMcBh8k$A_L@W@XVXviiRsUVTebr{ReR;oAyaKq zA*r{MXi7#WxdLM=+6Oaq``pgA^U4?jI;r5k8xd8G%1koRZ}ot)*}gIhkAzOcnrcYDn$4c*;o2vVom-UZaW zy7s?PWc+|A&N(|x^tOGCV7Tm|AIw=o{8mv4(I@`VI~-~JJFtuMEZ3=adp`;|-$Rxz zC^HXL*&=4`N}?|%L~1vSqk6@sD6KF(?(UdV-BMD<_oK!N44|-2GQQTNKmq>_4sTL)hH!Fw%Q}KL_*$o^<$msqG z*9Yy6`eWv^@_JIa8>&}JP?yK??wx3Szcf^!QzQ!i-a`w+BMY3qsKd3eN&&L-TaMo8 zmfU@w%gcG(ShiHy%M9ULnAr*lqYkP?E+Bo2ZHjty%W812=7EDveYjR zPR|5Ol$rp7v*vWzVSGq!838uic*HOq0q|uQ(%|lgw%Q+fKPmZ!X}%R{KbVra@*g{7 z+(5+>{?tP(Qw`8i`Q z8gIHJs@4Ry9uR0aw=6ZeXS0+}eclfC6;bWGaLjYNGBMg*Cm3-(e}iCN_jXiTN~(xO zD$=dV-pf%!PH_D4&C;Jxlr!?%W_<5H&t(-a6ibl|ZFTr;XF~^4`SqQr_1R&2szK^~ zzxNCal25>`r(}W$!iORUO3^XDZRv}-ufc zlcO@&YmmL=Wcc1*)!i^4H(+98B<>oY8a5jWo)d?4KkgouR-i&npX7`?P6k7yxc5uT z6gtL@k54ne0A|=JTjyfc9Min4&o^k$g`KGu$aDzNXKH_EK5Gw6!tMrdaQ z!C;m_y2(ZY0MO0;UMI)-^xRPSi=m?3EL3;Rv(p_?DhVm{OJE4aYX1D58mu!bzlF=jK zm-4X`ji7@@jA%BT`IZ&9#Xf8Q(8^A|px3#bfc=X>*Oh%Q8{>O^r1YZG5vD5w1!SmAKfmqWHid#_$!KV;#)L}NBKLDMrr zJ5oy6l8?@M?&Z195<2tHQa{Pb>$^ZlJBIkbGq3vuzF7F-a1*0|i`2>r*dzd2o1~Q1NtU71~3}@Cm6MU>2b-}0x>^d ze%D(IwRr6!?f3`R-GA4CxQ~N6ki)`~=;ejhA58b;qiMf8B&)DNK6?k}Pf2Y_&yg># zc_^@(P1vd;x1~&Q=w{~4H=-LBAyWa{FM5`fPqT)7HVeoUUj_=CtyW&kwexKT2jz$X z`z21zId6he)c{e`ow@f8Yc;neYlOLPgaG1x*AE)8LPq4y$e_;z!aVV| zte47mlej@D&jlTI6x3&a2P97Y`N9@Ofk4&~Zs(-A+K;f6Rq@X_yjvLsEc%Rhs8A_) za6uJt4MTswv^}y_shqVV1f;URZWk?oI48HtL07cBlGUo#lA?>}BEqmAjE_?NSGMfp zxzz=0dFLA|E(5c0EuWc^hly3vCoNw!s$2N1^iT;^AX@y zl06V}5Z?45+C*GCQK1FGMG#A~<`|6FMTWb*-NbH&eD=?JAC*09hvn}loERI)X4fMu zIy%qc^%8owx~S>fS+i)sP61jl4L9V*7o5 zxs=odNL&0sJO(Do{Kp^)Zapbjy2X$zd(n41Z%spj zqP2heg$05x7YmX)hR%S;Le3C*SFOjH0@R`T9ADAl?l3OL7*qdP>ELP;`P^oHgykpR zZv&%QGBG+{8$%RgZj!O}@uxe4A`&z))9EG)fe&;iK@;MZ?`!@Vp`n^0 zm+!jSpE{NfR`8|0cYY_qdCc6vyF4 z?j+`2g};EnBc*yJB|UxN*a|z~=SxvbC-RK$H64}G-;Je<((U`J3^EI+C_8Qqf+eFL zF{Sw!!lKHt05{{;=in$@dxXaL#W-|!d*Q~F!LPPYv^hQc@~STb9*X0?Q)ZRQ1a-y{a$IKG{qkxhAsHc+K>5kTq_Dk>GWzmz^5z&+3S4E44{%PR`1tUH@m z`SSEzJTR+<=#T|lozY1Acau#q-Xmb4CrZFriR)-XYQAg8IGhsS>QFR!vRu~SR^%(%t5|B*b}c~W9@BOk z*U^V+rgoz`m}777zqCmH!Br?;tK!{s&n110{~B6KUQmw+VdBr(yf@DX0k4q|azT(_MVvzvEYh8ki@<=hZ_} zeLe!7shg;I!6<<$U&#wHZI0b|8&J*j*nUC3)VJppD#CCQqrk4$=EN$A#@tg~=;3Q* z(EAcJH*VwnWV7h(mke7i$+SHu6yn4k7Z&f3Zzvdp5{eqHi|?9@5BCj7!Ph6s*Vl{p zn$F9&pmZ%kIItqi4QNlR%I_>l#6s~N22ZsW(Hs)fkvF9DsSCAe%=r*BN z%sGD?Wu&z@HWuF)x&jm{Lq*+_ovU`UT|WGNjrmYbKfsztlYcSi#wQ9wO}`@tC0F)|8iGVy%>Fpr+s2Nf(0I5IK)hNlLs$b z^eTjMc?a#SG~&vFHdIO8IWwmFhzeUG>)KX4gcMZ7D`R+i!GCKem1(Tctf%eW2Iy}% zZ23vyJzH;HOI;J{Mb;>Y&6CSdBT7uo;H%JDm-if9CZfNOd&(MiXgzJCh{lf+k#F#M9*~##!wCXrU_mtq06(xQQPhy6zFf)E^hjSv?)83iL~bwiwZ9SNi_?>Mw*E_o$x zUVKAOT4j`{+@rG>6A6hMR<~|X@%)V5&~K8(6h?|JcvFY=_`@4JskFif8?xQoah(O| zSpC7t96Wjfas?^V;=IYM71w8F$ReKg3XwCuG@ouMioFV4;xPwJ+z=Zw;Z!SMJl!d< z7QpDkey`dQD8Osk3S?tT-n}8*pXJPz0>Q)BcY^arGZ-D2Zql7}2lPCq?moTE%sT~^uc$+t0o=sjX^p|={zU8>c0kSH`-5>~Wp`A6>`zFN{9xPumadb>_ z-dQ}DngxrBj!5-RhDqp7;uzbBY0g4Q7tP)4t#TgutJOk9ajfrdGNYx>lOc|ji6_X1 z0prvIi8AetKKeCZ2~NA|@2CqPLY?e01WUGn>$|1%sn;y%$(rs!-&I-@E^d1Q#EzT# zkhQT3Htg%o+zJBuTBR5Xh@tqM5Y2@M2JZYluwPgD(h%Mjz9Epe^yHA8`d}pIW%<}o zCX*4S8{Jrp>NkQu8-MwQTU1*spGIwk1hnW}k;3XaKHU-?XOLoqqV~eTyth>rFIgkp zK~tUrx0+hd%H|of4QpiJU!4P%TJyW#*j;gVVcpDD>&3D@F+}caHBJ3RX13tzk75X; zgH`Icj$IGpxl%1H)2T~y4PwS5ugC}e$nlqq&ka@`TC2cNVB~lCW!%djO=YN+YsUy} zYkLg#d~D^=D|UYQMA4ODMcUC`vq1~c(cWbJoDRiIYkf`tt4~Z@!VR*AF7MX z6%U+!&dKkB{ZW#wj7O05hgtUAyO2~(RL_zAv~msPjx|G)95Ds z=Jm5A&`yxfB|JrN_-x-w=QzqZ?2N9yyBvuAW`@((SdpmWS~?hC`BF2!?FHYjIZ5Gr z=b*I9t!Mt}px@wQyX~Q1Qi@{zVA#;7N97GRey6CAo&`B^K9lZcDxcPv zk~x=FToqdC#;BsTk-a4&gGdQBmEw|RO19%eDp~^$A#Ys`GqY5g2V08fX`Ob#-Q-3_ z%Qk#Ymg`d0+WsrY7&D?kBSk@>r{`oH>QI|0zVXn~cr?;6wSJjhgn-FRX3P%?cZw84 ze)SQCcQ}zhSi?2{NYZR1$RHKe@P96Er+1I#mJ9Dh)KR2rB&e|=Rl3l8_g~6yVn0He zI6DX*$wMc?hr}YBUCCzJlPGD0B^gs-*eX%F^}a!qHwy8SiNJ``lyP4^ zMQeI$Nq7O5T3a53t4Ld;&HP0xF~f;f`yhrF*A6!Rx%rww@KbT2%CkH0qj3 z@XTt-8+MojFVjVzrQ4Tw`!u53rVR=d)^AqwJg|Dn%-)xUi(0dwIm&g?sp%;Hiix7- zWrp@X!v80>P2vV@}See(D_DL#azN$L~S|yH^d4Bpe}LfkfqtvR-o~a z7Eef2dPEd5h{uPeY@Q8=?E) zHFJDqkAcG0<^12#9+X}`R7o+WI5vUoZ-MKJMeTZX@X^_d@5ZaOj&`z9w*vlT9&*p;$t$vrKg!F(*ULYq zEt(CxOEiNer1RW8ZjiDy`Pi)&FwYn`(Gl`pGVkr@O#O}gg9bY?;crS$Cd09)T#U+E zUB7@8PyziX#Cc=9+1lvMh_@1MM9c(L6V2!W{A_w5E*a^!c@9?ig-)+v1@+4|f^P7h z93Rp=i|DaLzXGAe)gF*9TyAEpDI$C~ zyPvLUEI5Kdd1Xv+7^{^ND$-8R{zP5pgu?y=);)QqJ4DOrxeRc}<#-UMro+#2Q@*3g z5~9HIcbO^O_}&mHGxbJV>qSV%9^?qwCS{f2p`>BK7_FcNKyq ztHD=)=Hrw0+|>X%`*+8j1E1fs5%p3}J&u~Q;NtH}Ug+n_S~R`*|K)A<5-SFG_bTm0 zR(7&&SuImmev9on-b9_X`WGbKOnNo76y|V#)xR}Yv6?1HRcGiUCg!e5C%CUZjTF<> zQLNOVYHRtVwZ+GoTA9lZjmG*eG8|rKVpS$1YC2xPXgQfW4S`0(i2g$BX%`e_tMQ|h zP|Q-0X3_tt*t0#;rz0(J@l6@Mx28()Yx3QgZelDum<-ba?mO(%T$O7(h}&ZGfQU1w zxK@I9EHO%r!3L{CllEDBT4r1^8ne^^s>#5!>X{#0OQDt`2-&KpE&Oo>4fX?E^oW#L z?wt4-QSo1VxywV3K$x^*PXp9CQDgdL_O>R~ zlX4Z4&f)GjDV9PzmNn_KnB8A8;W~U{MKOtfS~65o{$IhWDH`B+Tz)R4C~fG0QkFoD zB8MFzlYH7=m~`t2YZ`9*8`srCiWZ)WJWILBku?ylwz1GIEIu~&<)_GMg1dwA4df_y z{ntQ;l*6KtTr*VrXDoLj^gQUn;=u$84Ydi0ytsrKabDEwt8>MB<0mr2oSPTlH;nvX zS(WfmKFcY3;K*RaN$b*+mfWvJ@ohMZi)_FoSf`TtOp-Dtt%I~KGTjHce`GH zv#N_ia!4@VHPH(y+-6>Di$TPt*UY^U$!9ixmlt98jM%6sy-n4lV_@F#6NTN}f zN?ysAuMZyMc~GJ)SWRfUga*Om;u}-fK@T%zrf9jw2qOdVz_ouJ~3+dRaLeIHx>+(m; zRmvZ-$MPc7nu@;Pxx6S9?P|o!y}Ogvy`Mo8oluZ(xMr$l)Wyz~Ng@YlQ_2A`{5Ui$ zwXZD^XO%U&OMBTRbFk>iqK3Q71T0hKx19@tg@Sevz?(B-8_T5TUXnmxs zyxUR$)`ZIsf68RL^}?#cR{bGknZQGF(->2$IgV{o1Sp)r@NLZ+G(OW-qy8cj--n8= z5`0HGNo;O022R&!#pC)alfU_PHmDQ(`|GmK;vQc(LBd=N!)fhcGGs zTj?s%!JHh{ad}lAFX#IqG5fOhlnbEkMV9(X5pNKOtaJ*wP^?d@sehnrB(!=gzWt=xWP+D~J z%%7Nu2f|*BMZ-7#M~oVm&>HI?_^kiCC-a~{qv>gy`@pSyiN*YYxs`*va6+J-xdG@z z=Yoz{2)^k~1h7zi>ie@-n|$SORr@e~vJ|DSHRZ8!Dh;Hl zY5b~E>D8Ez7`7*qe`$kfWsVpA{oAtU5@uRWBhI&mYAtZi4g~q z1<{BfxGrG{y%B6U$?J5@vFTJP-T;lxgKf#J*AF1`sVuEJ@@JF3G-!-cn~0~zK3x^d zJ4(|KGJomf^6k*IWP8O4^wq8A3ywN*MB*%>^@Nu z3y$gFb z^^>j5QH?+E|1|| ztP5EpDRdYgB!Tg4Tfc>Yom;GSn0|E@F2y%*yvF~k$TI{91bSR9j@Z!GJ{wxx;v6=p z{muK6nkEN=?mBP(k-EABo=lQx$2;fPX!}g~rPzxWP^Xal8DUE+2@@ZJr7l?Sk3J;<;t1?WhIzuXL%= z9cK9)E90Q-%7Z}dTC~$|tm%R_84(tH^y^^FS9(^bdO5tNdZb}hTkQ6xD|es&QaCf5 zO6lpJwfF*0sKtyr(pqryOfA|)50fPWqf1-uuWE+ZKX zPR=W_?`MbpzeQMS)(erFjovyE^tuo39&BV)E6%dPH=3DO>`+|%CJA~S- zLt$B+xs$fCpx~t5&%vAR-G)s_-aBCSnyZ)1im7={y;QaC%FBSJ?5oXrt|XAv86<_K z8vAylylsIhsdFy3Siu0u`GGLQI(5*ahZ#m2&foEy$ciUqsh1QF)Mh$o9fH6UiSZb( zpxb#mSN@!kX?K~Hf?&v}2@J;DM6ve#U9c5*+lej7+53E4Avu!*tt7UMD`%Bv8P_V} zJv8QdH65Ad3-7-zAOBv}CC$4~%I01H|H}#iR-kc89qP(tff7!H{Ex~!ypBn>BHT8D z3;e##)IJEiK0v8%pCeNHb4#zIl*=>s{_cfAk>*uMuTD(fnNn2{vDyuO|VywE7?B43pS64^K~B#_!fJ)=)|ociiE;$ zX5cz*XysCTJ9)!bw#_hrNF!cFdF z`fTBpqj_ze#{}Q~XX&n^QvCBL5QClqwMT654ZE#QEaxvefBqC7yT*O8j_J9Dva;kh z`!#lsSayWv0q3->P{xqEF&MnDEjW4slLaJ!^ByP1iXPZ!67wG6G*u3*yFnNnZ;!Ns z51PSnfA!54*~5L@Da@VVgjhm+@LkyZZP9%YBR>b`O^{rdbo4i#JlEhTUh}SOS`Z(gqi%YY1%iu%8djhc@+0;QA!fmE zolNAMbZzlDi-FsuVudRZFiO%`XMcWK4_c*2krs*g?2tDK8FKVv>34;!aN$)~b14|d zS%Ged&v#zh&i(+H!AvNDBUzP&YH`k5@SxcCm)hwDba5u(?p0(+R2^(eB+J>db_GC{ ziIpOaZh)NVT2J^Qq)PA(5OjM4G23CK>rvdm_@(PU^-;$N{(V-K+#(*E)OoA04^_<( zquI^9olpv!mZe*D7e2&Agu9KftvAEb?90*g7wTcek^qEs;w#w+Gn_j)^NJLU*seZohhg<7vBFgoZzKXBw?ZX`kWt>G~i0VD0)|_#Wcae~}$&xQfMxup< zGZYPTPvsiD9=-w`3k7F;%B1vWb*x#Qs)c?^b&5bP2`YWP1179r$QYocRr^xOUT!B-kEWP`?}f7(059CK%qA_Kszs z+m9k%Vhx&krQ2CjXK$dmZn8oQN#nqYnNqxZSvrmQ^Wi2emm?=rQ2(+}`xb>E7M}E! zmnQ4WHF)_FCwOtF)^or9vdLMm1NQl{FET%qwCJjL)ly(42Vn$LFC~OV6)zeM%tv38 zO<}hDgA2_jyUluNk@^eW2r=ASa(GW~bK(sAQ6B`G3SSvHxDZnU*E^F8U@@vluS093s0p6EV8m34VKw`)L*LY?mf2VPB2E0eK=@gt9GqeWM%X^ns<68A za-4Rim;o)E?UFn91=pWbVhnb!sYM$C@14Y2g-Q<(T5DfjU1Orr??L3q9qN8!3n=!% z4m_pU^9j9YnV8<&`aJR=4Lg=l0?UJVC{rVp5jhjhKM`orYBp`1$RT*u+%kr!V+Ui9a&Rw6AxTqa z&g!Bgv?Z;AdoszdEO20*M)>FiJ~zE!tPusrL~JeOGfIETAUta-xz%}s>UDCW^E~9k z7W$Xd;=s|BPlx5>+OCk1-G83}C0AI&14!YAJI1ezzqot`Xj-XNC8+4e_M~r)4mqE+ zm{(AYcK$|U$|!oRzJ8itywda1JlfZi>??t$#{cm$vY>99UHQlW{Z%dhXR+n?jYdGl z-3!Nd71|94m~h8&;XW*|t#_9RiO#-5V4Jb74-1O}Yj~2Hr*-uMtj9P#j8@x$hN@Q4 zc$bgUV9e;)a7V&U!95`^&h&b(B-BPnqErtxeMuN=Pt)59g?!dhGxT|7SFv?k3%16d zav13ez48HZ?qC6)j}+vr!5Yq1+};JJduc0(2dG>HtlMu%R#vu5T0!%!7ux|?^qe#f z%r0)rjNeOa6;mgU$1erfqiIS@`kabsJ43RMYzcSPsfP!5RV)lKFoN!)2!z2JmJE zI4AvS>@+x~l#rPh(#g>pA*?`Eq=&Tw_x%U&y{L(sIYSPK@+I>{IlHnMP-7NYsC|e+ z#$mrjR@S3TA0WTyTiBySHLOk#gLZ@oWZ+I2OCA_Z7Ffsk5lJv$LFCfM*wR7UWbt?WniTocy#k zKU38@CNp&0QO&WLkxD@BiZ|s*soXMkKlcS%wPLZZ+)bS1s_{qzIR2zsq7ay|5H25O zVGUo+9%!773ud*5o+@W^O^5mykUZkISZcAO`#w;oHYHS}EyLNZ)go;^c%4hdu^#(e zi_f=f+izq*)1_faP!E3kS+E1%SL#3jR=t(`>8#gl(H;8YA2`ts%InNNjxe&!Pm}hzkOT(skR?aC?kbxJJKGpi2sIs8m zhGbA2nrwaPz*qA|MIQo6T0csA11yG7MUW1bd;uEXFdD|SVmMC+o#`SW}Hy@Ny%Ex9W{&kbH{w~YG3qzuR_~7()WjXQ|4%s;0-syZ-b&M zuy%Loy)HZG-?83YAEKv{ML4J&FuL_|tpLMw^Zq-g=n}BW(UTP_tCJV`#QFwMQBF0`R27gJ0)d$v0R;sREGp`&e|QT59}qJs zW*xLpEHII+HK>yq5oU9Z|?dOS|w)b#Z4*Hy=WI`%POIJO4hF>LOP zpelVgN(b(1zpz^VVU2r&A~wpiORW7Op?ley?M1 zyi=7^2OJayEh{TTxRjE?yU!7U_(FZ^+uPUx&$d*KmKu(~0O1k?T-3!~+jOo?=8E-z z>l|SvBY=aRER?^E84)EAFDfc3CM_(G2_jHC@HDnRrGjfK==ZV7kFDQz|K{S%3WCAM z2E-Vy4UE^f@SO{r6EJW#UbgVgUx3>eqlkeSM0!A=9FTE5_8P>#{F6HC*pvO&#}|H| z9T0xW>b)@p)A!HUYwpfvaK_q(Mmr!M@End!E>K}zJ~{WZ_~4&ILegRfB=5xm#1BhL z8<3NN+Sfk~eD||U6)CajU-7p3n;KVH8|Za+xToSN_mA#R22h3nN)XOnZ~c+2{wW4n z-UsVRhs>2s-zwt?V0Q3lH38ty`olW`xJ(D^Mv`S$SN%LFf6KlB?r}APspgaVrUAuP0Y7>=-0{$B>mLBG;_PTWcj2{>sf%8bKltQ*c0{P+b*OV+wd-%2 zRWIJNRec;p;@XmTw^`sqvr|J){yw#n;7vZ={CN734~&>+uI@jag>CS2D@U)1^>xlb z(Rg^#Tgd5plo260_9A`>&+O29QiJ0FLh% zE}&=i#&@{9G+ec6vQ1l2u ze2T7C#h5fq(C$S2$^fhhtXprkM9%-J3eXJT*9W*dfMNv##II`S16$N;7k)+uMqW0J zY`;tY>}IlNe!=#XfPK#&ayGd8;ZF(%uWp(7L)FG)efQi8BLE7z%$Na5kE)!`?!3Z?0f3Z)u z3zjVaTpzaeQ~A&us&kbya2hZ+HS!hr>@RNSjgQi~y4?ItihF4-{xZ{2OY?=8l<}?_ z;SW9drM21nVc-Y$MOg1A5~ZXWdW=e5!ouKYhi0I$;k zp?_qFfrkS6c+R;3j=Jv_Ev(%XKleocSRZxLkjx$D_58ti0&s?e4w^y#!F??*$D-Hm zi&(DZlsTCDq*F&}ejNwvE~U+&)k5K_hbcSUfmO?^{_-#5{SIIe4-hZaeEwQWZ$?)^ z=`)Nm2FnLLZ*vB;VZLbX)t@-Ke`U4Zksu8Bl$Q!F6C^@u^K;T=5|{7DlX2%5R!oQA zhB;@@y9;@_o%u8Ry0iJ_^4&<%qYES+xnd0%9#-}ZV%zi{RVkGXTyBR6`<90&BKrAp zvkD%Ocx1m1={zwoC2Z~(O_>#0g>0e`k-TGE6TbH56H-J*4I7*^PJX!LPPWxX&q~+B zz;f#=jVvUUt=*#=f~Bo5E@**u}`Ef-=t37 zB(IZWN6TW*Irs)RR;-f7GS`℞abm==y8+P;QVmfW%4En~8eNbA+vv1~f-RJUwLknTG8mv~4$Xi=!gVGfnk+N)Qxg94U_M5 zV*(Hfa(WOEpy2BJ6bPByB$7}n!PKW+8|;~wHO@Xg-=@jQXmD$(N?{xen_Wf1%5`OwJi30%3`3v7LCL#WvECgSrk2<(|g1U?5H7_q5Wuy%PJ*?6!Py zCM`9&F>PYG>X`W#A6r)I9Yryh*y4wly=tAy_%g#R11WL}v)`nyk0}~1?+yFh*^4S} zmsbgp9ffjHhQipK(b%7O2&Ig-*2w}_AL>)O>HbJD-Yw4kb$pI}g(|q|YjKbJC{NGj zJr>t5!Z^ORi8W}k}NyR249j$mzPq?L}EJyiN-p0)B29B=;M*`Bct&V$B48&CDAtaH#i#vdm_uV!ZaHs zAz)j&P@}y+^MK0$B0gk6f$3Hf%Kf9 zphGW@oC0x7fbYUI)Hv2Rszk=;71rjsyp=ZuZbM(k2xpZCm19cbaxXB)_pxZrXc z)nZyb{fRQj3fzS4D@qdXRWTIFEv0d}I@E!(zj+qP}nw!3HBwr$(CZQHhaR@|riuz#W=s%qrOIR@0#IGRZcA)L;Qtib0p z=+E`cgyh~mxLR+Ldd%w?< zwXhpeCDoWzs-^@OP)#5EY2mB%@UH02iz!AC{Vu)j2kD0%JuP4bG~|sCn|y_bp=3+O zwrkzAkkfM4nPhb4T#D^JMNtCwVh+N4nBu_{%zZ-yUO@SAhcnj>Nw|6AcAF^v*`^N6 zdgPF6u``-BzR;4FrJqSErj1skG8Q~$y{0nh#BMVHieYtp2Uwedsj01Pi#NY+Z(#E~ z9>HZ6l_rWbfR&G`vFihe-C#tlNWj_GG4jmcSd!!0pN$lv$}rSZx-=V3iJ7swK{Q5^ zO9p;mnvIV*Fv`UiC;5JnsapP^(Qb!GN9G_Mk*YydK|F3G2G*;DuuvqxtwjeYk{#1I zyr2$YAN^s>@{V2za}LZ!GWktBT71&(nreYp*!zB#ZQ=*7*9wNhifo1rb>ZlMfFd)8 zL?VW^I9)F|!a~Eq*#`a>+nR?Oq;>e@F)XDZd;?q(yx84ik(;*@H3zF@!WfLNTa-p7d)0@qfu@m+(Vc)9;4JYarfrB?8BBi}ZNWvY6nB$vK-Q z0R>YC75XP+PaQ;0>_vs(EqgIxB7&!VCr8`&)rl?I;#XaYWn^OldtCK6x~8xYJd&y{ zGkz#74`#>~i@uH+wXZhL{TGT$z6WUZGkV#78XYG%Q=>gZ^_CV<=6jq2=XrfE7YHM^ z+>}};P3obP><>yE25qOHK~MGJSr_8Q58`0zu)AS%6|F8i_Z*-^jj5?ju(=M~rS>z^ zcozgUa6OY0n-4zbj*7>jF&4ekNxET3ZXMnlwkRA2D%^m0pEA#^gDHXvY=VYhTP#yW za%FN%;>9=UR@LySyhEt;edTpTDaGU5LyJy*)%lH%g&|#jA|;s@KD+Azbg#m!az>;=z0v)a zu6}&nGaAE?yehOT$Q5mY0~)c%YX1^B5^Ir2MAsUYu0(Y_nXT9@@g7>p%^SIE--#q( zBd6T02zQCy{d$zyBymgof@1a7ktr_5BA0XOxw3n?P=qI}xvD2aik}k|7>%3~vfqOK$pv-8=`B+aqhocblG)EzmH?lt33B zC8WY;`oCYpV(c)K$@QXh3kJ64_x*jd)&GeQ#t)rL4sr5}jdK9-c>~~GtHI;wFuS~m z${o!2$ooeVxjKPF;l-f$EE*B`zplb(Xr4%n9M8~0Z0piCF3p85fApZLGyk+p^Vkp8 z%Xc9yJR{hrEWDJG7E`Ix?#wRH{+A3UIg;IFQg|SEw#iE|MPLw-5hhJK+uCqX`97J?ZTd#pa4W_1Kwp(2RwFXIiNUyD|wS6i}hT;D2#vnPwUp&TnO&> z8ka}r-TTUB9snRta}fMQW(sm1Z^-R68jF{#JH*qaEQU4sQc?kA)7}gruMl!Qi~YSQ zQknLK`jAMd5wA0%r7gS8HiNOGoEyjb>|1`*_GaIdt!LJQiZ73p{n_vsS-f+J)R7u` zmJHcz%ea5;6^q4H*K=+VvX9J;@%q<#uugF=-ews#a z8;owob#J-KB=uUstZ(e?e%P9m&5j}+Sc?j)?}z0a`~fw9vaPi3uGL`>*iYQ5Hjo5C zlQo}Hrz6=Ww$^{V?>(6DOaO%F&txl3hzB&as*KL{ToGtert) z%AqI(>{(Slif!>XO~-~$R{69{?b|MHMXlG>oxg>5!LlIVq=sJbeZ$DB#u$5bHbXE8 z2YweS%;ONIaujyc0-82&aUMovX!+?<{=v!M>R}@pUa|VM_X8>o{m7w1$FW;l~JM$@)#eH#I-BpbuLIsk4V8w2c z2$$M-Kqu*=G&b$A(&JOM$G3o&Y7b>)Lq6{d?=@~GJb<9q9gI;d=`;L&80?;GqFK$f zvN%`7Al3>P9o#jdDj4?C1YmMVCd60TG; zMqIzjYw?_^f=CV_0Y0kw`gHt^Uz)lyraN9w==J)Egt%TXspzOos4 zZSAnHQlBH#y7ENc%eATa=Sqc$yP8@^J0S0NtlPjVDy}|U;%fTMow{2)Y!TX)P4SM( zkv{1iK$txgeXvT0e1pA^o1CCW`G1`f8iYQ3krox1J<PuYZ*T0VGf#wciprh!9$K+0x8}KTZXXf z_~gR0p7ZeU#ytb+OK@|sKUOOyr}-}5Uf0%qDxH*hf>+*BHuUnwhAuXiJJ&vG*wEy? zwz366DJ?dKC6l`oTMuGZk^alV?z|G1OR$XzxP8#xdM7xA|o;W3-=fJm_w&p#qlQtgHupgvz*Rn1@2(w1RNK z3uKe_1bCG1T;m-3%w3Y=ToE>ujJVYRzNv-?II)O&RZ(2Ue=b3jd5R@8$f0Kj8tjb# z(5tmJTHlLJ#e0B$p$jh3#OTuN?}kWG#x6;egUC`y=_b_!XLRYu?$RK7WSpV-W|QeY2tNqK17G~@PC<>_0q?$WUKG5`x$tP zLz<2Y^RW6Y0IKe(;%mz+Lq)g_n4%GaO1ixy&^?&y%+Bw89Vr@u&6X3eGT6P$e9jd& zqtDV}iXhP?EW}b!k0XYvl2B|>7gAn_f}SCugJhHnpbkKi+4d?8zDjfc&}ciB*NilQ znDEUYAQQ*KH2#(q%#i78c_1av%JN;s(b6T{n#pVfiM|wzOoxT=yHE=xohZdfP{mph z6Dd{7B0@jWrJYaZ2Zibwd7Q9Gqf;~0LEXx#2)u3N$6Hajg9zz z3iNYQn0y4%Zq|EP;HVgRCoNKGl*(zE9=pYg1}{rDu?E2MCqr+%QtH^Lt30dgS(px@ zF40s7WAz$;7Drl~;Gy{4Rew<|2F-pCb@Smv`VcZ}vUb@FcH&@VqV)7LzX}B|Q-V0x zPlUm^Sl%i}s#I8<&*57EC}yXlE} z>IZg$S2*=qP`8xVZo$9F!grTjvEkrV7}po<7&sUqiYR=Xa0c-9Ri-QDPNAyO1>?l3 zWsi{p5!xiPAar`xK35N$Q}33~!)CclK~qlF&thGanmHk$czU|230YmYL$;#lU-{M9 zGE1$iXU}%7VFPC3l~I*5Vt-qGDTJ@U?UQpW_F8*Q*m>yD_W3EN$U^qe&Hy)4n9@G8 zn+nFqS??R7qQ)Gkdaz##O`Zku>X6fn&+M_{+n}(AabHJx`q8tmqOE$!9?*7~A7yKv z2Wj`e(rW9Pdnct5&h0lnC^BX&xoW~ZAqp40jUUeIz&o5aOg{a?#MkefnwYVA0()&A zJFGM4{WlC59#wpBL2r$)eFRs3)eh@hj5+!%7gJG0X>uF3R1(#3Ne;jpL$bX)vf&v( zZ_O<;uW6yqHyrsv^P3d4Q&ZnX6~KC( z6v6(yn_cj0e+J%=cJXh~(jl`%R~&ZtP_JP$*(-^kvb2oI1=UtmG)#wdn4Yy@rUyj9fzlZryQR%#;%=g!xPV|A z0tuu#Cd$2CX~R!ZY~RHh{*MOA18L-r-OLM$(s{dO1^w8^f`Kp9a>H>pFg%_guDt-( z#zId&(R8$)&uwpVigZcWVcm&%QaC3rk%b?5vsxVH+FdvEDMCNcZE>ZrED35Yvdi4G zMskQujguvtG|gD5vlJ8frb}6K**>q_rNAYub)a#Mgwzx;*OVSC?SNq5jcqW56ME+=p*{XU}hqn80S+!CT<5mxtvwl#@zTCv>}*QX30>Ai5O4*DR7|(@OeD#;P2!&UOVQ z919sb;kW|^hk{8xvor_Al{WMK2i-r(wNbt~lLM36oLf-0M~^4L8aEo-G+~He6_cA2 z9fta0(Wi6M^bbfyDsAiNYY{*}BNudqjCN|LdrM;c6P}p@GDbvl@bGwm*}?&RHZN@b z`Ce1%4WhVmQ@QG()hJCbYQJ#B-QXYD~ zhFpn~$eDLGV*Wr>YvXD;EfHHwi_SsiBTGyTj1+FgY)h}Q8^VL;<*sBY`*l|ck%V{s zICN=6`7AfmUKHXkSxM_N2LojSe&8rJo!0F%1yzBSoW?qX-H$M;{Ta#gO~PH}C?{to z=+D3hOe*C1%*S;z^&ZcJGRcsW+&jg-aq}Z{2L*CA~X0XPnz8eD}7H zD<=eBVY^(8pKGq8+V_OJ!Jghe#pFBy^C*^D{8F0@$tu z20;dH)={M8ox&QSx;6sv!lpX4Pk0DuVO!=Kd8-*ayVFxh-smqPU8IzxpJqS`d(5xu zFXpq7QZUDUWpcK-#2xQ-6_sf_ovpJ`3lr}t5xmXM(*pbOtoCoi%fj#Gku%*dX*E!o zzvW4mG2Yb$L)sMA7Rki)e|nUr+d#q|K2m>6ypa#WxqoN3tR*9zGl7UORndU~JtSx? z5}%{AKf2=(V$CKiDaIS|g6N92c!4s&BWYY>jqevz1vD zTg)D#pD4mk^`Wsg5>v&E8C0;rFGEkhcFm>;NyzDlFa@01RJIKvrYm!WD+Yn~@5WJ+ zAqd)BqAZGKSHplo6H777Slh#YNmMDzcFX9c@3qnmDefeG1&5av_>OqY!3A@52rQ;V_*AaZt9DVN}Ro9|imUy~P@1nogeRT_f zYbQoLM)%ytls;*Y-;HZ~LO>1H3K@cW&l5*sAK${DKSn>_PJ}SrKdXlN1#GXpXrTGG zI&T0RKG_{8bT5EL>b{G7>{;w4YWxVFo@X{K1Uc9~;D3=`#DK?QvtddMjJgCoEXhnb z53+w1n&)03ckX*TD2 z7_BxSZJoKwAqH&jj5Kaj`J*0Huog52RqTEKsRz%h9wd_*w%r`)e$~EQB8O&na$)|+ zZBk{}cm0KN)u7&3ir(T2tAtOXk1E4qh5{updj&i;CH&e4gwdc+aB_m`Tq8L?MfnDT zW+UtcceQyygb$-1)vFXpa$A>eS+MvrsD-zbphO4`-~z6rhYeSCviR42^tOqo6J6!; zGJJz|w63gi4DF(xSWP3}GvGmr1p{E}-EGg!a1D^o@nb2T>W30j7B0r0!1Op#yXcLE z%H_nD@p8Dnevz3-~kbB3vO7~Lf zyYwEBjkG^ZxpCvhZFBBQUnI`a-L2#7ym_88)=xt);papo-23UbN5Hw17C-XJEIpevM-I%!Bs`V zAGZsub4LOVR9eoz-KKc&AM|1Q7(C&p8KjWv2$0ldA`N=&N0hVtNMZ_goSp017~Oo1 z-4B|~5`gnYC;rTTPSzd%L|x&9e@mV;c*)XAi7QNw}+Ock+H>`%RBJ# z#fK>EHHsd+Ygjz8o?ku{ZWhFofbc_Lv{W5HAOAq~rNIqVt2)n z5d7k7MIMqZ9l2fIX`*Nl>^L~LAFwL%jH*7arUc(a z^1)a0F3ZH>WuaxQ>W*!e&9QD~n1W2%Xrio~A&;|d&$Oj>rJ( zI-N)RqNI^){TyQ)Sfy2WjG(c1z-}jaNIjf2-Jxu6YbZ*0H^Qb4)MoWSq(wZP;eAeE zS(K29!;{9p)tdbds8R3<+}>Y<3uN3_Z0!7m+Iz&|EUU2TA;|H|Zg3IiAd5AMw!1;u zfdMMPlZ#Qu#%DzbSj*63R(9uhx@{VDaxHr>G@f(p%!xv^`g zm;cltnqS-bMTK_j$|7SfhhG+^9)*;it`6$8E#*O>h1oF`0 zCn87$i^k0&!Al!qv2jkYPq39es{e76{i{4KA;tYtt;=N2K4yBH$t))TPuAt%zsjA$ z0xRl?j;XX>zF56t%e8gzhh>f@df-KQ6{GL-2+8*Mxh+1`dd{PLn zL~P%j`HPK-KwH}gW%Dkm>OC8O;&sC+qPdZi0l$YIsc|yr`f^&X#2off5qC|~vlLKZeouFB&AhDp(grC_GJE*`lw0XBBIqR$0k^$3nN|h2`EkK{PYB zIIk?Cxu@=fH<@H#mOhVA+0*GmrlyWWyY~lev(*vpCbAH4A&CDL3x|yTm$q2-hkJVa zQ!&QJGP#D?0cg+Jk9o*O3N~wq)X%6#TX&|;4&QFw_0F}mXZCHV0j2YOlb(X4BU1LU z#2a)db@DT%kwema7#yV0)aiG_tj{=omO&&f(iZ-j_(LAE=*{p{+oO+E&**>VSv6Ir z*WNQ6G0;o1wO5Rx%_ezq>mkh-71>m;R0W#h<|HHDhqtie-JP7j=saw2w53zEzTWca zg7x9-h%KK;@}DUzq9hjK8z&|P95pX0ifK<&1(9gVgatFrq!P2_ugTl@p0ah}Pl-(Q zkkPYYAjQnojsw3{MuLe5XyR-_nUz%2PYI zCq^wZl8QdYcOLFKhvIUvA>*FvazuG4ypK3e+#2XXBczE3-lx&~7!EtZg_mKTIb!2S z9R5Sa$eNyTAc=WYQdNSk_avt!a{#rDr-HY!SfGlM$*>v8RX#r1aDLIiC3z%+E1IQt z#Osu+wmNzaL7W2F`^au8fy~c^anJ+BIQ+dQcnL(z4vVPK8m|Sy6Yr7`fAanIyy$gb zI(n_&aaK0_yvFnF!q(cz&`wfPFVOgJZlvBCdf;ApV(0S-IvK58KQpC&!*ZAk*A9h` zp5JPaW%pdsDOvS`k`(u^Gh;;q-Y9_42)?AQgW0L&pU>fqMAnglY6hLp_V{%uANcZ7 z{>*K28#rSZ%mZ#Qj+a2=MDKKPXt`-Y;L@m0R1hyAk4J2M%4+NP%C(_^`FVd*K$|Es zycB8;2OOhcxu-*61EHI1knK1cYM{F| zz#K^YXB}k+5NgSPdElc43I4@#VbH2Rzm9+fw9KKYm%I1a<@Z@Wi~j&z`M-g-TeJ$C z9z12Sreftr3dzrX-mA7ekXs#N%a+R7#%zmm+?F1f^w9h5$l~Y^Ao^K^a42Ln)(T~v z-i*uHxa(gkxr2Rt5Vl-c%xBy^{n-WlL8b+^RA%7>Om$z--hZVJ@JJVxS!tOCfZ+4U zP&m3q*oz$>C$kztD&XC+HGhG4V$kT!sD!UVkg4J2gJ0|tKRC39Zqt+ewV0$ta6n+$$_b*R;?&Ml9g;% zlDe`?>F#>H===H!WKr>j^xjvD5&QX6&;b*v*-3JILZNh%+xa6X&!J#EM$hj}dx(D^ zQt%_%>f4kb=ZQTSvZg z=mJ6bbW+5TTLlBS%)Tz_HSba?@4i7B^a)^CD+C5FBko5k@w9-EEr2ydO#08oB(3vX zurfBfM#7?6cLBMRkpaK8if^an1-CY-EHBpuZ55*M8PjPyNRE`8#mMb%vmEs#CDZt3 z&IO;l-oriH{+T>%zIkv-{$o$^VZl1~A>A=~m42Y20{1x71U)Oa33I+C8YXw!F1VD; zonS}QBoBii-NKUeMncbpo}v^gJ`T3>E+>OV6$@OJHT%>10uULG-rdONMz6 z4-DCXVAzzF@_Z^f=a8d_f&+LEXasUqgNM#nWuBZ`%>Be9bIU(W2sfl?a8|+y{!%k- zKL#!H3Zb}HHY+6VL>dD@2vVc-bU;dD4~9ocN@=ob(@$h2&0qy#9Zxx*#O+T`pszUL zG1xzpGV_o;6-Cu(O$qT9M)RkS`He8`=dxQ4 zbt5?G^6&L_jG4RG-{cy&Q=(xug)#j%%hXVyMG+e6dyFfAITSC2s8wErSlN~g3`uI= z^MpX(Y!5n2$YyQH5O%9(u%`m5=wK^9P4?P{(R7EL{qs&>g9doC$=d9tw5m5OH{Jj* ziO1Ue0C*wS4qr)~%Rwwu{U*b~)H1BE5C;i$MoiA{4A_1zPB#(3@RMe&h#iU%)|1l9 z;~+*bDM_`&yWmzQ(k%~eH9(=9A*o|#gI5IAuo8D}oZd!?D7`MJI)Ev&;@FJ_ssZ}5 zlkw>k=j7qr6)x_Pd-ka>l}$dz=D5b(ML7qp!)r=cVk0fx52CBCY+=0HslR!1oAhIn zc`OdXr`9Q}@@O@LyBT8-P*#^#%PDaE&k-<5vm88Zq&^ssPKF&gAG3}`Q5yDa+wI1>F=R>L?u4-J<)AuYK@nLeH?wmOZHzxNM7J^4*t%?&=b*&^Kr!n zI3ZHyaxGn{FX6Rc8l-RIi=(x=mB_fb;=_b=SQ6sRM3u4oh&|ZtAb$eoGMb;IEH2QX z7?!)=CO5Q$!`R2^H*9GPjx?bsEPR>Kn9MM04YhpcGi4>wgM&sUCQ_wvd2)pN+$OIP zhg1lh5EAqqR*CnS|x}_IAeYr8ogXIp%-f64C{m_Tcw@d^tTSdK_AXTQ6K05US@|@w5oOGHz zf`#a+5c}#uroL0-t6XIMxyr({V^th;84G#rDdRJ2F5KJnje%7!ai>SA2M&Q;;lIz) z&Ilfs=6$Ut8!3=QZAj+q+caBwrg;? z!oYT>F-4<^$L-$E-Hx=FJl1id?`;d&7vOPKS>xMrdAXXyk)^fy*ytA>)yLAjB#05d ztUiWarE-a)7iQSSYE8=~04ci)=zIBi1~C_ge|`=%@p`X8_e=~S0x(f0mTc8Lm~Wq6 zlsrBn2Cey=NhQ(VsHV%k7xW@Sd)SO5TI#s#AiKunA>MY{V^yAs_?xqt`DUO+(&8Ff zvE(-!qx=6ftxRF7gys!zYkr}MaHloV9Ni<3Z_8cv0!dNeD9&GFi+X^ z1YnI}PClFUt@K(?>m&pn)fykivrpI<&AaYkS^4Mp5lVrfVK(dW|KmR~@>zQZQ3)fq z0C#Sm-{E>|R>`-LOI`>%JZLJuUY{7{?2o44SgwLiR%pzhz_YBbwAxK2SZuU#Z%Lqd zP#dOJr0&gJ^cOk(!j}N-70SLw$=9BVDam=Vox4Yq)b66+p`?V*p!|;cMkZ4ijQOQ4 z%2nb8jX6;zp>0t!hh!GQ;aHn%(>RuIefTTNNF!6OoV#|Bue=z5S4A=IT-5^6uhzC& z_VI3Y-Fmp~wr*rdiqRV6YQOaNIFgJTu)YzlWdQb@jPx)-22 zP=w7;N{chh7B%v%M!EVIR~U;;Gnqo%H+9U*xO*e93lvP}KhkT1p*nK3!eSKcdf9f^ z`Fd1&n9fEPcpBQK-7(gH_>k7~dNq_Uj|=l5m=80w!KR?%f*^6leTHWi2Ja2~W-RQtNpey_+Qa zAEixBt|rfwJP=lPiPehpRf(v?I;Ls6`kgEj0iNMCi; zjGuU!hP}kgty6QO|DsT%vu^fs1#6a6UY-bTufLRyuX?`O?KGU*ypB|ajt|)g^YbZ| z|0d{4!4Z$FPBRt;9T06UgXkZQbRQokL(-Gl(q!Vz=BJP_xMh{;x)|GRGc=B8oY(*q)}X6!{|8`Jt)%ilfJdhP0X(uZ{eQe88z%$j z|H2*FSvWcVAMHp0MK5M)<6`PWKrd!v=wd2jYHV*}3dP3<sM{ny+~3atJVX$ajD&>5=MKRB_SmV@#uNybLX?x zwc6(Um)$hSceP>8Z_aD|!=b?%57AuFN3J3wAfljwW>9EYO;1Ea42Xb+LVUQdAS@_o zfr0b@5*#`SM3ax;54ns?Km>(=iiSpb2vAPQ`=iK!uFm4W6>(;dU;qa$Xn@Cn(vJfv z&KJVj0d$X5m?p%aG0(ASwFaC>pbO#*r91{~@*6IC6+rMY( z8jOqtB-{=lGw;_8Qb6zr=$95iu+G2rRG04821)SP*TDx76ZipW6Ab#N1%J@j>qp%6 zXIfE7^aBJcQd|NEWK=i^favH5=^x#0asQWabsQulhaCA-+Q3jhxcOW8 zDhZ5Dfhg7Z;>i)qx@nhs(3svcNLp<5v01)f$+r26FqgeMGy!l&af*@C(2f9ijEgom zxl^Q*%FT^(graDEYnd*CPjlYG>JE8kh|!cYEG~+}zxE zvMkwzLbg}> z+KIFW!Z)#$tlSz+;JU(-@4{|Na;tW)9=;;#9Fr-L*r4F# zfES^GIcbkPZ*ny@eGh$i@~WG&@gB=IpYVC4!I$x@a&ZDcZDjHC$gCsgB=z%Z`MhE&$VSU8t!Z;UvG1~nho1DR4{qPkf)Pt zZM(WdTN}}iP?5;-`}QSHd|A}wzN0!sWXxS%3PgNwh)F5L0ma|8|(YHt-gq z(+qeBf;>5oqD>}6wNVfd)cSkNXd;Amd9;CI2nELNCXMr)&HuV63LT6x)k zOzK5t?WbRpx)@FD;4NZJ_xR|8$77s6%zCbo$`7HH&v((}3@XinVyAV-gMhv$Q%M^T zB*Uh~HY*!8Q$z=ggF0qvK%XmL0(qQriEVC{ z`Yt;VC>X;_ZR0pHF|S=-EHBoMr-wVmT2>wg`k;)ZS+TK{_@;FIDf}HgT&uA;^pXV4A*xIdw_FfGuU9 z@6(8*UdBprO={#HJeHGK)GpHxT>-r>ex#|MM_^5xTI9i8g6(kO_-ZHn7z>U!BiPK^ z3f0e=`W@FSH-qom>(J$eHnN^$?a~>l_%CK%w60H9msO2}*}IW*&rcJO7D>c2_DpJG zG_sNA6)vcbFtK>8MZzcYi+f@`h3>md^XQ#G5n5=SdN$|oa5?7OZ8}`iI4}Q`DZFWy zL-`dAqvO&4BSw>hkZfZ`yK7;-@NI0HblNFcV<7YM$VkeZsZAP(IpSN7?u+&bZ!5^0 z+3ruHV#7yv6fq}V>`Puaz?tm-I1v}H`t7}3XD&<{-IERm63!WgCBMWShyc6=H(joP zWP80X>tIGIBM6HnKVo=%#c@x+i4TRwBzuN#lwZQI~y1GgH4G>9A`4mrmEwmeIO_v8FJlAPYj8B78Q z|6p*1M%S}co1nbjHb430bwphjbfASdu%a4EF5VKHvsY$a$f?;1-LKu{6T9XLAk3;k zxO}ndvF?9RS(8_JfN)=#cFbp&?^O>K#vm9T`^1uE{cX3`+dt8tI2~ z*S1qJXEToW@Mk<%{D+|n#9m^H;zY8cya6DJ4%9xk*D?i7e$F+;o&$>gmoS(!!z8nw zFIi+-e~N9u`mXx$GdVYpU4ldUOR_a`Vq3H_uG}?MQu$8>ZFHL0y|cArt|%Q(nA4Dt z-O?H1pV1ow`n(0Wb!0c`gi#^|eVu3PsK4)B=Tp2YI~uXr7_V$%RQZc`0={Psdpx)M z)Gyvnb*q$`j$0(XM2WT0-kBH)ik|;n5hpVt>iRs}J*ng2W|3sCaH-i?(DJn!E3s^{ zy9_Jwb;{#8PiMEuRJPaIad-Odp+J6F5eHRdf>+FFmV~gYO55nI-u6~w2fl$nT{3B* zo5OByCvL=~zbUrV3FpPjrRW?*WA9IBmNv}@p?QpblE{KX$^L(*(jkTkJ~rKprRN^o z4De-Hpqep#7N%vD$nW<)RV(;gtC>*SU0>;#6^NmIxkDA*hw$v{L&kcxj#?$9Y{*JS zT0RRzzY&{9=PI#2W9I{3*kxaN!HFiGhX0D`;VX{3DydR#ee7kH-u<1$w-(M)q(clr z14Fe@o?Z?GEV|(UxK$bL(>YZ=-W&lu)J_tlp1kJ~ua=rEzMDN4tx@8M8>Bm4A^M6J!0tj~! zVr}Phc-dK!NOBdm8yx&5}pnC=pa^^>e z=X%M#4FT)cu|we2!UA_qcZ(C-W8>*jJGDfUmZLRK>#X?*-Mj4g;U3?$CJQ)i2uz#k zo3OK)YEch21UgG@%=_WE&-lx|zVDg-yOI1|B(;>j&zE)t7j4Uju=onM(pmONb%C!Z zJB>*4e2ekJI3wlBDc0=Y+T=j;rCeJ7D2XT>u)t9%sJr8?P~)q}*K_3mwh{`jB*Bqn zfGLxGpa)LM)7a~(;&;nrV*7n;KB%5qg#2!w;W4?*#HYw{wyvy1mpYT-%r_3#^c3}v zUdvh-cP^omA$NwVyLabqM)xS$T)Nhg`<6PSwzMRq=k^|K2bpE^5afe9JFH!CkCr>2| zS7c^{_tj9Jt*lwaU2(^HLaGG%e0QwFv+4^0Rr?%n^>}?!z@Bb9cORr>=RUIDlC}bl^r10EMRX%` zHNxPEb*ZZ*V36_hO4YE2F(?er#kg@hLJ}p&15f$#s6}m zvEwXYzETfp!F=+Ai^VY<>FY$+8XLD2k8;8f6a9wdG%SacKL3~ z=h4{NUIon637k)QX2JFnQIp};nW08}MhChqL>ivfp3~G#&FDIuDm8fWZH;fB^SH3f z;WbUVbQS;GNvk$;9zzgi)r_WLS0+g84I1KhcPF@SNHTVD?m1;8^@pV`guAFrd7pCs zfe=G+2mBT@ zkZ6%nvpFw|>5LTgOGW?&vp?Kxa<9%^_FX#Ul6-18HdG;o43ydkwnMR6M*16?9x<@o z!HDs{*?4M=rS}sOz-VYF&j=WDQn$mxy7!T7uH`p2GVX_ZuY8spQmf1Shr}* z9$p3Syy`dfYxAZO*2DG)HOF%t=p0&kZizBg2&-5g#d0>R%8uMjXAe$J*2s;l4($04<82yKE9dAO;36Tb`2$S ztHuHq^0)RuTd$-yM;nk99XTUsXVm>Nq>7xA!(Mlqu;rm~`&(BcFsax?>`3f%fj#-r z*R)em`cX(GU>3#Y#f}F%;*}QqmH6(U4XLxsTv3|RrpPC8LMD+3up0=BBolO&(bmOPU|BMEQvB8>oh#MGAI(}BO7kr;>Kq0mW>o=>=ZKO>~lSU@0 z5K*_X6QvCj246%^C*;m2`nNFwFKk7cYC5Lu#pqEzQ}L_0x!WNoBVgp008P6;S6o2WH~5_X+mZusfNM= zPXuuED)MUShpk5$3pXpY-`hk(bfDD3O7}|>TKSN~=Dj&!dNcnzP$&wQGK2LBKAn8@ z8*dD7??@s$D4Ap~7~+l(WDj+G6A)wiq2IrYXI*=rr5n!>3HPctcWEv(p0aS&2iX76 zkPDsMxabxl@6$2qhXDN51J0QJU+^Wjj3KwQJ8+-Ja~o3y_m&a7SNsdOVRhq0Gn=k@ zrwWpw5?pPJ1Zk6gFkVG1bOZJ2A#w4bq*D+S8+Ac?q5$#Y^`^W#Wca#vV#||iB~0R{ zxS|qasLSzyIr3%8njduT=(J7i?J2D(X6iL8JopZ2C7ot${x@cjWEUY=qkBxPIi(s#^eUCD zD1A+N#DRTbw-!+}VW-g*T=9`*vr;U{K~iLwz%ve?JRp)Mt^xw*PDFs)OQa_H76fvN!|_wzw}VKyVAL!7W%|f#AWN4+w6-H8{cDJp^ZQ zLI@;_JHg%Ge(%0pb*t{Hy0>borhDd0cmHbUkJEEb_b(H9u;-jjTRIw9Y5Qttq@EU7 zDmtkkhd}23Hs6oG`BJ^-$0bAHfEm-IFvD3%rxZj`+_`#;Z|owvX?Wq6=G@gb0v*f9 z`v{<*EdL!Km&HmVuYU8^m8($;90?0s8Co(r1nh4?A!<7;go}l!{ltpjFBE)?VjLsL zAn@)_inhC8KWk|pSJo=GB4T`C;W@~@lmDt(0H>kbX6?xqogh2Swd|X^QmOP?y9vj6 zPcw0La@Aarahjx(@{Tk0i5IkS);~t>{>%#c5#&gK1Ijz;;6_(vzzjhX6*`QSYoZLJ zN!=~Emnw_>020%;(1bKDwqCeJdYysvyHF z{qHD`L>Q$v_kM-n{gTA5GsjE#ttV8gZ26cZ`H(fSR_&`r>qJf(kJBnp_Y9H}%jIua zP32r@im07JMom?}NKHV^q4@ZevK-QX)E+SquF?!LQ}UZT3OKyJW-k+q!s+p_^SVs- zZpb>mR9SSj`tvic(&pZiKd8kJ8OmNUtiFF*G|*MZx67^A>#bu}<8bU^De&!cdOEF~ zs}HMSV>gL zD&M*_dpUGW9JFpftp(gioqXxNDJNjg)G8PxenK2`YvfDLwOOSoDBg)n#%*cvwOzj) zoW1bC6w_dK>pD}u9Gsn?(kQp_Ds+?Tt4P?Ah*RybxneQNnt{MhIImILmSLG=<|xv? ztl@B#v=C030DOMKRQTi?_g12}q1kPCP48)h;E7u7+wLlO!iOaK88RmEB!B$fsER_l zNO5oT>iF|01j3>7@ce0ZhL2|YTOsYNMTu3l0uBkg3`=ZCv-+s6kF79EvlFFhupN6d zrtaAJ8x^^#vO%fC?+RQiMh(W^O~F_z;dh|{9Q@5TMLNV{Dynfodb>~p0B29Ys_WV! zxW?xDR^sF*ZS9>Z3BCnpB6jBiQ)c8Pe>?Uhs3Y^?v~K3 zNahF5OyLWCmhx;&wk@hJ25vTD`c*d%WYZY|uxFN-k*! zPxH8bO{QIZOeFzOjXCsZU!P3N$Xi>Hee94k1Zqs#B$VOtR;iT>%F@^^G_FY|Q?tO} zQl!{ad^8BS9gn2`89~@b^qPC?XYua#)A{GL^4Dl&m3)UDKWu6C#oq=^oc?iftIS=i zbk%XTTTPs`zuld=!WG`bvYIPIvspoX!?a5weiGL?f}cik*aim(jBK#w+M(L{=JQd7 zO&@$YAo{(-bA8CJqIAo4i<1qRl`=jef)KmG-oj`Ms?%9p+Bw;C10P6uul-$U)5w%2`jeX;yNQhOr^g`pZSXvcs3Si>{+=NC>Qq#7gjNIVqI@ zlngr+kNDXcm-4d5Sp2Zg5$lRRAv4|IALW-6A%tx&8<7s3IO;@;&<`s52l%)fouA;* zps!ju520bp)=hcK&;B<3iSBL=8%`Ow75$0R^wTn0xcxe@bKwSt5yM0~)F#-ngaIw# zEo*>2L4F8Js|fA?nxHmmT+Fy?*@h;I==?Esdy*_5XZ?~QtYx!5(yx7Cl$moTCr7k%-mBjbjD<#q2kIzfz^&+jeWOz0R?yFA zXGfkJFO?TxR>-9n$5arMlau+RXLkFB7AF*P&Z2!FV^DZkpI(Bluk3{18GEwsRFaA- zVZhyQe1j%*{hayFUDr78Ckr5@@>0Y%d-J(O`^p{;zcJ@t5#j=+V~-RA4ihvV3L0|D zEm1eww{RA@PhG6Nx|T8kB4G_Shj`mdjK7pVy%-c_ibNhg4E`ch1Xuf|$JH7QNsa8H zazWI)Eog`O-{MTKbc8I-xZV9|ynlZeqrE>ToIvDU-A{mr33{EWmjBzm;Ym2ERuWSh^z5@PcTsn7ZfZ*vKDGlxPHixuzlo3cA&&UatKDSa zq7ar^>Gzl|DzS)15`O~~mHzp_D?xexA=IMms#~wEHp-L{@a{F_T_y7;wOOH)fbtz7!q z#m22w%Rrx(PYOm*ey(00USEG|RdaCBag%HxU6YP=%Hz~!*KDjci>egh>Z3})eES|r z)KCWc$|#i`sD0NwIK8fadDLo;b4R-h@|r6+jF)$UF%J7HtEqC*bs<&6EVeDX+g}`7 zJX0!_t+Mg(y2-I&h1gs-nrtET_X0m&%Bz>8bkS8#>5wzs_u{c;{aOrEQ;yBwZgUlKR)Q>Fi*lUtg`7js42q3csKpL6NFYcE%y=Y7e?SU;_{p5fQ&ik?PodjQzLFH_u+M0tMeaz_^%(h&x9y$=QH)8vVN zepYo`Nzgn$!9>iI37sOE;VJ0gVxUSX=1vgI9H{QEU3!-PjzKsOajkL^v-??8(pj^f zH7l^u^726YcNG;W z)uR~7271I)kjU1cPvq3gHJ{{J_{vx^eHQ{@TMxx)fFb+*J7r$du9l09($5?A`Kaud z%$S+F6!QkS_$%+!)$QYp>8Cxa|FZY`(0=i4r2s~=zbN~gzk&pTNI1Tr6LW7CZ-diz zg*jFq$7bIsCXbKNhO`>l_E=ibo}LEmQg>+c;k}3iMxR%fnZ7z>dAAv0^vn4~>Ovo( z_G#hAVZ42YNl27ZF|E7F0fD|>Pl*4k)X$Wb{VA+%-{KF;5u>B}+4zIFw3_^a)b7(z ze`~kfI)*^w2?q^Lds3rU^GUv)9~T>On>Z-QXOk~a#7`-)7HYk$u2|yi-}$o3R*L_Rov+o*4E~v0d*Yo?6>uB5YPdAg7+KyeN{kUag z4;gu74tcZhZgsHQ9)pgf(idGEYNAMnr{v=CW=q#21~#e%37&Vo9t9hj&^@~-y}uj4 zp})9_!OACy5fS~>5&V4B><66?$%mZ+)U5Iq-q^ZUCDkGRY2yoWN}uT}Hd|R(BVY>+ znoFz5CB>oSAO?h87Idt~hZ=-)hZzKEPRhwDVqZL>pA%~${~!HU@L%-XH_nb0ZssT< zmd(k+QVXuf4FU0jK~M-gfJf5J)!NaSjh#p9y{jD@b=GuyX9G8PMU`HoL|RwWJ!Lc0 zBS4S$uGTix*tY9!J3a8>|@t+`C&Sp+da0`@TY-Z;I2k@Y>$?Ab*-R$g8o?VB(1JJTY{T4wT z{|JN&r~`L)L3Is;fgrpPK0zoyA2$@l|IYwXc+}99-@C(ss6l~wB%RHzQB?;wPj;ZK zlbNfv3)~Fo{(nvIgJ2*i```LB+`+=}oekh$C2%cN zp$<#BNw-Nn_c=YHHWAs3X&1>wws%#g_s3F+CC$RF(c-US@-O$QqjSIygLkguS46@yUvJWmdkRIYy6;1GXvOc{4Z#nV0wC`@Co#?_ z{Z@;VEAP7&y>Z*Xl`vca3F^Z5q#>L=e>kzo^D# z)8MXZPYKGn6~Yv{Q~}t|rViD)nW(3g5@6nqy%Q5+S9A|eqsF5U=k7|eE4UpuWuK2p zi54dVF}G3t{CvEyiKM9!_G&yZ910+;ZtyeT9~a;yte&!CcqkYO1=V3+$Ik6r$Wxjzd;TvM2>BxsmZB4nayKk@akl-S)B-yDeStzjHF4EqT8rMSrYS;krdT;o4&$a;&a3GQ-(2A{fRYZz z&Wce}d4y6zG1D=iPGzqzZ?60^V`emCAMQ$Ei+-HE`$HpBcR3lWUw8v*R?tS8(|uL|uAv9$VF}lWRYptY_pd$SN@TbvRFeO4EfL*Hx6Bk&HvCzF zx`eJvg9|RdZYN{YncHH8Fe+F&A6d|QJ~pK7w~hgBt}}=)wWUtzcm1fFWUcvSBbn-8 z)J$WOGSeW@BV45xVLzF~-m0CQUn-Lk5`_$i!=^}NkYG%%gH+~yP&QViCvlFbc*$LB z!RJ;zTtxD*Rb@5P1@H6#YB$%tP{*Lem#sWu|K*ddaUotRQW4@2s8PD`jeW7N*huwk zLCw1*dRqIGl)JLBaO1r6yK|37D6&n#q%dzfeF1x{Nv1XyKa7R=*F6if5`WD?!_A1{NlTAr<=B}P35Q*W zqBeb{{fM&2OEL|~3C!Q$v)=RjB;A&ZI*Pz&dbibUskvF2H+{UF5whtHc~e3D|Snzm0n8b#v6R2=(HFzVg5v1y-2c zI>W@iQiiV%esSW|%)F-oI9!}PD$|4TV>-bsgPreC3oU4Sewc|Hp0H5WJne-|5vQHPCxUlc(7S5G_2f}R#QH4X) zz1HUcX%ECNGFP{At?Azvu!a5*-Mw0TC;B)feoWuJ%qW(jwz6yO?*dy-?O4|RD=6-o zulvE>$7uAgVH4jGM`GxyevjidcjpUc3{9Rj4?`}NQ>8B8q^DOW8^HKMbc^#LxEZ6%j!N%wm85KD>A6OYH0XgyV(VweWNP(P2S^JqU!+Zx3oJl0~#*_x_J>&8v@WD0DyWk@{LdqM8|g0(IaMipOX z^4+$73Uh26)=%9zL#bZRuJ4vTk#zc+rcPt(=@JjyB*v+ zpyr}MHkJQsNm=UpK|@>JuDK`NcAw%fb7J_TZH?dx$zDgZaqK^sIkLZ&>=E_WuoXGN zZ*MrFQu$WY`1->5uw+S90O@S}s;=`UvTiZ<3}TG{wgnka)0_czYaO%IK&g9iB(q4* zt~2BxeGWxaFK1r5{hXv;nbyIR%A-UpHafpnIg^>)+J%A%n{&Oxsmn%hyNk5xm|A2( zwXFhu0HifNiN?sbira@6xj!Y>%Cv6-MJ3&;lZzt5B-`=DyI&_;Bnh*{g;Z*p;|6R0 zdD)=TWI3;wcwB#N8`XFzIBgUOo@uTTw)wt7=;keUuwh+Ueaksv-$?%cVB@ZC*)g?$ zPh0TwC|ganW7PZ%Q6~u8N_IzQt%0`v@3fQuU-KmVgEQ%Az%2nh3Jw---nB") + sys.exit(0) + +def faulty_line(line, num): + print("Faulty input at line " + str(num) + ". Ignoring '" + line + "'") + +# data structures prepared for you +guests = set() +friends = [] +foes = [] +longest_name_len = 0 + +def add_to_guest_list(a,b=None): + guests.add(a) + if b != None: + guests.add(b) + +def longest_name(a,b=None): + global longest_name_len + if len(a) > longest_name_len: longest_name_len = len(a) + if b != None and len(b) > longest_name_len : longest_name_len = len(b) + +solver = Solver() + +################################### Parse Guests and Constraints #################################### + +# todo: create a sort Guest + +with open(sys.argv[1]) as f: + wedding = f.read() + wedding = wedding.strip().split("\n") + linenum = 0 + for line in wedding: + linenum += 1 + if line[0] == '#': + continue + if line.rstrip(): + info = line.split(" ") + + if len(info) == 1: + # todo: initialize Z3 Const and add single guest to 'guests' list + add_to_guest_list() + longest_name(info[0]) + continue + + if len(info) != 3: + faulty_line(line, linenum) + continue + + # todo: initialize Z3 Consts and add two guests to 'guests' list + longest_name(info[0], info[2]) + if info[1] == "dislikes": + # todo add pair of guests as foes + pass + elif info[1] == "likes": + # todo add pair of guests as friends + else: + faulty_line(line, linenum) + continue + # todo: add two guests to 'guests' list + +################################### Wedding Guests #################################### + +# todo create an uninterpreted function from your sort to integers + +# todo create a function which returns whether two guests are sitting next to each other +def neigbours(a, b): + pass + +# todo all guests must be seated at the big table +# check the indices here +for guest in guests: + pass + +# todo no two guests should sit on the same position +for combination in combinations(guests,2): #todo + pass + +#todo friends should be neigbours +for (a,b) in friends: #todo + pass + +#todo foes should not be neigbours +for (a,b) in foes: # todo + pass + +# check satisfiability +res = solver.check() +if res != sat: + print("unsat") + sys.exit(1) +m = solver.model() + +################################################################################ + + +arrangement = ["" for guest in range(len(guests))] +for guest in guests: + arrangement[m.evaluate(position(guest),model_completion=True).as_long()] = guest.decl().name() + +def print_table(): + side_length = round(len(guests)/4) + top = arrangement[0:side_length] + right = arrangement[side_length:2*side_length] + bottom = arrangement[2*side_length:3*side_length] + left = arrangement[3*side_length:] + while len(left) < len(right): + left.append("") + while len(right) < len(left): + right.append("") + table_line_length = longest_name_len + 1 + + print("\n") + + top_row = "" + top_row += (longest_name_len + 1) * " " + for top_guest in top: + top_row += top_guest + " " + table_line_length += len(top_guest) + 1 + print(top_row) + print((longest_name_len + 1) * " " + table_line_length * "-") + + first_element = True + for left_guest, right_guest in zip(reversed(left), right): + row = "" + if not first_element: + row += longest_name_len * " " + row += "|" + ">"* (table_line_length) + "|" + print(row) + row = "" + else: + first_element = False + row += left_guest.rjust(longest_name_len) + "|" + "<"* (table_line_length) + "|" + right_guest + print(row) + + print((longest_name_len + 1) * " " + table_line_length * "-") + bottom_row = "" + bottom_row += (longest_name_len + 1) * " " + for bottom_guest in reversed(bottom): + bottom_row += bottom_guest + " " + print(bottom_row) + print("\n") + +if(pretty_print): + print_table() +print("Seating plan:") +print(arrangement) diff --git a/ex4/wedding0.txt b/ex4/wedding0.txt new file mode 100644 index 0000000..f868b4f --- /dev/null +++ b/ex4/wedding0.txt @@ -0,0 +1,11 @@ +Patric dislikes Ada +Patric dislikes Katie +Patric dislikes Bob +Ada +John likes Alice +Bob likes Andrea +Andrea +Alice +Ada likes Julia +Ada likes Katie +Robert