From e11db6400913c3b1ce25e01fbb330ab6f6ebdf0c Mon Sep 17 00:00:00 2001 From: Robin Clark Date: Sun, 9 Sep 2012 09:35:13 +0100 Subject: [PATCH] Added some refs for quality and diagnostics --- mybib.bib | 29 +++++++++ .../07SEP2012/diagnosis_from_FTA.pdf | Bin 0 -> 52528 bytes submission_thesis/CH4_FMMD/copy.tex | 58 ++++++++++++------ 3 files changed, 68 insertions(+), 19 deletions(-) create mode 100644 related_papers_books/07SEP2012/diagnosis_from_FTA.pdf diff --git a/mybib.bib b/mybib.bib index ac1417d..83f478e 100644 --- a/mybib.bib +++ b/mybib.bib @@ -149,6 +149,35 @@ Database keywords = "fault-tolerance" } +@article{iso9001, + title = "ISO 9001 Quality", + journal = "British Standards Institute", + volume = " ", + number = "", + pages = " ", + year = "2012", + note = "Proceedings of the First International Workshop on Euler Diagrams (Euler 2004)", + issn = "1571-0661", + doi = "DOI: 10.1016/j.entcs.2005.02.018", + url = "http://www.bsigroup.com/en/assessment-and-certification-services/management-systems/standards-and-schemes/iso-9001/", + author = "BSI", + keywords = "quality", + keywords = "ISO9001" +} + +@article{dbamafta, + title = "Diagnosis by Algebraic Modelling and Fault Tree Induction", + journal = "Sixth International Workshop on principles of diagnosis", + volume = " ", + number = "", + pages = " ", + year = "1995", + note = "Working papers of DX-95: Sixth International Workshop on principles of diagnosis", + author = "Maus, Jakob and Neumann, Bernd", + keywords = "FTA", + keywords = "DIAGNOSTICS" +} + @article{syssafe2011, title = "Developing a rigorous bottom-up modular static failure modelling methodology", journal = "6th IET International Conference on System Safety, 2011", diff --git a/related_papers_books/07SEP2012/diagnosis_from_FTA.pdf b/related_papers_books/07SEP2012/diagnosis_from_FTA.pdf new file mode 100644 index 0000000000000000000000000000000000000000..987f4399961c62c53eb8f5a735c09c74c92d70e3 GIT binary patch literal 52528 zcmbrlW3VVe6Q+4=+qP}nwr$(CZ5#LC9^1BU+veVHW@l$7W`4}hM)Z&D?5?hi>W=Do zpUfmx5D}wgq+^1GB0V^qU4(^VB48k}H?o3-;^BdXqL(qXGk38dU}j_C{C6g1Y2#w* zL_jZQW9VWkVrpz}VhRhz#|I1L?BZl9oa$4m6)J{J- zduHq0joL4%n<@B=?O>Zfn8}~E_Q~FjoUd6eQ%!5TxuI})u=Y}PH7Y;Gj(VFtiruo^ zwo?!u`uBt1LkS`L9?I4eoZRm!Oe`z(tzt^A1s?j|*tD~mi3qYGG-8rTKcWX-G!d*i z0<`30IozbfHYZe3Z1uRVO(zsmheLjVsSNt}Vwx@DIk?TD#mcs%HUz(<-F=;QRtDd$LINn zSsTy9FfqM+#}^$%F^_gQ6}M(v${77Xi*?`n{uRb1y8lVY#4!mKx^3Uy{D6pVtcxQs zduUR5dJmgpHPonC~#(tvj6jQs2B zd%@QBu06Qh*15&+XcY7`gY*&a(|p_XtPmp977I60CJx!o)E%=D&7d^{z#_={L0uwUi&GEy<-y$ zV4G)Rhwstf41M>EKL_LP?0yPfPzkq@Gw@LMPtNc>YgC3R#W$wbqRq)3c}!mQ9atXQ zBlJ9m{j;xD<<(-5Sfv~BJU&`)v9pu#2Sde}NY~#U$CBF(IE=tTco@&ixOK5bp;gVv zU_3D>7%xlDyAY~(9q(LIblVT4{^=f&9dB&%Wj~62km1L$OE; zb8K14en73k;qFh}=O&_N4M*AecedCczeD%MKKdvG0P=GT{4E4ekc6aX-92yBYH(8!)yMuq4_PBJ^q6^hicM2%s{g6E6%2Nk% zeG=3KsO|wa6Y(IiXphjds7UeU5w8UXliw<4 zSf~IO2|DnDkl@UZY}3?yyeOBWeN~u1@Sw7_5+X~8Y@$T-K`BZHhtV1 zCDlmqe6!2V_--lVOnc$2TXM++lFOs}PAh;EA$rB|HML77xz{A6eZxeHsmB@Nc*eiic)Mf56RAg2F7!gdA(a1vQ{lOC9opd$DjA7{>!RL|7^!^jzuqL;~ z+VW>hW{uf`uvX=sKKiZcM5hmcfNvW)6~{*xFN~GRU*}R4A6AK zo%|n10!AL-_aQ_o-y|GrthW}8C5tjMlfwy0qg~X!&K%!XBh;oOCWyD%q?&|j0c0Pt zQ?wWIu{gP#ZNvmiy!r%BEz7$p=UJTaTnDP2Oa4i~p|`dNv3dNI?RjP4AO{mDG!^*agF1bvU zk_`^29Sv^@Wkl&Kh@KLFIYnT5$57x!qkzX0R!RyYlHde8#@RtjiOOk!7H%nucd*7_ zRb@-Wv~O=3=CYQupKnSQ(b77jlpTr_p_~)p`G1Sq!V8KUY1!}=! zpw})0)ILe$$z%PxNFz4@jkLX`Tf{*&03ua83(5dkqE-6H%Y%!?8O(#)qF*vavHA^Q zGtSE?w^nEIanHb}AuNH8W0_II`C0@kLp#89w-ImF5Ch%WYyb^n1)w6IO?^hu5J)jZ zd4QxArm?jqjUF9Ik;vePdK;YTYS8Ix~Gs}fx zx2H)x!!~nTRS3Gog5;JEH#%L$`UYXb6FfJ}5^Ojwjd7KfduT_PK;BCkHX`g;itgTL zjC%Qq>LdmG+9R4bUP@<5>)!UpQun)rarhLu*wdlpWL9ISsLKR`ISXS(M{azMtSi7( zdeS41{<%L)B{N3^G$1%SLrW$3(Ru{(dXSEJ!hywIq9M5ujr6VGIz-}#0KwViF zaDwE|l%)U^ad}A|Uut}^t7p&525oYL z9-3Ybv&7IDr{WIMla0``p+^=%wou}S=>=1~1d&u9!<{n~P_^iWu z^BN>RqR(e>QFP0WZ|bwmfhm)yDJfH@7}QB_QRWIPVh__cg?T7HaU;PBu!ex$yXF)W z&^A?_V#pJ$r$-*j?u|)%xTV~X<;Gy$ql&Ldj!VufcW0N7{Q(?Yo&u4+t-!y`MZ1xe z8(QPR!;&G8%Ikb~sSx_H8z;N0R}Z0lyZ5}q^=cD8a=YYTwfffYC?@h7n8c4!pLE(3 zL+I+H`mIk*))4KG87ry4u{}+QmgBo+EHa#7V46V{=vT#a69*xww%&K>ZZRP9V3Aygxmg zo=DlxfX%O@tI=Ztm?O%1Hx4eu9Xb@k7CXsdN4DqaG;(Q9U#*%+eF^}Se}~9K0jUrr zfE+u`-SM9#h-X5e`=~AqCY#ZF;994ckaA zY5dC;BJ$ew(`(+DuRIIt;cnKCdyVA<)CAGx>H|4@8bc#Qq=9{}yW=0-=n0<-#sO${ zT2gH4fv$;8XIYI|st6%DH1z6w^`Y?zI85&*n1lssySrboIk5J<@!cyWu=@2F7b<+{ zQI3$Is9FVoO#{!Ha&vS~_NBxytR*S70D&$yk#OG36yks=i1?4ST;=SRLSD79vj$s6+omT>WwDVCDW1ufLf}B2g$S$P;vuurq#HKXS3hJ<3iR4^I|~xMRj)eSyPrMzr}P z)?YX>H1Z*QM>@PQHN%gaJ^Vx5>`rN!Jy2yY{NkY?@~00q<)@S8`%Z`)MLzmM+u>RyzXmcUH2ICQv(H5Z-x>GddC+K zaney{R-KVelNtv#Vqz4b!t>0-oG{SAO zf6bD>WCND3i(xYWmnp3*2)4w^#?Dv2mwGwM65o4MJgaV+gJ=XWmrB5E$XJ;qN+#`_ z9J3>;G*>jC6%`97qwE|sFBTC^>>%^VvoAVriXu3WNz5BI^(xI97mi~=EhLQz2ICJfl6S?wQKN?S$-EY+O%9Xx2 z>*aXd0L+3?#q@g_gUF(K;HITBK{A(_ih8KopG$i7MUrOWy69>T=y{1oKiIeaT-i3! zJ(fV8C_9%@j6WJ4>XgIerFKn~-b4K7X}@3Zo8`Y?0D5q%C9qJYb|(K#Oa3$eiw(5wQL@lbL|+ zzncHitMsBCF5=2A|5WUM9V4#HNWlKzFaPJ3|291%!$1H3B#2qqSpPQ#@zTHDaH|7x zyK~|@UyiyUtcd{R)4qq*X8}VnDh5x#)sqg#nQLq=lk2+`TcmiHTwB@mHz&N z--sUeC2icrRPJ=qq=DtqeXg0Kc#KMOx*fIWkJ|Y96b)LVN#ccB(m2T?ElIM?i0v13 zM{K%c>@OJ~Z}iQf4Vvmbi_V%M!iVdCYw#o zoT80_|LDZ4$L&X0nXWg|ulIL$+YgKE!m){9Yb5_n7yp9G@%Q{FGpA};@Zq%>+X>89 z!`%FfnplTNq4M<1UdC+gxUIE;AJ#fYa2-QSI(S?Z@-flaEgE<~*#2Q|u?k_7l+2^G z@GOfDzO{Xu2AETYy#++^5*=NJ7_p%rdeNd1ezW7C69Q)XE{WXt0;})Xu%QxpUUOBC z?ysmL>$4vZUwl=90zcTD`EMQL(1LSLebVXcdBuUl8}Z^X#h_gZ_4yw8R?-?e60-y_Gf z-CQx!OegNuG0)%r%i2WX0o?GRdL|~ZY?*Hx7Yrv=eQ<@7r)scMg2@O8iwG{~JC13} zHxsSbxSAbMU!A?bJ{?jGE19&Z(2$>SOioNvC>5%zDPv6HN%6jm>e|n(cKTbd3J)v`|&NSZt=@0h1dY)Rh=Q zRt5HOZcBa&K1HaFD55{j`~nXu1qoq|&=ekS7TO}7J@(wnD-@S8`elRHw(f)JxjZgK zSN8R*E9-I0%|ka*J5=TrVBym)oZ*f|l|8Ad>-to}o_f7ny)5r{;H52nR!!34EFireO5m(=5xmtP-#Mpn$C{mfbv)QgrSYb7)M zn8L$bXlhq*^!C~~CjvtKZFMtn*w{D%1lId7bM7{tIOJl>u3_5 z@|c%`=&mXsh&yzE$p)He^R4h-zR>E=mdN$FWYHRzCu_XeUd7vu6z8LU`8%>X4x&9C={Gs%t(53k1;EwiN{74f|-sr_|zHmHucP|u_n6`B5XoKT*S*mRm zzsCC5R>*QnKU+)QsJ3|K#$sU+?eoZbPx=6Iu)jRXdm{vzhzn$w*!2xP@NK+h$Yb}e z0g3tb=zv;|MAr ztZipAS_V+jxWl=cjUbzDy?vD2s3h-v7#@0&?z-E}n64x?T?5rHr!Hi!8I7v)a1uD& z9PU=2cAV1P0$s~=nkD+O;%at=Dp#smZ$0R?Cs3z|9zS-9;7jT2CDVa>LelovOj_*J z86xvR4J%%fJdBxeB`hv1_GXAjGl(`%l#8Z6F=9L>BxJbARRqvuHPs~uk!Wv?ux0Q= z=d(zr4{O1XloiOEqW!7zyOrL=`I5_x`5fa!3WEUQD+1t0NEs?){3P&R=g-u8UOE-q ztR~2Z5nu7joy49(tq`EcLNvgL4U*S9B2J?z*GU=_In#tb@G`W9Rc;j2Vwkf7F6nB; zMAy}H;Us>A@G;}4FGMw`%yud#eSIJi-F~{}2al)@$kR0#oy13KCmasQdq<+r34&%i z>rp5U1z4C`;m1_!rt9oo>z4q9WtmfVHQtfJNRlMpN#&sOG`rIzH+el=+0B7Lah_y=8A>~fHm_OkAgD=S zK5`ADV;^}T5m>3on0NW@GA=3SQ}Apr?C$Dr@tX_gx4`(&?0BOURL=)soilZ}`tpSU z^`+{k!iF829Co+v>sLn&r zVmrX~sd8VODiJ6vFv|m?y6&38HWS;7Veg!>3ns3)BKl%sAZUS!ahr9&fm^`GE&uq;I1v3 zxo?#c>Sj@OHTz7xFR?1U)%5o3W;Z_ldl2dFN&5?@iqxBmH>uy}*8wh*M~B^v4=jAF zJAnmqLUT!>&|$9qKG62&)9#YSbfND4Rv>lqT+&7~&r45R%r%a6d!o?e1_w2fqkNaQ zAq89LP}pV&4?JauRlnJWm}Vij25Yd79r#n6#fQLpx2ou0WPMB8@#fhLn+gpn0HPhpXKe+Jd{*Nh#unngbTo0~Qy zK4HklQuyW3hneMtgM<`=#~`^?B%#~|HX^e6zOD^?gAi4U+m$PzFs)afEtE|Xr`+&k zh=UOR^tG=MWziI9E)l|YaB#1QsvamNrJy&bt#{R|nAAq}N-p<@qa@6nBsw5Q$)q8j zDOe|(Y!PnDdTLJEff!)paC4`6mId|eWDaT%MeP$J(>4VoSSN8p%xCA81x-%3)!?>7 z_p5uG_pHYoXV?w!nFaS9h??wZRJInT)xYHWv}>Vw@+AxgjI@tohtA@_AnI z&#v^?Di~-t6<@C`ho(l8apkSMCzS+2fp~Tfwr!!_92lY^ z5Bjs?Vf#|meh59BmlBhJ6LqMwL;Y8&js5PIM(gi(YAzWhdtv7(Q{P~719$qXL>Iae z8@9&lQfC3NQlBe=)RKgaD`sq5Fk0`Za7hkN%owW)pmzH+BNY=JYE4yw=^iEJsV2-F z>tVWS;viIX+M;q}G^j+{q~i}}aw^QP7UP@#M0MGyBR2F7@DV>kyAAf8h4zn|U1u`L zm@P6)g0LBUgY2eIHLY+8Q|9+`WtF&;Q>(W*Q*an%luyZycsEso0FOFi+mU%}Q%2`? z;&5Z+;jN7s5z622443IzkZ=pWMNef;u9x%Hj3+kykjUEP3SyuUM|D``8zjynZfzei zp-2O;Jd;c4;&&T>5!_)$R_~}yVHVpQAmsdrf{jD)ByX$=-no^t$^|0*tadfAnPS>n z9gr=#Qkzh`=bhYN++5CsGW;RTq zkBDEaskBC$zb=o7WF*a=J4iV?5bfK@q$ z>d%;wb7W%+uDFYAB3_C14a+voBuun;hCiyBwMsL-0pV-kY>@065T6~CnV01nNgqyf zZ$*_U>mU+p>#3sZp0S#gI!i@U#(*YN0rP|?m?TE^>?-Qk(eJ$TS8-;pp?FkUHFcv2 zfjd>K1yyHebgZhg?Sr}&SmB+WSWW2ZJ7wNv3dz37-3e_uBE5Y&TuNvQsjUjVuh%?( zuXbffU}ruq>NYa@*NQL`L$YDQKOy2yKs~UtJ~;&Wt=9UL{#+C{>v8Xq4nb}oAQc~& z`QxXv*)+Q8MrII>oak`#xgDcsgWleW;jfYWI61?;Gv)~-TIRaX4WknuL{o8vZ zJ+ER`DC~qBGpa`s&5MxYn&dv`gyGFIOftGVeyb^C9wk+Fbr1dpRR2 zKnl?$i*km8T;20b&++bv6zTuk@g0j&mp3awENA-iRwo(XsdzmioRkX}i21m&OyngT z?P}#|`7OF;A|JS^tleP{R-%h7dPUdekkj+I3lVbn1?_$syr{mCk_gQT+ z{%n^-a*AoUmGFFl5rn5Mw@G+U8R|QWKCYKNk+EHk|2*i}S+nU=Y=z_-$7FI7uAv6m z!l&}~8T*@xrEJMyEPW6m4m8;3iL&5c&}KRCH!#)@Kg*r}0peG)tSSBhN{Y^U6r%R0 z)y0G+vyE3tn2IxCY=HcT(IB?!Z$`PpgzKm8YJK^ga21e_4snQck`f7Noaw$YhjoF3 z$w26DU*o&*pLh3UN6?g-kLB&99>`>(AwRUO^^0Yy@aUBH9XD7@!W-juV(Ku^iE#~$ z)LdseEZ8Ih57PF4A`3gxqeVhCUH5B&QoigRuU6`WS6}2Wqv&pFeJrrEmUmrfknEgh zy9^jn5{fI~-$T!SuRNrZDywJkm*U&)S>WaP7MQcH<1s-+N#(zvJE*YW^h;5n)@Jg? zhkC0|D%5$WqQDEHwEJbmhZk|5kKK9R*OrXFqifxY}V*&mt} z;Bn$5!Z(%W#PBJ>h6cgQkYBC5{K){Rs)kcejh=6%)by&3@8S;pzYOlZ%&r{AY}LPJ zZdU{l51DJcek+^+{l|MplF)6v@AAiYhu|2lrJpa^77k#zjV|v-dA4kDf%*#MKA*5N zKkR9>Z&TP72{(5cwCVcA;w#ZMV4LxiHl52Kf`7|UE-&GS0`dgv6UnA@D>=_+j)8Gx z<-GPV0&?`0O=JxlRa%9*B*pX| zzA&iJ zgpixhspM%~aIULFIynWPm?{d_d6>pCDOvmuk{x{Vc#4re*#@%RpE!Zt(I4fkS$wWZ z;5Cw%bbI3h5knNa3$$BzurH1@Cbbp`sQELbGlE{XQMg(Fnb7;)Rhe1JOnJ$@9uG6-NDdKU zdsPpRDxp{~+l1RHY>jwXzgPe!+^Bm0O9aNq_&+eH|Njh(UW|o+@jsOw|0vo2S045s zxb{EsFjhup#{b;{k@2KMHl%KMkze4rlHw4;wnvR_Ir+6~4DFXvZ#WcC$sDspCUn)M zU3oeH(o~4pVj>j+JftyLdgR*```xcYWttR?+npZ8LWn*1A5$qXDHBm5RiYJn`&|$t zcxwLN+9AKbI#wRjhFW^h@}9^|TDqLd}K)*2*M8`uCI2A1axkKJT27 zn@XHZskf@Typ9^X3paW9{@>XT{d95k28nSEEDYyEAv4fy z>RQbaA&i+ckg3rj_fei^+y2P zP*Vyy@qlIa==?7Q&kh_ijiq3G-f3nEmaOAa-jdD2JqQ9$dIV}xRXh_E@TUYOJg9*s zkF$!;TzwDS-;kO4`dDzZKE1uLsp5Ht3#ZQ@LgxJA3UDkpim2L&K2;7nMZcg~Gn2p? zzJB%V;AO2S{!TNHWM)3`6ptabCoCBJ^Wp`dSVP^pGnm*oo;#{b=fddu!%lVSwT%Ie z(Um&?AQO>d<7_k!<}nKe=4Yxe&H%IKk@-l!)&h*SypaWc)15rO;jokaJq)CX5%G`G zP+Bv_>-7OQGw6*T!DG+w0J1|NAPG2`V1gur?Wlds>8gKwC>jiV=R;-FbrU|GM5|$z zY@kNMPz3Z|up1+k{ft$Pd~d^tNW=7yxpD-?KCH;(uXtkun?d^0HFf@MB-&av$BKMU z5cmCdx)JQBNr3~9C36aoJQhAzQ^oqhEdXY!C(C>^a89x(3;ZaV9w(~+v8gn3&X+h& zOWUakcUl{9;&e<>1zy;=9tK~>5F}p9;hh8E{5kQZK(FhdMX`JbBegc4eK1F+VJ$o4 zl~1*PoxII9NQrQV9?1nMzkjedXc^@8&81qfy=b>B%W2D;G3oHFvMYmnzg{pDNC&Qt z?_a=8Co}anwrq6g-iu_k8oWr0<0<&U7$wx%F9S>#g+#?;TvKaRqF^P?=U#pE%v$RTH(So22w} z;ppH($FGf|HQ*$u7*SE}m#JhwkiK`1kPJ~reXhnpQryJvK~Q%w&6EUtigMyf;xjTQ zxShNqYlBswbC4!}FT0CKMt=5&X_ zdYT1-800_Elxd?=O@Qd3{3Tkxx{|^bg@8+!EQyj#=?jfD?SG#Eb94;~3I(1L;6lOK z5e8NVBo4_vP^1#;?q(D*pdf%{FQERZ_6Oi-Aee8Aw>&2F>M^m$15W#OJ_4vrVeR03 zh{3M3nkSW_+8Xb+N!Cu%=L# z?Um&*EF*44b$c9zeX#H9zvR-ClXFFZ7aQ$-!erQOE#ufC2< zq0vGy$`@Bmft(KgVb|2T7qyr7Chp-xr3n3|nn=Txh*AlX3!E8+`t$U0oxS}lK5r6j zmKbwr%`;1y&>@XA_qZb^xQnDm8v)c7IzfsDO4tQOt0ltJ#m56Q69HY$A`||&bC<0z zJz8Jrgyn~yo0}#<;S>^9|Fc31=hLzosy&JG_9qwEzjfq~Dw%bief7WwjCuJ46K#{o z)6k+(5X#KL+TlyBIT=*++@|Z?Mx=aB7a>ME85A#)iQ&+?xGp{lXb(dqCs&Fm1R;qL znB3pu-Ho||5X4h9pJ5nCCaM8Q!vrJo9rvi&vo4c3GLqU zybCH1%257|w273qAyENuT*M4#!UL@s&C#*3kN|&TGOlWZBPF<=!Rahpmm;N5e;;x}fNe1BLsc z?LzqQ7CY?`OYu#Pn*_F-$rBtmU9`5F$i8OXlqBi?Dhc}>frvUWR^hk6%Xz0gn1n5?m+em=6kveI3B?rz_$qOf$SB` zcXXC;U8!!MJC<#Z(hS^wksdk!uXpvQL=Z$ls=p*uG-h^X?MaXV{kJPr6~Vc94zS^X~uS!aW_LWYfp}wEW;7 zFE4Di)r7u+e&Dy2L~AT-uK?&Cp}Dh(vfFl?$=n2`QEErfcs@B~{e1YHCL~=AvDg6* zA-Rq{e$515$CV{ANSQj$4M)fRa7lbGrJI&NUkYAg4+EqJo`ZP-!-ZY^OE)%!1{dxG z4qhK3oyYKB4&8D@VCEvh({K*Zz2@^({S25kYGqnXo zB=gIgEW)d#^oj7r@%B54=`QRrzU8nrwy$tE^8b88@fLO+-ErI)*~xPo*)eT%l|B-6 zzaf?Tu*r<(JHIKI-QYaCSqtAU!7n&bsj={G$MdIAhl z+#{W_PAKgVJmatxw5V_w@c4WK5fXL{o^#v?n#*$wn)??IG?*9kJinu|v>QV!9s80uUGKCn(e4SK=#av#$WZ@Q67H03AC0qnpB;1lSZn5Pxu4AW z+^giWMY0SfZT?cr3eg)09=2-hr_^ha)lgDt`JlEwY86`NO9fSSIlmtqsF`q-%-Gg_ zpJ+e4NXpTYwoG$?HY15iBt8Bp;AnUiLN!6UcoTd|^f&o@zKde2y$AZBV6@;fJz1px z7mfzxDw+nRq7-XdNuL3K-waR-4^*`-kLBt922`CBX}=i%No)_gf~)88zF2;>DiJhn z_PxrdU8}0-7;0u(YT!Q{1Pl5 zY*ZA!o``lWkp2L)h5)*69-M`vPH3PCHGT)w&T{R_-zyMX+x;ScsVvoMfpc7=r|9IU?i8WSqlr;;1x5R0#-92E_icdtE zRe({!e7y(bN$5diTVJx;pal;Sw1Ty6>baXsu>_H#5=f;ZDJl*dFj?p%Ze(u#&6znt z<|I#XNvg%~61-#7norD%xjKiPe;x;oJVKd7ILAo*3GPc}q?T%lNs0wX#1wdY2t;xt zJJ(DDw1RI{wz%l=CD0#9Vp9YCR)RZSR6Ilynp2%C=8WX)P&bSU`Yx`zY*iKbvY1Ts z^U{Egr_@{O3ooORB~3mY$L>u3>7&QV2d_d5^CBRuIFeq2k-!SmW$mv(2X_^NJxN`g zNkHLESds5r@_}#-JGzVuT#<*!u_a3`ZWq#ume-9=3e>6OAmTjDQ`mGnI{FfWpK(8g zN61&#X=x$r)?Ntn8EOW_7=Q~>oFN@~KnW#;zZh1-aI8`-ESCZj@1v|NkqUPIM$aRs zg9nW+xjUvfe6rHC4Fpyet+3;=3OT1KYhI^gNe!5b>2GnDSc(imU_wo$}^I|W7!Am7Kt4cQgN{2V+(Ozvl|*uQp;LJOr@{#vzJ2<_lV9gFXnc1w1Wwr`vv;{>Cn zmjd>;Jv}2S#MoRlUMnI$gd+dgI}(22>acL!>K#m6FCO<&8>u2t4)oWNM1PHd(oZ~; z|G_JgRgA=I*WZQ`y>aZLK`<1ZtD@j;tLKf%Q0kf>I5qr-Sw+F zQ8G46B;PE$(!4ub?F#THJ^66!x6uO%4M6SMcCeUDG^0#!NvW9)HvyWku6^9*G(NmC zHqX}mNOlR3duCPysz%12%A=h{OfN}BmOq$0ua7*j>^YTZ1~V7xU>1x_dX{y=WsAtp zauTzBg3c9nOD@qMc_#SeJGlsl^FY^-V?Wdjf4KSi^plV{x9dXQ^_i&(Q{Ixn#DE-d zD)xfl^!hLd|Dfp2aq9JS%4_e0z9Mg-;$5zL=uw%!i}MEbyd;CE#((-ys@&QYo<9=Z z?!iHka!cnW7TC@buUGMk>E>C&*N7`Vylm6`OV(MljZu?ExsQnrDE0TW&#-|^qMJmV z+y^~--GMKP>I%it-GlZYmW)h_nfN6~7Vq!0WLn1uqtIZbM}K6X^f`uR3ANgvRq})c zbZanlo%$+e5T)7hJWw}lfVphWTt}m&Ct>!g1fpk71PnTNzz8wm%#zrR!zF{CiUZ=1WgPbF`|-m)Nd?nIfe0vthsv`X z&F--Nx(n#_>sb^M!A_H{Pj=puP9o+tcI5=WD!MUDuXz=^cSeo}%P9`^eQO+8UtMJ^ zJzG^h#&O91#N`6CeI~cOyemN!-DJCYbq3~wV7iGbcp2YDVU#ckumF!MW_sc=d}k;n zqkAx?GQ;Q|KJGf5z=C)qqS;zkG(;gEIi$o`dLvdZ_D{A&Ws{FrVcp?q-K+h}^U7UU z-w;$i4Xx@g)m^l*z5bdLxlZb5Pd(b!6P0(eVT3a^o}VI)Z`@V5E>+<>_M_S=_a+*1 zJ!lkqz1gw5wRz9y%DcMolIR~>gd=4TUfSH=ZtXJfgk_^S$l7A^QF{dczbf6O`mJKUrfV#?_#cA#zdPX= znVA_l{`W|ykGib$e@N%Q%0EDHCR0X`-gZ^*3{3Abv&nlKQmJEv+rT1%XlyALi4Ept z{ocAxz^Ifi%5<3n!0*7D5$n6}kB^Jd_{asT?#`ZtM5z04@!DX8>Mj}J+^XmO4=NRT zjrVi(nmjP98tb3m=Z^_*_uuoI@7Y^Ee+7Qu_U_K#uRF1HZ-EXg6y&C_XPUU=j zJOA(cpReP7{onK}OY=I21Erb<4hZPxp3qvJMroo>6H;p?T#<$&cX}uy|I$a6r<)$t z@Y9tF-PLMG`=v6hEUouU_p_EV+cs?7Cp4BiYC3o!cbj+FjcO zFvRO72xO%8PwuzIk4NZw0GD|Wu1A(X{8xZ(`rj1KU|>`~y|z?Z+v?!_4VRs{b;9zl z^dZ!bu<)6_cGW+f_=a}YdVy?ySIcAy))`Vf3-)NtRX1@MFn$-TgB%pqZA!uC*vxB| zADLb@9(yY`RgNqxYu^5;p6p$@f#3EcUi67j%TnMS5YBKPJiEQ#y;~J^vi3{%Ra|ze zn>^Q})6$)auMQse42t{c)u*+b1FcoH(+n)w+2z5NVd*iR>Buzt}a4VX5Za}CQrmkA~2n>5APQ^f*`+S>=05m!hZ{!1^{gkG-G*< z;}k|Mm|s*Zv7YZ_4x`jqd8s1AxT}!4Bp73t`d3TM7l-Rc6-zuE53S)jVV1b{t?i}f z)MQwA{QqpE(QZ>%sC-%}@Yq|SbndH%fS2!iIM5IOfwXnyv@Um%{wnY#rNcNEG2JLaC7Oa0On9E z(XT2DKQDb!i>M>aY!x8f4W&WgY9iU}_0OjcrR8KSHQSB?sZ{)CY&M5ea9%sJ?pkP| zxD`X3FkqPMLq9}EiFXIQ+Kt6SR4L68Xbr^qC|H)`*6Xfg+n5@NSP{o~C70Tw@FZ$ER-+)S1Ic+FpoN=JYhNRT ziPwYWZb8M@%@Q1unC~i-qiw1i68m*m!7j~&1%6azcg(NHkOGjK&nVB_)q1SK4E69V zt4*xWT_S-vl;5F5B1xgdNg=eDqs*DS)JTc!0{w)dZbZvVF!pmgT5gJ&g>Y-zTj=33 zx6NGRimS_u<6&lL@te=g?D7Oy$$3sZzK_|yk3qt&<&CH->Ipn`TXgl`<1~n`x<~fp zgkl}3Kz*|N7-ixacpf3oM@sV_s2lE7gj>%tACxaM^)hCha2_{m=EN+bOu@_7JIT&y zzGq@HZ`mrJY~^tz9$i$!takeRoLS{-5S6mh>Tw9|PQXccVseRu*3IE65>G7_0MDmj zEag3zS|>hIUM;ws4czF?sYfIDMyWAV)F@9y-B3Iv!|#Tt2o37k5zmjJdE!!ZQj%gh zbBWnvbu$4}#{*z7?)!ZQY2?`MWo#q@X?42stDwvgdDx32(bN~;bnq@Z9kAQAm5AP6 zIZle&Hf;O@(aL0fu4)(Tg0Ts`A|lw~EfhaP;2OUTj}kYu6KQxSEOl!Tb*@1>GZ7V;d{ynxHGl&e>BmTQEHo0^z25xlgIGm2W z);?TpCCJrnU2d z-Cq1+Cu@(6YH@Ad0T6!7Uny3+N-i0JpxI@O>X#2H$tVIDRirXNtGGZO3S%%OUf_c+ zh=--fqjypPB25_qod_k3aVPMzoIsL1z?Hu*Tgm|3^Vt>{RKXNxw}&AmG;>f1rOfIy z42#r6l`}y^?lVH?ID6l@B03;s=DIOvn~4-NY*T$x@awyv4p7z6^E7uz!=hGBk&1Lg zjyNXAqylP1?R~K7a{zR?@E1rVc7a4ncvt6VY)%Ccxe<>nAr-nK+?fH?TsYAI4T6nR z=>R$hqBQnOo(AHb<;yLOD|3ny1~AOq{0@<31hqw=CkIl}Q%S|814;rwJ`pS_gPr@L znohYkLTx#@Ns>y<1ys0h|A)f8!p zL??-uGL`t?$O$BE`HEOdk^LYeB)n^jb=Tyi$&*gZ0ix^OnF+>o;HZHFCi*CK0j@OI zm?z_8rT(?{y}FPimhkMmgvs1vHFCKD47Y^{f$&c0vI2}Hq}A7_lo|FTMXR8k_o)T} z6rN_LLKC<&VT5wvAeR}EC>k;(_ItA|OOj@PdOjjAFCldLS1hi@*L7Q#^CIHoB`B$AdEuaB>UnypM5LH(;s zlJrQ-E>nsVY(r6OYSgjALhEZ^OrRy6Fe*~Mpje_?v{X@MjtSW^!FrNQu@$|RU|BQ* z4_T_OvCuI~VXIz`v-peQwm2h=sQVT(+=+kHpR+!7bg~~Xqzecz7X|>)DkpH2#hk@} z8=;`hRYoS0p4yOO2TQn238>Ttq5v!cnYIC#Y1X&RBeWiOc-pq7EGCe_9dHA3{CifL zL~?D1;FfEX^uU92u}kt=2gMfA|LwJYG3$pBf?$P&HY)>^^;Ps>z8?VRFv1H6@#nr& zxXem-n^ZGk9+*LHcV(OPslO0gK-gQ~!0t4Fh{21afl~=S=89i>syp4wAbiff2W||n zb=`FB(cPCxtPhTJJN9<&&+Sa0Wg!H`c6w4ki|^la@6ikdT!(W2euq(mQ{5-Hee=+5 zR)EAA?#7r^cUTk9M60EuBB)!3#6_UeyR?M+~UCnt=hI5ao$aA1N<8-*E=ivNqZ zw~UIb2?7OY@Zjzi2(BTx6FfKscXxM}1Pksi!QFMR0fGmY;O>J2ci72ycHh}O=l$5X zyJ!DQ-R`dGt}f~Bd%L?T)=fIQuF?+uchEqvyM28yH9~g%eykfQQ2F8ER=cGI_i;fZ z&T(tqv)0_*>A^_MnZay?Pd4>)J$-u>&QwD!ikn>&yh?FaEk2`he(IO<{8AU|Wkayj zr8W!-8X>aYjJ8phbgT=iqihBH<1;o+vb&O;9-qS0_DitpqRB!^DBN|rd$peWyECrj z1{YF=J+;a>mHg-7iqgLP6Zl)e%vI{x4VH@+L3vfjYmGvvKhc-k$O=9n{>epj0!euE2b zGVl)B^dTSFHbTVv5d$Ua_=2_c$<^?+I%*RcROPYD{yBj1%BLnK%{t^d#Yey6lgp!) zP6|j5FZY!jWcJ4T=O&6sb|D>_eEJxe=88BssJ@t(hF!dujmg>tmREad3|EAZ0(k_%k z0Urz01F?=Yiqewf&4rU`jLem6MzxBBfL)I?g;q%@;)V!e+-cE@*;eSeWvR^Fmr9_`|1!LRKg8K~XsrR%w%HDb2+bt~yP$Fc-9rFK* zIe8{;1^JRj1^Wt*h00-~{E&Mu7c0jRmB<7OoKBCb%Wx++YFz$II{zvze85yU`cbB? zfjy!LU>XQ~9Uh%5W;&t4v__F9w{)C7*lC7s!hMUv)d``+;Jlfl7k9?aHYHlw7Yqvu`_r)`+B$S1x!-H8oH=xk*y=OJ};)- zxm-GCJvBxXI~+hG&0rIFI_L;4{A8n$rY2IzL5iH4=Ot132CkZu9Uky##NJW&Z$mR$ zL?fHtA=^%0;@<~eTZRUyv*#O!0$3mrR7TeEijhWP(b#n{dkg@V)PAy#mbg*P^~2mT zWH!!wC^hiHt-rFR5+!;&JVlRDm%)x~U&&ZYk`%&}w|*U4XXYpCgn6`)7Tu7(y;pR} zOk}B0;QlT8!SJoP&7rB=NXKgp02UC3q>wztt}HC9)w-=&RX3De^+d*b!d{j;#yvl5h(T zs!dD41&^+kWnMLU7+=tMe)GsrUnBEY{cM{FqM-4#<%DtlV$nZmsgoY3fdHZg>YtwT znBJs7-^YWy!K#^PEcVh#YXaxlDjfDoHeBGHDvLSAvmc8`p65QX2ofg3R_q8WqtB4Z z2sqjqK!q2}q=bgq=hlM455Xlon>mTeg;Ar{UlfsoV^867`)%(}N-L0C+xYfD#taaQ zc0w_%W%(`TW+wK<)IyWs>Z2;3E5E9)>#nMQqY@&fAy2aEA0d-ZnD|ngI(0Q;y-&= z3r}EwwUBwAT}Qj5nw|lXe0U$qs90p~%1IO_k3d%S$n_W?&A=`rn|38Wb|Sfaiy>_f z`~7)It`4y&xT>&dAb%t!&gyV3SJi(Fh<6n zqCLNd1i%f83BbzuuINBwYFJgIwcmKF8Zl4lKC2Y5H0@+_Ym z>HdeTfZAf0@AUc^CqMl(3!7Xo5nCL^s~tfL?=%=zpt3z~uwez;@G(;&_mr$IJjO z?{Nn(n>f3r77+WK*K&~Kc5zKTohJ9LEw5Tjl|V@Zrs6q-Kw>7i9IRk9&FfVw^yPie zq0HqOz~K-fTF!E!5x}DgyHBijEW z=H-8^Zv@#HAd&&oeC*XI?-U{3Ez*f?kGE023|}SNk;a`w{}^UZ5)YxqM`Jk&GF)&< z=eNn7Clth~89BZ!sjL+fSW!tJ>$w6=Zb{MO`WEd2iFHv<{z;kzrm!rC=Sg` ztrWuok#fdF!I|C4rVz{aWZ2kk+$T&6T7MMHJiyM7iZ+aB!2aU*1Rx3-SkS!LMGpgf zgy31UgB0X*wIw{JZyn6C&cp0xy<6W*a(ShL1v`c~GN8^do_-j<_Z4@rftA?I9V?|_ zRKb9)ss)bJJ^xsoRQo6zy&zN~ed(Luf~HbRsH^Ok*>btz(>8PraD^`uEZ z%V8intNEAZgur!BlaPgW&m(-6c8=0En)!~;-)#MIq6@LJzp20$6yE#X=n!%#Gcm=B zaMl0yi`f`taWQTt@>)peaGnEko7m`w?rq`7wt$OZ;<}u|gSpS5oie2-1t^P+Bk>vT zi@=AyTEF=+hN1^(KhsnHCgMAo*y}N)KH1yuVLwv9k@mE6;WiL=> zI{x<%5jcJktDYIbP497$9CnT{!=~1V_TOYs`S zAD}f-PUSzwK9}dH~jjT@L17ku~+$4Jq;z6ll73~#TtkuB zOY_(e@Kf4DDEE1Ubf$-i?aS{`wwC;f{P<;2Q5n6Y7^%!yKx}%6D!2g^;DOOZ z_+taON`5BOzJPZ;ikHh$@z`){kG}Gbe?@}aXQLBdKuZuzf&Y;`dH|QyOa)O++W>5u z$_G;*hj%jr&EKzLmK^K@lAanHYH85Z3u1-P$yOP9lm-x%npcJ z{818Mj{!;3?lQLe_$epoW;vzXafl};1|WMLSoaNK>3+wAP+tm((3l7-m17wu&f5e6 zeFP`%d|aEQ3;HP`VwrCQkecC5Jd=w#{K#yFOK+5xS{FSG*AU!)_TSvVN})kF zi)|hv5mp*2^mv%MA)zTGTIBej9=S18R#Z` zfP6pR9a6%6Wyo-|F&4mTE))swT@2Y7X}cAI=tI z3~6{e(x9$5ZGf7Y+7Xvj=JCn=J4|zAD8!wOI`EmNhRbYRZ3nVc|E!u{3X)dQH~(a! ztdU z4ERM0?!-4OmKX@qrS$C7Oc@1B$p+aaL(;pG^NKmL$Z#7_~7VXk5aexO)*S6a- z!rC-|T1=;tsnPrh8qkh5hjgBg!Fzz79QZahgx15U9Fx++jldmHh-j3JKqJabR=Pq8 z&bbtvVR-5Z0JeRNWp0^+ZNr^R%xaqp!jmsuY(B{;yiYq@D@7fMz^eN!uPNZEHOFu& zgNsTHh)lG6I`SD~Ntv)fXF`OTXjD+3c($7rP_EMltpmPd0*BaHv=o8;& z>#os^Vs!hApk7F9!(8CgRjF$RYIwPY|=4O zsDq9v3pYy*XWr>l*lMQoJmA6Uyh-)3?ClKJvW5_|d``~TB;iJc)6R0@oW%}R(_I^9DzrGh-TUmA`-B&6) z)7_cdggj=K?UecP^PE$_=Ho?g(@9&4(X8xRyfy_!hhK0-_e~o$8gguB8KTFh*uySv zwRylzHP@<7RIrATAXV-lOeivqncK=PDAnYk{q_OW)GTn+)-}vJ7!edXbdm5vEc=!1 zVxlr(f-QBoVwyv)xt&le^B2fwub8(0USc$&s1QGEm45!GL=}f>Gy{2|x)QT(K$5~8 zxPL@Eo*~N>!Dyt|#Vm)IJHJ%C`j#1L8bN+#zvMUG)X((}2If}JJJqy)A&LINoXz=p zT&M`H5>|oBmg7oEzSZ$>5KzLej1w*n*^M2UM0P%VQ@ltDgAh#J5R?u!E24?Y-`VRy z_+SR~ePVIl4TGDX8w){l7*p&~18y)Hw-Yhw__%lF5Ss7bd>st1sPjY9u_@DB=7tJO zu55V7xpHtM!JqsYhh{AKmc+mIPh7H=XUq}QV8B#`a3A1IH6KnSFi-qcgsuA~*mz6o z`3<(sa5dq*G@MoV)v5M%HIbBP&bnI@Ki{3zxg!U=qZk1`2Idb*)MV3-@C@2>V!EjW zm|5nrL3;iUy`iS`y&SsG`9Z1N$N~db&rxxq0e4}c53Lj3Xr2cg%N#51T;(6+qgxTi zMgG?U)-$ucaFmp=2lzY6^A0qJdP;yt~{!!c{jKK2Tq8uTS*2{X;o{r4R`oZXo?V|rL{ zI{j#BJPAS>WkNtk8VFOxR5~mo64&Zkjo+IRepVqsVedw}>!~2bkTa*eyJ6k!r)I3Q zW}uavLUP$8fj@uBB4wSz40(U&Va`?Jzz{lHHb%X-bytX)x9KSuvQfh!pzKSs;+{Rp zc;!kW^Y*%~t01I1u9V3cTJ@@3hB|wH@h8uhjko8%HODaCg1-Ivo-d#{Tqf{sGcIuU zq2hJa^cl&}tUIOW=l$fxW|m90ED7l@;G4Q;<(CddJf%rGEkkrK4=@u;$5%d~S_SW$ z3<0G3Yu`67JHs1Dx35gx_H6sZGa-19rdWEV#L#6~h_*mv7INV@0L}&K6HK{Alp`X%ncT+HW0;+C z7@{LY3rRg=B_|^iQxNHdws*st5F+2fm+3%;+*~P6FJL%N(;7a{;SKvR$WV_1ko+OV z6hR^|{g?LTLIMZogh4+&1tDZwo`Q*CbrYVH8`k%L4<(s=QI9xGGL0g~>J-#1k8&~o zUyaWQjPxV>xbi0|7i^;meKugJEewGWKDV#2Za@8PSA|WpY|csg1+QSF{1%`iGPXh> zP!$cxQ6esH7*rvK&`YdLl^0Tk28bbn|8^)8zfDGnPY&iS*Ad&?t-Kd0NzZc~A`p28 z{OyZ9ao)jkeY%m^d0UiI$%dG0PZF}43+ez81M=kc5C0ql2>no!Ek=TMwGXD1K4>g1 zUH$!Efn74`4Y#!W7MTjAcgYjn;eu!^3E>rtkEi#N=T1u?%%L}*ku5MXqrHs=B(T}*i-jLMNvUnSo~B8%>` zqFfEYTEaX~>!|{*{C*8C8;q_4NMaazfCJ4#hrRv|aXjGt0PXk3$nssBt_F|DqBBRq zaw34hUBZ1f_`hDlF=0SB`h8O+X^m;f&4F7 zFGhO4_F&p)0C^7{p(u2d=nFQHF2v(t4Cr54V$KTs@>N39933IBpnjdh_f}+UzQOj7 zz4!sbGlpe4YNB0NG5R-7k*OzGsck}ZznnhVtC!;Yl3QmKCBKC=+yP0KghUaZB2D=R zg4}3|Pw{u~^PH#4b4eEj0l#C9CS4df&^-4~``Rnp^m#qMrjjg13&F}X^VG>90~qxX zmAB4x=|Bfx5Je-G!47=@`Izs)Tri?|a9}RDvQxnAr8+C?X=a%dtg;$=hL#vGovG~x zS33U#kXIUeEK$n=aFt+vMq-)@A^}?i@>PkYP(+v12LNG)UTH4iAGGQPT=_+tEiO@f z`EgD+qu5oVrYXzQCi{X@M^UNh`Dx&CMAk=>YN&B?{xeSUO>+JEB0=_%)2Y6_s5L-4 zA;B3=zIC->0)|5zNq+X1Ci_1(9X}cZUYV;{iw2aKr8#0qGq-bgf%%u+@Wr)jTqmY&`yd zRRNiMRZ|&f5O&K(n6JspRFd4alC{M4H4tNg3^H{<8g6A_U7@RrP1>zzAI-4t(9?n- zv*!0Sm&btQ2AF~7yL=9hCiA_Yn2RAWpq1i&*@}W zc^&dNoHtM*Qh|KY&b*f3f*#s{ox8!UQOIdL(y(65>rV=<%{4)F-NCu&l*t}TgGYcL zO1B8hyg_HJ+2fiDh*P@k<<4r$(FW7is(!Hd8Flbg-?jKtZqe9?^9VPX8GnTrlxcz6U^YN zoaA=JflRN*o`~>%uopJ=EQ3K@?=hTh)euTRT??-Hv6$H-l1cR*uwl1jDKPo`w9^as zGHyCnKFfcAO<3|@{I+-%S`tm>g>6no=%IT)qaPI$4YT#DH-dhW;VqlS9Y%Jj5V7 z)$aJ5nVP>1`WeE$j${}@#D0GR0?OPXq<@5MYXTCwB_yH;$@y*{;|5nGuushbgDxF| z8bzSPq$n*;suDos9YA6}WTa?QaO#T_gdr9%HlUYG9c8YI-_wK&1j6yV%h(8` zO$HV0v9AE5tv=)71`(eJ$IT<1G`MM&_W2`xwU5gz%Aux=c7`P?MMkxclc;LN3u2&R zVex?N94TQZ9R=GAL8WB+z48+UzP*U+ShfKp!fy~FFI(!08*LW6vOMn-Ij`0M@+H^8 ztV*g7S!fi?zFbyt1+5-r@1)%zB(fzPSPtJ>l8TzHV{^U{wBYBY$QltRkS`Ejo(z4H zPGrmhRD`OsSEM57U7)J#!D=O0UfgT}@E%v_3F{SKc*TrHOU#-BV5{!MeNV7*@J(#b zOuD=CZW4?_?uOFtuJ5v)-av_hioHfpG~fJfh})n#nx~kgBq)Xk#}Y_mRI3MY67|5* zc=G#MK^RYaCOjdb9~F5QBD(%irHQW!Hmj{i-}DMgz8c>ZberY4G??pFTq$e&PGnzb zWK3jFJuR8sVno$MG~5JKhPC&=K_?PCrScT*Yt8$l^5-%XT2X)VEH5E}gD13_6Ao9(A|P zYo&%8VeJYSQZsvASBMoSv#;|IjW#T`SFgr)5l1*Xt0ZU81kbkoCEK+6R%?@whK{cq z!HtM%Kk;23vP0$NOd2GM(Zm4{$+4hjk98dd25nDSuJjgVBMqIm;xzJKKW^3SaY*L5 zJxrHrJvAAkXc6rz>_2BAr*z25#&TmoTbIyJb8Ev7;#K~My-ez4wStqhqnuS__=lTZ z!wH{Rj9b<=Pjybv>M%;FG?KGCI43iChzigtKfSq%c=dTu^HWfGEtHEU+g)wF?-It+ zOZlvWeie4yKt+LT^>DFwngwU4|KQv!^6I$k(?E{)85Ykwn7-%XPb*tbkN?%=%fn9p z3QxP4-dowB0gtk?nr=?(gx+9mdDWoosQFebT7ekBZ>}BkmLe3_YPT}~k4|DupBS?f zI@3}Ql^I@F%bIJWbQ#4ZQ7dvML<>Vd&wzqiFw&|5FC{_O%KX&k?S#IvPGLRL@IM%e z{brGIC$>$><4aQXn(#(L*`)mJj97-!pF()uEioYzD0>5Ig+*QL9a;E{N>MaypmZq| zK#kETVxV#K1<@db@5cpkf2VUjRlaZd3YcP5*$rH#cLGAr+(CS&qv8X_6aZ(rKNU_XoaR5Dy~{PfpgaP0nS2&3J5Amx+G zB7lh$Pz;x0#p|X(Dhv)*gG{4;fuWaUrn4+_;LKsoBMFWDt@Z)*0|)qUXgKO#a_eBE8=xptcZe3Q zT4KOR(s9385};BIU_yhEzeY*B%!W|3zh*GMhTGhRBVYn zi_BjHmZ+wOV&CQ5{umdPpz zpF`dk%%h<@h&5E8nV3mBQx(cgIxpt zyr1^N^Jb}q3^oa5!~^yIV!S0uN#eV%QC-0(_B=f7gunTDzsbCLJzrm}g|nR-Py{~T zdfnaMylhYedcS$yJ^UGB3-o)qe4Pw@yLk8$mnR~)*+cR64B6Q@r^wrQyEz>@ciiwp zB-5rf+Y_Kq$-LUxqw_NJf7_U-ENOKniC9Ou7Wqq$S8qGgP<&DlE@T(Xf{eR}HYGj- z%kr@vQ<6i5|LFCp+xr8Vzy4cR|`cKde9fkK-$!YG~OTG?1!w%-~n3tdSJ|U?oN3nua z|L9K@TyYeNEhQEjUN!ul8&nQG5gz>v_+W&C!N^$H=TYDhFWUIbR-tELS)qht>yeLG zX$geA$r-g&Zhhy`zOY3nQ+g#lBg#wr207+=(8_s#P68)k(i~mII+X-dX}T^-dMi5f z;{#U)Xe9e1^7=qO=^%&t>aOdJN~`YDekig*8CILZzPf@<>hA{*m$CYV{rqp zyMq8(OV{>e75OBK-WO}R(5}|yfN_-Jv)zm*D#1smKSXqi7A&}I1dLLWZ4ru@}nMNfY#O;7s0Ok-X$i+Dwfx zPLJsLry6ZBl15aKQxw43I0L>!Y}L2(etRg|O`fnEvlH&6vBv2uxFU7 zEHD;LBfP_2K|DMR2MUt%e6A*Gl16`g2iH32vo@ytG2}OXS2OQ-n)1}CwsE%5V|DKS z?T?#`4aRJekv5yC%qd5^Z3zklO4eK@nq}~_rapC?4BPKn3d59#oR;8>rClCniw;y1 zz711QVX9@jU<;`1Wng+8+F{p=tjJ@TTbzcs-{j0XxT_?Y>3eKDw>LY)2V zy)i6-riee&lVTL3R*ZF#7+uNc= z^}0paMCR!HA9xIQJM~KyHzg2(7kNQVRXF7&r22RCE47V7)_)%-kdRltToD!fa)-OH zojY)hOo=&qsY^5@U|KAj1TEP+UM@zCA8x>l-;--sGjjElcC%J2%8(`oXmeHC6&~Sw z3A;G`*tR2RfJd*b*hb0-B7E$q-Z%-5d3|?FHCt+Ozu<-qUYU*z&$lVwQv#L4nGiq$@jAiR%$?P0%gCoM=n`#f^6aUES zUnkHPmZEY&XY$&v`dOjlPsX3+B7Ui5S4PYV-H@a0p*UUm3CK^lSzgGn&)?TQDD`rl zVq->9qn}FWAc-zu$%w@6^L4@6_o>RKa0+%RR_~ejG3BQ_qK~mobm2$E8PyNvYad;gO-P^}w!i0SoM75ClT%AJJx~=eE$^L?XZ}7z zv{cz7sRZU7m8vXu)>944<2N~R3%_XHzt8g7OxZO>9!!lpOyY zmH)5%bK>})2K?gU<^8|u-#l4UE^cKQtDEF+;30KJbeo;9gbR>j@OJT{4+3w;;xfDo zPSE+Zx+lXS8)FamaQ;wHkyXHHLlbPQ&{zr4zfr$~42%(obd4ozMBR)L@T+`$-BS8l zs8v}oN}W?Vuro$b4;mV|Gi(B#AKBLLZaA_T!u_Gx*yw!qd)bP4ylHLap%C%&sjU&| zQa`T=d}~W*5#CrW!^m5IeYLpQYE|0W#+WJ1>E`&t#FbU5qE|7XJIshItSUL5t*{l! zRWe-oIqIVdDV+(-3DZ(^Al#iX5vMV+;8yLs9iwkOjC1eUtV|>BU9l$I@CB!619>Do zEkOyU9UMY|b05-QJ-3+Op;jM@Y5C4_xighUSPqQoug%-r>dc?ldkz(Z8!X{`vpQ>8 z5p%crld+BoL?j)!RuK7nRIIY%UbX|C=?i2H_}Mn;Ry5YOnZBeaaUs|oe2-7d@SKIX z;>3-ytgI`|v&gaA56<(eB08iD6hDt8{H=Nj+Zg5g>>HPaRwTs7M>4d0H7z8JRfuXK zecYef$A)c*%P|Cwx|J>)0|cl>@AtY`|NfzP`=i?AsNyVoTR(MTp|X5B?q|*S!P4|{ z`$JM~AG`@wLhwceb)%D$tg*nNE9umLVXQ4vUPFx9i4`?TGomVYB9)V* zx4h|JrO!uqio!5%1hSH8tDOUmT{QTl>C~;;`Ci9B=4v|0&tK-sh$qf1iaeVog}9}3KS4J=x-sj~D& zO6|7cq+`{U2j~W?FO=;vo|E3C-k@W69U9#?kpEi{vdpJZG8CsQPZzjVp{3kh39meULlCNh-JKF zk;V0zd*m_+NHqH^OM%E}V|DrNTxOa+>(d-gBF92YjC^7{6X~)Uv%#ec+_@sAW;Gcv z3hNhzaaaV+)QC)%`xWY!9|^PQ;lUSL3(T?m;%|t*XBy--{Ky00A?Jh#<*^8J?d540 z*z|Q0&Oh#zO%fYS0xf4fVh%Fg$+$oBXI5_Q5B`|RQ3m1RaA%Vl)G$!=e>2ui3cB+` zokDFpIQ~VyJk706H)BiV@cVmVA^u}yT08-g_t~Z;PvXFbt@Swe54WO!*2U(?4Xc?g zqd$D=4jndZ_{yynTds>}+2t&F-~dbtP`v!8NchQ?VVc*7z3GAFo469XhiETN@UttW zQ^{VO0Qt{{4te8{=(U<=A%|295AvzC6DDUWbc{lT42GAQ4En}kUeRawGBsbvryFSS zEWvp(+1>AR**dP7l9Z#P8ok}nqn_}V1tm=V&_n%Fr7IkVcb=w_Kbv!pH8=`ysRrDB z%tydvI^S66e7B|Za{Lxp#&gD;9W|%>X%6hKJ1|TP;q(jTE9dwu{3ans>T{6~Lq9WY z^nC7>$!zU2TqF?Ppx^aLzvxwJR*<^dZHUQiTEE<2;;M9+w{Nkl2;qgkOJ<=2IA*Q& z({Aq4l2ocG-`L8`4NVY!4>cH{&20DL((LSlu#5e%=6jU&@7o=Eok;Pi3DQ`Z&cUAs z7#;!Sr1*jH4tj9jCE5euiSd4h5wAf`s?OH5rY_Vjb-_j-oM6N?Gfr!hV`DoPIzgbKMk#tzy=Cv`UX7<3}S zgy6d4Zf_0}uab4HJGjipp#4>@u4Shr)F0%!L9r7s%$X>dzv}GgSdM%9_KnVi$BZ%V zcQjg(U%8{r7${i_MHO8GM=+6&0ytb$zAn1Oq7rDC$l?}NVl_|xytMOaj8GH0-CxGk zC=leOC9IKq3Q4e3V3k|rZ!VdOfSyBriRGIB$JD3?n~F*h?2Nqxq$&E1P& z=8xI`u!e(aXGXVYxVe;vYs372`c6}+AsE8zyb-ne?J~uQb?+uELL8@-9glY~f(H~T zh-I7o5u+JtwM_GJp-5|=>g(BUf#J2*>E{T#Qmx1rzQ7K-A=0+>jeMa`y_()s>emu| zmkD3uG;8l$Hw{4nFg1rBI2VH<@Areb1-=oXd@W93!)r71hQnn#e*FTp77P*_+EJ5Cubn>CJGB6=O8|6CcItC%8~^H;Lf@5+60vkV?^kqRb5F;Q~N)5bRU zyOAF~(41tW17k|_5qoh93EQ8|L4$7@*~`SLHFW)?iQU<=Bo-!7i?uc?9de-svKKE9JTZ*KLc(&08exS(b0;V?Ih(}W(N zFxOd$ruAyYwGMD&3*YcQTbEt%sd#CwYd{S7+SH+Gtbx!nQ2)3pqZM&$Zc9RBJDBsW z&Nm8MntreKg^%@O=^Xt7-?jJ{yX>b35hCECsxf{A#Z>MQZ+QGc{AW3J3}67+~Q5kz}$ZLM9rB~p;uLS%|k%wM-b$mQMO4Z_lIq9`DxpM z24#86QaY$`y`sGGF|VEP2Yu89^1$Cbf{d~u`N9e%qX6-vFNefgZ8>wNW)5_o0dvbJp0>k<1pi>fIdh39sYt#&d4Sy)5&t(gTH_GqHY39kF5;& zDp(7TzYE6|_Du@?QSsQUaXRNKNxP7E{B(xBx?C#|xf6MG+$$CMssiC zZko>Ik6LQNph{wjwfWGvGmi7ZjuY?0+TbEQ zJc;PQ&M9sDln5C;)oy4g29@OLBnMgLTB0pyL!r&OYJdwT9-1sJ1-6}-#;~R6!t~D? z5TLJbGI267;{}y(>stF1-a8m7~~D=~{x&vWmL1d#|VT-GjsXacIV*?NEPQc+BKo!r8?dumsx9t<}(c z$y~sOG-${ZaY*>|?Pr%=CaH7gW^4+MXvTITH8F79@);2Xx14&mnK9)xx#rmdUy}>y~8vSl@M6>Do{-I|8Zv zUXq16yA#TdJ3|f`Nt^x4#1~fKbbBmk_JF^_Pnh&)pbG`H(%)6K{XX}vR2&;aZDWnd zMUtDQ%Tk-Gz>jdUK<0~6B=@HPpim%eyhAiJJl7YHbF3RR*3lsHlxvo3Yj=V}4CNY! z97q!O#{25|Y8LV3(PQ5Ig`++%oQ7@ev|@VvxNfy-+4%37#<+6a^AlIOpF2!zK+kAQ zk6~~1MlI(`;!(%x9n*NrYKU%+p>vBWn!`(gWGe>-6b$54Vr?#*Yi3t>-#a|Ld}*v! z_?OJI*N25xQJ|{;2L;;`^J-3zJKNl~u7S7Cgs+gcTH@EM<)A>D{Kus~jZcsTVi}M- z>h&tsOf_ARE{;rVRg!}>?b;=>kK%`;RK6J&^&(vdnO4iV$4>9phof(2e}%fa)?FVN z=1%J_h2~y3BQNYb91pCQ$!_0wAI5j*iLZIzMWkG-CS30-7V+>TLDKye@LgmpOPAI1?)XTjrO|y0=#pm2m5XIaU>XBV7`c2nLx^)}f;U}4A4M&i! z)zDJKkN*&uu%QT<_FT|N1hEb&n5&-!&h+r$Tc>g@VV8TWeV!_Q3e}=nl_Km1a2vy( zmZinEKT1aVbwS;Y$l>^PnXUbi%k=Nsou6mJK7!D=b{nYfL1=io4RVDJul64d1^qQW zSuZYby9F&nKLTrstYGkSG zUik+`Ht{cYFen=2Q= zDpf!(8nhyv^Gd1bPHxOR;(MVY_6Ju98eEZM=gv-P(*iXb6AK-97?pYHSq}w^PbR72|f-M0QA=7>h zw$&@nfeUAKTj)%$3%=DW&l2{$w|e5K;zGCna-kBj@1PCFnbKFn-nJ^;k2(^Ne}STGi?J>#^UZ!!f*f z$Cu)GifSWi)DN-so|Wg4Y;{{;yv6L%VFwDJ=IJ-I^o6T!z|)QCY7>9M`M?Gan)uH) z{~>S(>-v>0EpRzSogZr8^s;pC{4>m`b8qgyWUI$equjV!27CT9%K84zUeCE|)BFSc z1P7t_Ynh@T^Bgz1Pe-YmQ?699t-li-%Bj{|#6d#7b5L3*l_;)lyIY64g$HqBFf2$l zx}_WP2%30yPS)4N)s%osxnC^=+6Fw@6HYhrSFBr#XFN%uz#M?Rw7Pd7Ds{O1>Q{~)xe z!Mcj9czpYRq|l4PH#e9{MUmfze&0HnKe=5mcAGhfw$P<4p*z&;JDB~WI@7-VdTkI2 zGT@;kHl|oPMV%gMtV5}W@(%%;;MLW?_zyt=rgc%VvDy;a$?0l*D4|0+m4(p6m7S45 z+q|P8SIa?j@adfBjcZk$F_d84A<;<|sx_a_Ag*AyG5(`eiy4;M`~!(ZhYad9RY}lZ zn49ly*<{v1UY_vbAG`C+ZuFnXSITj&7QTyZtvupFF~he-94k;t#$xQC{8MaXN$Fns z2O6QRI=5h>L0Pso`mYnK?aKgY!m^U-KZI)8{{(S^3S}^8{xh@_ZLaRPt0um=XwZrt zPb&v+JGtv}h|`~z&`Ip1yWD=yv+3+Yis`xyGB+VKkZyyS69`RhO+bQ-AzQ}PO(LTq zTl>Y$<%w7x&*a*pk-l-(m_oKUpIj``csTe?@iO!cYATd7QTw=hTMnDDKzEP2l$N|9?X8jX6OkHsL5&i{fCeQHMUth2oY32+$ux=sm#GKecQmTAju-S!_A6j%&E7%kpP$S z3n`@jW|768@Yq|Fr@VYkcFl@sJQcmN@ zCc$dQbf`uedS#Sw8)!QGzb8d64kw$pnD<7sn9H%1`nAA!Hd;- zMgTNZOW*C+d`#?rPuIVaKKjfY<N;bDh8ZsF}T8kLfN`(#>P3*zju^8De9GwtL^= zKz$ZZ{wP>e^i4F2P#1Y^BPJP7&0OSyw-A|C^1{tAoA0-3Q#$(gV=r z*yHl72!+T?q0fU;#d_6Sr=o%3^UCGm_1TaohLV!C5~T7d4+AoH6GyjlW%?|w_keK_ z-ZXIK|Hu8w`L6TaV?NI?PjUX`tpCXG3&9L+u0L73h=!*K^P8@cB;Dnn+w0T8)zIwI zF=S^f+-9S>LqzBoS)iX+$$jUR$|^aL)2H$ji*N`SuC z-Qw5z^PSy;{U-`VwrSrU0cpxW&76*#$@}iT4M^T;-K%fg#`$@G4nDdLFLQ9Dko8RF zT?cp1fCa^gP#T5p-J*e#lI!d*T?_ZtiQ~hhmPfZ9L8euHCf>%^%A^y=oW(2G=RJo0 zYPGO8^U;e1hM_lU+98tC9{vnFF0D_FL_BN!6H$A$6g(UJ6LJ}}ZbMY~T~u85y-kDu55b@vZLdPv%O+SS2b?YY5v z&ANv>4{I8Xu5du&@w117%z-KOHpnrq;S_?o-F$s{_3Tc7!A`#a${xPO_`G4!NYWi+ zb))~7h;qYzz1FI9I5>21n?A_zCO#Ez6?enl{J0(y*QVb9QhfesVD2-HRC~7Z=C>Jtt;GnsSaSGT7aS(9io_39yxE z=R*KK-uk2)sw5*av|G$Q(J}iBk{>g53`0wXJ%;LB3}0M0v{6x`%skz@K*yC8npcek zfq_Y7%H!vg2Hz8q|AtGGA5(ty&NyaQzq(n960H_}xHT=)NbTO2dwub_?d$NmyFH#C zAGoo-SqUGj^!#(aQ4w{Qc04|Ce!k!MFg~9G3J837f;`-W-@QJId|)Hp#p7q4XO41L zE_q*>YH%=VQmgZ%vYFw4C7EF8 zv!EpC{%t%b&o@S;rPjw({VhnT@Jy`!!m|7iXI5=MvR5;OH%p7g{Ttr-aSlaDmIz9h z!9(7`n;_Kx<2PnX#KiY`ol$f*s%z+9zwsqZT(P@JG>V^oDiu;3cfrQ-tx&zqqS((p z9bd*kQL?u>Cr2(XaZs3NxI(Nxsp#IXUSK>V_jZ2^>R0Bv^sr~)WM3UlG+(yhA>~io z(;;DTBrq%QZ28QAqh`_8NQG|7h2pLS$4BCViQeL%*->)blqr&qKM^Y5KHIC_t~mPZ z0qnayE=nh>L+|wg9W$U)jUx1OJ~gkBg6v#_&3tulq4sAB$FsT9R>Qbo?=7~Ozc$M3 zBt-P74eiWmIlEgw!ZVl7CQNKo2}~V;hnKDW3#R)Ha*^ZS^~{?{w_!!7C-#Ia_>0n_QpW#Q+gkuc*?bG*goKnRAdO2S z;j%1Uf;7@8A-KTOu*8z02uOE#cOxw&B_Ie$cc(}wA)(-Z7koqC_uk+A?*IE1nCE$B zPR*Hf&II$!RsiaXTW%2uM|-~-$S$DjX~_@V9%wasZQ=Y$YitLUt$}_Rl|GsWp2^d7 zh)UbPK4M*sI3rh?A|(0V+plJ3AmV$yn}pF3lV8M*!Z$F>s%}M+6LB)wr=+7va0B)= zYjSS2kz~=GY@7`h_v*T@&{gI3q6+7FXP%X1<=f=6SfjjsIC7-f-^j0}u4v(3)5lGWCW%Ub{l3J`%i5R6Tc(&p#&ZSJ zExT66s9P%R$29eEB??vzMHcmvh22GkdnfE;%sai(bta4!_YK21BnQLv`Borwt5gCTKB$wQ_Ap2) zZ=CFZf1mAnW}x0bJM7l-AY$Ts@EI=7a!tP2%8OgcpmNxA;s?xb?0iq@jHbai)ckbu z3cRsR>6KvI_nhL?9z+3`(_2*Us;)#P7Mt!$cPz;#yDRc(9LJscqn%5vFXMe!v}L-U zBdqrJ0hb67t#QD2H}g>~dxcR^@5ZH!icv8+aEExCVpuipky>ItM>j5Gq`156AgYq{ zEd`v+ytu|PFb8{~?)6$3$gnnB_O3KjQ$01t#Be}$o(q21CTr#ZZgN|i?S4OAPk?jz z(CMN8+1ay3#5t^%aWDXwzL#JyhQ3jnoS}^ULvfiVS zo1T^!g$C%1Oq3`ZM}&7ql}_?B^FO)hbCK|ih$>GN5&T-D+q_XX-|ANsKdvcg_{i&9 z)Z>~e>3fZq7*+(?H$+kG=V+D&CW(YN=lrQsx1q5lMPvf3qHmX*>#98gfz{D zDhf76O~ffQ)j5Wc<4iV(6X+9@4oJnBg+B}ZI578QIMJSKDbsI>Ia1)IaaTWBlr2_G zJw$k^3VSFBcf?t^|FA4gb5%wFf7_IApP`dm!=01hyU+cvw-Vbwy7YZ)C<*X#>aO>@ zIUFEEVUW|-cUk}roeh??Ga#8ceauRCL+6G=df}wgYFnop;WM9uMQR-M8|F7tP_ZYo zI8}PbMBgoY`I#(z^7?pk@H~SPE=^$V8fi#AV!VF`EmdjAo&j%16K=#4(6qzQM%wN$ za&tWTgQ~}%vBjdzZo)`Zi-n`ad*AUW7u6;1s<8sjtr6%^q?Jl<2F5@Uizq#+J+r_= ztz#^$`I|yKNphb$wO-LC3)MO@7$~L)a`2Bi&)5($71Y&g%lh*O98~N%L_guwu%7_7 z0ol-DDB}|h1P6<%AA6l5^CU(#uURH0w=0-Q#Wh-RP*c9lEP_bd)jfMQNb__DEV#@& zuJKZ_E+8wwnO#AHPk#ZoXetGFCeM$$pf4op1fz>HtW7!m`#XKUYjxCMjhQez(x;O|wu0 zoy$F5&oFsXii&%y?)$rpZo6K_;XADns(rdF?5Aj*RYx?Vi@lkLyVGab4zW9pbCnAa z*2)`A16k9VD9QPj?ST#Gr3R-}!?cw>XF!QSiMdx2_HOs%M($MOW!DtjmUnzGRuF$p zlRS|rKDm=jM89M5v>-&#$qqW!LZMPb7~D`=|Imy1MRy-{C|a4HjwPGa2k}rhQKFeQ z_GeR$j3arOB{?KP=4#l1?pW!@9xuv1742;?Ln*5Avgmb4>f!QA!*_f9>S?Xzgu}#H z`H54geFa9p*$3Tx%g|32w2hrDCZa@xm6w9@^1e$1-IL&t*dpfxHe&Wx`Eu9?AF#$g zXHMTzt(%+7oFaZk8!9|BR366@_@RFokVym{{{$MVE3P*mfeX#Yui@mij;^-9S zJma_KZ{;Z)D4$Z=x3xTNCC&Jtp(d0=glV-7mQzbBX^4(_s<%V9qFG#)=mMkT`Y(UTecJ4*p8s9yFNCye++@9A7k8al};L~*)Lu=^f9HuXp_ z9Ip7_79t}|L-Vkv?lW}{bKpI3w@IL~EkI#kq$hrUF(q>Yg7-|fkcq_I zZCj6tkW5;>S)qD^E|PR82KU5*Rr~?%XVGUdLc3F8DP`q3>4U>ek>@+2Ovj@brM^#l zNzRNOP+BO=wq3S1!i)OSVl^vkw;ug-WK{e7;K)M$kekQSBtptyLDJ2C(0J zb6?HzGM$2TP2oxf-bg9dmGI~j5*hhovMSAA21p`a+{wN3{CrQK8-Ywzf3-EZ_8M zpd+tcyWP=EWQ&WD|!>qwmSpMG3-iyTsW5?ND_8MdurHF_8}LH3%c3oG>eQSt}9 zhL5ix*YZs_Db1EtT;g8-NDfV{*8h>+Wa++A>$TY|c7g7wm;G2eN0fzxC4^s*Kne!> z;KPSi%F!L%V<0hK6M1nq5Frs1#cwr%W$be2jz86YGr6wKV*dFG#OxCZgVp5B^=sT~ z6Pu_!m{`c?&4jvRWFL1XiZn-oejYc?>!MxBJtu3F>F*`UEV9H+Ke`A4s$7WYLJ zh2$oDvf%avtvBAIzsg}qSf@PHC=j;t-SwKF*^JyIAV|$;d`fR+})W$DHVtloF`D!FzsS8EsiOoAl#o`0?K zhY^wK)fK{7l%p>;C$FONyfAsw$Ws_VD`Z6xx|*Q@ZSmBr%jv{6LffA38`V;pW9y;9 zn`8bR_0~O8#-1KQ8-elPJ=eVmzGHj4fXQRWq7%>NjvGy+>$;z_UC@|K(_mGspAX?* zc%1H%GCHGOm?d&c6XV1cN;0v%>hhF0-i@D`P-P76%Ek~C&UaOPI9IWqh3da=uG#C} zJB|`^k`l^tC?{GQW$G6%ttH%80;QRR@|tbvpx5~s(@%G97bPr{ctDQv{h5O~U34IQ zWGlX0l_rh`1^oF?+E3&&t7`G=-xw&A8YA3RK2X8-mL(rGMM=4#9hwC;l{={e^v>b7C&hzlp1QP0PEN5ZWd2N;y6Iy|sj!`092!;^a zofa~8iinxEiprwdicl?9xs9f>4H;&tuw>EiX^SZ#PpChIW|y+P7D`BFnpFwKNz^51 zyWaPOf0nyL@79+i{imq4hm3f-{wqw*nmyia9M1xyUo7|Ms`MFTX%Z((k(YV7Jm}G7 za!l=dJRVn1gjldZ$*;=mV-i%eJAb?VvT+kP#o8;FW)Xf!#YiPHVKIp{ahJ`^_-R7m zV+$RBFnU#*HkvobQ`G2G`&Z~GVUG(iadX1)wPO4pZ)0qiM8(qB;T>rL_T>(j)FkP_{p0+?humYj`);qHv_hiInBtvro$S#7_^y}QVSCwhi{I> zJusEtD4SuU65V89OOrX9>iTTBtdzK!uC^L*7TK#T_pQTHZKZz%KY@SDD=SA;6xZt8 zWUswes+mUKfO_V=ymLF%;x5!Z_3Zltq__EorJ7uy%S>6zJPL1JSg52wU&nt7#r2JG z4CTu7&@`GXQ)S{FV-XU_oiYff+Db{+>Jq%);cUa5X-(N*Q5Z@y^^rHpxRH0d>NRf? zM4fVHN}sYnjXAZ}@0(<(3C4s&q~q;;q7}PzC(IjeYj)`Zm^WT8*}Zv+sm#+m@V!#L zXrh0wX0JS%9u()S)63My28(}Z;H*N_s4*0;ebZr#Uw+s}v|nViQ>M#VeB<@=;+-^y zlLOG`+rV&>asUHG$iC1vHaSgYlnE} zyd_`uDI{#F)y}7Mp`owR2gf;Gecx!ftvr7PqA#>GpHzG&7ptOGL^X4H!AmZ~57sR_ zi?vrclABfN?T$FRda1N)CXLN2IsVk>N`2s zxeZTmeZyidRV}hIQjVDe(j~Mjpp8n!64*WcL{~!1oc7hyiQpQ3rNoxw%pIYerfmY3 zWe9NhnC~%=#(&q;<(YZivkj*9>1Q?W;R=tTJxzPl`70mhTy9_mFk=FIw2#g&avM(- zts6gmJsA!Bw8FWF9q{7h&0Iw|^LKL>2(c2swN^rvJ##YHezv4`2le|Nv&SibmyNF= z0q=~Y5Hh*WPGIMSN?|iXtb9BClsHt5-N?eH=sHb$g}DDdZ%@TLOzNb{Hm-JcUh{oI zz5deP;xI_`kU$Jy1NRK&<0oM0?uvJt0sRz@lXgPGCQF9wnWZ;$By!;ey?{t}Ua`9z zl;g}gqXt+H94GJ?Cc32ZQQv>hAIgpYsGl7_#v`h+Q+04_jpJ}{dC+!J#D#CUR^%&| zSNp=wo#`br^RXY4D0#MY`v1O4g*+Ai|H4`O|8c>rC)oLv9I z#VZeOImem$TP>F-@H?sa1WY?ctllK19NGFPR&`*eTL&~px@M%b(u z8ieA$SKipB-S?^ZM^k@{R$t>MHX99j&qMVshOwfO1IZ1`Q@dxeMNhLljx~$F-7H>9 zN>`rH9_qWXXKV1x?ewDN?Buk+-~Tv$zA!$0zMu~H<9mfZ`0z}sLQ}@%0gM8Oh zzQd0h>RRs# zp&JXcoaQAGNlEfE72#o{s(mbU9^yoD*R($PBgci+sgQML8&k4Ijh{1_WRfh8&_h9R z`GHf4j6_p~>H%Rgw?juMh^Z_aG(dOcOK`)U+)0Ti+tTH*!D6C+mDf_L_ftSgmI$BV z+C^r3Go|iLA|U+Q{$1W77XN7D3)jezfzjef#*k>^FjbMaOu@Rh3o_t0RfpP) zR@zvM`mBElBxaf$`pDQQ*eaB_lr3U#IwVdhfL~tAa7a7uOU7%HD9-TIw3jcK9<0!r zBSRtjaeA&fWxwq)RX{jF6>5pI{o#x7W>N)D;?v2pFZ7Ur5m~x6$-Oon5S^Py&^xRk zly}R-9G;B@d9mt^G*70!D(?>AqpdRM^X_0W7d@MF*=^fl8ryzebfF}+J3jOH+sdMJ z%^hrAAz5>mTUE~_$R5^LsMT-=a=ci52q*2LUxF&+q4}U`U~kU6cqmRKp}ADuHe;-R zR*LWCW?-W+GUxx+(tNr`Mp%cxRzxyvD{L#z%&w4!P#ACb5juXhp*Yw~vVn0v4X19=^XE9l|sMy>{_d{XXTDG&%iX1;4#(ki>9iDP(#Vu zREhiK{Zy%(52AFUsRbFaGiMBRZX9DC;nsK_n^l9c&L$sqO)x$M_GqUx#rjX@L2o}t zxz0kAN%UFlCRhQ7(45(iP)HNRa_eXaKf?26c0pGr?$Y~b{Jt`9^;I|jX@#oxM;%5T zme(p#m-1=v?&!#p<=!Gi{XBG}^`LTBh84F7go?J_(C#M<{oVyv9!5281g7LBe!EuLb$i)nRzwLHm^rFhCYiKFxr2wX*B1u z=`K8wOFJ)ZZiR11ThJZ8;xW+iEUL?ma^=E)ddF@f@(@o6M3gA%d+#G9okRkqM$l=p z40}f6S*A^cQW>*?#3Qm9O>^p!sH9?z7u?Y2_mzCwqQlA@tqAJ&Dyw8cOQgmyiK?*~eZ{hiJ?d+%cwmkh~*Q(t$v|zAz@jIn{~&u-)m=PMMGFe2A{)&Zw3~@n)jcS&o`p z9CL$KUY=&&?Qv5%8`*`UF;7o*A;N_b`jNoQxJd25yP9cn*PjKFK)uQzN2mp#q7yWu zpYM&rFSIPwX5>ZgrWS>7%@`I=Uwbs{1j%j> z;dBZNfjT8krf3P2?6b9}fo@SxiPeXA?TRV;U=AHtwg+i~>a2<1zTe^FBBL---3$~h zh$5+P234Zk!iw{cpS$WnG+q0&HSU+kk=eS_*yeFRZ&>P2z_EDWOM&LvLi=RXS(D7c zaly*9M-e2V;h%3Mtsi8utaFGLiV9t8?DC{nvq|%?BY(VlfTb4N=PE~~`pPLMv&ppXX*>)q6r~IC}d!nqK+G*?{qnh?bpYsZfPI!QM z@E&av&HA`Ss&2zyp;DRsZb~- z#24p%0d)v#zrCrROza*7N*qi5#oL;dXmxzjy!C5=rD^lu zmY}{Q#b@yulr}15EgPvA%?aiBsB_93zMf(y)PCmy6jMeYzV=|=N%1tud#g|T)fHpL zg)AED^&9>-e&zHFn=Z5ogNWejo+zF5YLe3kE$$pEa_|AieKhQemX|LyNeK1-jwR1$r61JA)N^%V0;kfbhAP8nkO$dxbPaKZ-%v{jrTypL zni^3Db&N^KFacs4y8a}7(`dl(FhH} zeS@}Jg=W(RLpj#*b0*#d_c<*ibz)@8CQ+O6`W#a`H{O>#0{EPW4;}AMF@0Hua)$PY9F@CO(S%F8TKT=nv)oL_%iAfb#N80YQV-0A0&EbG`NS z?C7lip!gv!YW(uK+bc9q)Xf)cK5=hwN8d;J&?HGq}F&3M(yd&R|seklVk5nhLGe20!GVmDKW}#F1WjV3ZBo!oDbFyF@lABf zu4nxtFa@>4DF#*tpdL$y+$HxWI+Z zxZ)>)`Y8hnG~i_FI(} z-KmstucJTaBQ{2g+!?d6fK-|=BSEnbz0GkldbB8+tg3YN2SNPFJ|ud?RG8uDM`OAP zK1KxvF_4CxV|Ip-!$$NQa%a*spRxA6F@ftmlw7v57jjz`7ax?cVEJ*`x9%sJkDQt1 z8WsXm2&(mjaGcloG{Zc0-Pq%1C=>}Wo+Zt#4Ut>c7_l(%pfMU}tf!}KSD)1fDTXfg z1lx73O&@418}&%*34^7r(7sOLNRCGckbciYrM|a31XEa`4%cz=?iIIq^PWZ4=5ynb zo#?1F`daD?_|2ynE_a(j+4n`ki#Vmyt#S#`_dM5q*ERGgxYkp*t#qa0zE(CH#jfUM z*u7m`out%gmw43QQ_euJI!eGGbMpC(m*RH-qn|y6uVxIBLkY0U>xfw7usVv~s?R3h z&dKW`!)o~`r_^B{QM%2SD8+mDx*?3V6VWu5xk;*=rwP=qEd7K07E`;lsUa)Vuq?`| z_7o$jRo(qNZnf44q>RD1ugkFJI9<_Kj=T2?Bj%oeU@9(>2(bJ(v``LM!SGnnH2 zIT0eXB@}$fG#WMULfoIDOtD%a$M1DBvM_wtro!03+XQ z{eQJoAu5X42qWbRmr;j9;81|DFyc{09R&E>iUkq`YHM;S0r+2Em*ocW{tuTVLbUZ9 zXKHUfA5^$Nr+G&c=&v2vt8fRgx~AW4p`4|ZNAwLf4{#k{u?U5w`^UvL1_PrZ6Lq+h zK56hA%;kR5AsgGv2=w#nevWJ>{7*}&p}t{mko!t`4T~* zFsFy}Ejm65FVZ%4)D|5IreFz%px3mcCN;htmq<9-eXHY#9&ML&@WOV}@lKva1%9xY z_Kdxl-^lipsu|WZEqJYymI}Hui5fpNHA4EjU{vjRWnt4j2Ia<5G1`VUk?N^gUpaEw z{KAQV&}*U6uj(l+wRbh=TaeFXVW1bw3is)Yod+kN<@Hw1RIIVO3Rzs}eRqEE=j*fta1Hut!pFkq^4 zu}|kr#?j8Aquf@a6g?LEM45M-oKxt;@uhg_H36l}JE8NROwmQ9(<96pr>~pE+?ogg z)M02)jIDflg)S6f+zKnBoO{T1GmGW=51p2^;>8!&^D!iR;D;`&gSLdlmNyCNxir?lzaUcvpO#Rv ztZ4|-_l8QxPBiB`Z$p|kreh|#{du~8W{Ung)K6$JZG4QFAhM>`n21bY2$e^qqo>p} zU&@IF@ehkE*R!;IIc}R$hn6(@VP2=>oc+A%^ummXsMmpEu;CM7xB10{_;OddaKiUN z&ezX$6eMrHy7@w1maBT@kwAB8$B=31yK5dl{IG76v7Z3Mk8RpV2Ln0Mmaz=6$K37| zy);H^2v@U7ExWcVcFv+nVk>HW$8voekQcU(uC?rMOK>^k z+jly!R1nwZJ!Q6v}1Rw3kwV;1v`$9~;I z;cKy{K|Yf=*S<5kUrV#@ImqQB*9c}1$0PO{BY9pBdi^?~&=-4g+m&l*Z%fMDWQXL% z=IIDi8BZjF&${x*=q4rHGo{h-nPmm@U9BU{NQrI1-g=C+G0_pxPhaat-MI)c)a@3y0L zM2;Tsy)50??qkRDdjiiRlgSWM%~YXU41eQYegQ?R@AFxpTvUq zsG&@gBVb)N53f_3{YI&KCVD3StqC9cgTy%yNjl+g=9uINz`j1z&aCv!hXDU6UUT*Ry)Ran{8ku;=Py1RW!$vP zYu2WGM@3}MQ?EPmwVs=1#YY@|Eo1}aCI8|Mz%-M$72`%i(fu&Cb@iN^o-*q@#h)J8 zhqE1gUNq|A1)6ZV5-M4pKfbO5)AgC%eO-c4tA7YA9vL7DxV!pIp2GDW-5`po`rVO7 zUhF1b^+|2HM4ULnp`8Zf?!FTG-^>&YUeM7!=iIf3&Qg1mi};T^NI9CthoAZZxg~Cn zFiD_`=qY|tYc9CRe9K=QA9%ESyaAKx#Gi|JkoUMy_XfbztJ-*a!9w%y@-oG~z#ghi zC*bXVm0C4sT53IF6*_2vG)eX~8O@8yj8?=M3E}wek3S#0%GX+~iySWJPJuG}H1=JP zqfA*hx#^lHcT}c?l7=_;W*8`K(W<1vHJ1F`vbY>qKUjzjwqr<@XcEl_%;*N6QY~&X zNP}{U^rYf5r_--F_fYu`QhgMbUm-UkI1Iv?r`0MSY5MG2s?2N89Zp)9Kw~S=G@Uhw zqJXKY%EFpa$w-3#!K0s5{3JR}x!RjTdlk3^|0pfGyRJg^pg_pW;V8=9Pj2!{{A zhf&3S4c(8Hjjs7QnL@Rl%ouSE9SAGAI7u*}QT%+qQ#qwEU?0r_or38{ykE*wiFIR# zJvms^0OrFjo;OSGwX*LgX!#T4$GxQm1N2uCy*9EUx@X5v@(D+zcG!XWH$_fR?pSQ< zU}sh93pc+w^SUi#bpXb}E1eq*cw|64OZ5 zgfDL&4f$f&{q&8wuGqKlMTkA(B>rbk)fGd%+Ap|V>6P5J2-3kG<{MpZ_G+*K7a_|B zmMydy&rv-#K1*gWGPL6)**;jdH7AO&v%@d(uO_euj$?s=G`U|2wx*0E?x7_;tNTRt zc%KIBJlX}ZVJd}agaOy{Lx5r&7EjsVa*_3j8#w#c@eDW2i z2=VO=`OM*oFg0nYSB=pjrf^Ub-}hN#n28Tx&^%@QzWnp9t#bgkj23zTd-E}iyF$bbA=KJVHsw8Olf z-nVNH>3C!1q317#CiA?-`xswch|ZajJ+@2P_94V`G*&tmm^NHCH+M0 z?Xmyv_~g+N;j?A=1wCH#LSc! zx=0ej>OY*3ZYRQcH4}4gbci}Ju>jjZPAzx?eOQ6(uAlGr9ci8CE>}Jw%anX#AO9(Y z+v9e3;ELk2W0tV&XH@8e!C}j;)`Cop{Of1YcWGG}w$Tl2bL3NJJg!rsO71AW%xqO@ zUKRsYkk13D#`$gP;{fF^N*Y`d{dnIt{Q3Qc%aqo1y&c~w?)d%qg;ej2^L z_Z2qM{ymlA>3P)`g79_R0n;jb4dNF;D_%l0a+o+`OWQB+-bVA*aaW05AbS#u)>L~0 z-#)S3Y>}0Yi7S$}+Z;>CNJx!HybuwnWR8=apRDSBjw);M>~Ube%FPjsMAirBT3cIrNO`hz_?)Y5gkISEzO~tw1TI_0>bW94)=o;$qxcliQ zct^JroHAeF=r0rIh>L067j5LHQm!}sXtG17X54}aC1a*E)l6nX9Ltvocd3mr>VcNI z6Y5CkV4JDCo_|1E`&*hFVYql_VTLo}G=Blv(Rm=*t`7bW#@oH(4{_V(MBAbz&1Dlp z1K60}+jhR^E|NlPi{FSr-_|XdIMF@0Cv&?ce!O=x!j3aWpyi>U4UO1t^<5$HUvOpmt+r0)*tzmG>?&wD zKK{{#-1$Ah8#@b1O!YOI= zn2@iMCwPguWxdi98cnE9iTrBmnogY^nd$f$uZ1^3B+>1z3N>vN3eLVNc8_K=CwEuO zzEi)BQ}e=lR$bW2OuyIRMTrqvMgIfW*(jtEraHNqV4I;OZb#25+5rhNmM!9WXgAB? zcF%zBu3)n$aqy9}wp@$WMk>8zaAKk8uCTG)s)S)Y$&;NZgbhz-?Hr9`?KTH z?+eL^d-BPCpEVy2oWB&Y`5HQ0dRtRua1H!Eph4iAgKpjw#U6v_0f|%Ir|Mo_cD%uk zov;*u-JFkIV|2^BgD^|6L6dTKR!#dr4EvAMgYY}(C>!*49sj;O^8e?3BQ5~)1tG+- zVL<8sxRc}mbg6{0V$xP zG1L|gK*}lsv6F>bn3-QaA))>#k+z1IIRdy5Fi89d4`8kUJx%}z7lcD3^mntSyYMRDxuv4u{%kU9mQYIH*J602ZJO z2+W5_IQcJ?iQpz}VGRWXz{o8?h^GI$zAp3rQWydd4s`$k5yHZul2F9B1gWW?8*#w= zmrdYg1ix%rq%uGfSL7Vw4p4{N9r5Bi)k0MH}G6C}Xvm`OT)u1;6GAgAxuY zUizFEWxnx+=I2#M`yFjV7tHF+!5sHf%b5njfm(6`eREM~n!QX%Y62~LqiM6_I6#N9 zwD=J5xa+Q_^sti>PLndfd~~&2JrJt3qWI({1x1_u!DAgfZpq1Ji-! z8{<>eTEle?vSE=&oc{Z>i^>1GM z>t40LyzajtjPwmDTZF+PTm=CBxtjYAR{v57(61}J|08BdFaEt2SC09sfs8{*NT){e`M5)Y=&ew=jlq{8RUrd-whisq-PIOItWN!X*$f z2!IGYh-U@JACF*Uv9^T?+}shM$H$FqoB!?yALqX=MFdFzGD`l{()?F3?Qbgk_qh3M z&<0!v_TOXSzjhu!Z3@9u(!$gf>VW8%pon?^IDuvk5N9Y5V(bKm0*x&kjGb&ut)Z?! zxP`R|6leo6c7WLejU1o|7!w#AVvOtwfF>3Q3XT?z2yzYxO9dK3O)RXfAwY8{TQi7* zlZ`dR2@ZsrA$m+JpfLnV0fB1`b#$}r!{R~H)#TPH^V zSO9461cM{^T=tv-yjP+k`Weo@6&N8L96`?18itVMD&NG&8kq}(T3cJ#A*2MFK+Mdb z4nHr5(!bZ!4(b3mhdDVyY)ydbm+TSL%$zK&FWFi{P2oUgDFBF@=Zf}a#-&&e$o}z9 zhJWQF=wB5XIaymn;XuUyU=S5W5QW+xZ+ zKx>#8!dt9uVQ`?io1Hn-7U%#qvv5T8l~9wPO^uM#1Zw60g#zuYog6P40tk13IU?TB zaK(C1b_s%fZ|t1Dt^UJ{4X;_P#3?lRPjGF1r)zDNpUHl#2;oU zb%ic_9dgpq=q1C_2ADqn&l1W>+0Q2rZ&@=uUI@oW%d zLJK=ae|H z2)hJF2mrf6fc*^t_7mh!JQE9N3q*8*T`9xqij&hNB7%a`-%y?Y#BsZ#i*QziGTi>i z#>YVf(qD#x$WZ!w;Qu4gB8dMU{$w}-0zer7M7T$eH4(uDIqn32xR66nL?;5`;z!;f zx`N;Mfc}Mz3d9T+!u&!QQImgAMpWycn)#2U|Cng~DKiK;68lYP(7*LL|B*DZs=rG8Q)Pc| zPpmRIk-pq9@T=56RrGh# z;Qx(6!2dA4%Pj%FDdfKr8rjc3v@k)87cLDAa48kSRgmq6=vXcgeTmTkD3&aS{5oQVpXe0Vw00%(Ql|z8%o(aqt0rYp>xjH~ik%Lxl#Iy-P z{^tk4%fo{hWg<(EA0AFHC!)QP9{^$+b$NqGkT!t){FMjh<3>2jFL~VjAP~Y;e#_(H z{FgidglGN=#|K85)Gv8FAWo!x{hG%KMi|tud7NN=K7^_M0>{bEi!|R~^0@iAIS~Q* zmpmR$ZvKDJ11d0c$l0>9@WB;iNc_iys? z^8T)SEF@4GIMkBBP{B-JU&kDf5^fI`bV2{^Kt*fPPzGbkwNcQ9*C*f zKkLE8`8y9D5Mqe^8!ius>+iUT5j|pk$^jqeax<2?g*#%g54i%N27|#7bD5ugot&*H z3~(8ykbz!K5}+px0z-{>P58KY`T4lGp!__DxuubSi7Af&KbRkCY+@q%pCNvRPe(Xn XAbsV>JRlx!#KIaQqm;5VKF