From 73eef388f94fed7941ab15921abe025b8d999238 Mon Sep 17 00:00:00 2001 From: Thomas Dehaeze Date: Wed, 23 Sep 2020 14:14:37 +0200 Subject: [PATCH] Update Figures to Include Wu --- tikz/figs/h_infinity_robust_fusion.pdf | Bin 53729 -> 56965 bytes tikz/figs/h_infinity_robust_fusion.png | Bin 11674 -> 14428 bytes tikz/figs/h_infinity_robust_fusion.svg | 139 ++++++++++-------- tikz/figs/mixed_h2_hinf_synthesis.pdf | Bin 75726 -> 76770 bytes tikz/figs/mixed_h2_hinf_synthesis.png | Bin 20964 -> 23498 bytes tikz/figs/mixed_h2_hinf_synthesis.svg | 189 ++++++++++++++----------- tikz/index.org | 24 ++-- 7 files changed, 200 insertions(+), 152 deletions(-) diff --git a/tikz/figs/h_infinity_robust_fusion.pdf b/tikz/figs/h_infinity_robust_fusion.pdf index 5cc85f83927a61dfe1e3788309c1ca9a6fc8c28e..a5f69880d876b650a6f719a8b3c171520008884b 100644 GIT binary patch delta 6519 zcmaiYRZtv&vSkPaCxZuPkl-@-puycGSOyJl!C@c_?!g9kcZc8}+?^0CxV!tyz4dmh z_G`cTv{dz1_c`6`d5A&nh}HUNh+O=9aAPC}Sf8#!1Q{Q8$3)d62bHYaenlA-z-c%p zh>R?2-c9ig8CMqb{`y{CUEv_*#MqqBtwy*`|Jl`5xC2_OB)$m<%hy5|L&~ci+c@7p zO9ES-Bf_4d0A|h?8xcn5HQpDl3C^IBu#&fUuy%q;xO(mLW5%R>#BC$6U}8A!tA7k^ zp4p<}gQTt%Wg9{4@sB^Dou5K~rS&oNWVAe|!F;@NZ9<}E*0@x{!+2QY>Yey8EaDw| z9h)C;Anz1^Qq?k5G1Nry0YV%)Lj-l#OT>h{@v&xrfYZLEDxa5!m0v2pW;mKryc{e* zKsg$3bNE9|ZaU%na~gfMAu!cqiH;hqxA>PkV5Ru_(rDU|X!%QG->#b-y?PapZA-U< zwcFcCEan}1TT~AbfytG$s-~VZ**ub!h`*{x_gp?F*hO0}%-`w#qHKN~*ODhh6iXxS z+(w~112-*UrkQU3H2+9)PQap;pEg8hAWeMGhoOo*g;avU@8&#(3R90b{-qCw%{z)k z#qC8!7QKXOe7igRM!qa=j&XHVtOC{Sh78>wUEpp6(>9s)ZE(cY<1RPUMv1<=Yv`L0S#OfdwP7?xC%k$+rnj3`x}gz*tM@dL@Txx239+yfvfI8hUy> zuhi8Sl5?`GyZjjDa9XLT2HwO-!~3!U#YpJT>l=@|-~Ha-l#ki}k!zqx&7tPoT#Wl@ z5VCc$c(8-=P<4O#(Bx74ugT4NXDoNzmLCWxrY+9w-QF^rD6e(l!N{=Jncml6tC)>Z z2fafs*yn0ISZPkJK9sdJ3@?*fPXd@gzTsu(&{bzEY4(`y;^uB|2Q*_V#l49*E~pS^ zGFk2a?2J~z7I5G5MUPQWrV7eQwuqJ)N&NV2-gpI_CGz9yVe3^L_^Gy;iHkfpdT^t- z3OBv+JI%rd;CJ2>u@fv-XuaQe$l{(9vMeTOZWPXd)bY}6n1pyH*M=ig)3=AZ!sc95 zb3UGUA}X=^wTY(pIA2RvBHqQD-}DkwwVR|l1k;fh6}Nq95KT(YrkX?SCBOWDhy(l1md$aOVX79y-8=pz zgNlBrly2C5)1dMJsl+iA3Dmb)R%8^|(ae{vhNEk0KnQMsLFX3nbOHQop43I{f|8Fi+=~5aHYIP1P)ptj}yL;{1YB zP~2m=UF81VQXP^_mI~t-XR=}T`0lLUgvBX#HSSES2*^e6E!+0B;AI2}fZ7}mLSyyC z?>?Ytkm~soe9fzGkc2XRP7=8}nqLvI^W9UHCvh#10OnLI;q8rT47E*)*Z*)y_r=}B zQt+~YV44t7IlM$vQ7Yeyxs)+hVq~6zG`Cjhz2`*d?K{#0*VHwgd#9*BK0hY^4PEe1 zrv*Fed^TJ|ug*2OWriVnZM@Gl3uNXTdJ`^RwLUK^dh z7#UZq12Y<9I>OmiKV0E?CO-5ZquO22^R4-n{S!SJ) zz4J#vghuzDxsjbq_c$A^qHA^XxL8KsWZ7s5dLFzVdlkH}xPPMD=)v(tH-kq3>FRRczu>^hOb7vdT60oV}sB$hJoK{c@jBJVM^0B>R35M>IyB3@m)FOcXtN z6YP;sD*YV?f1X-{rKU@j?EIQWlIN=ar&NOEA|ZE||L+$a)Co!i>|q3!R75PW2~|E0 zLMjn@oAIa6LqrheU)bALL~V;Q*6}X$5jt&p3sw@{-zk(tq3c;SIs&atf65UQon<~S zzj1&d+J4D^NOrP;mS6Nmfxw_1})sna(^K%#!n(BflE+XGt8 zGXj#7g8)+m4J_Y6N--ponSClMDsDrO=xpOAcGeidpou=fI?N9n^A=?bFQoYlpTj#| zVp{I5d*+?wFN7OZQfbd>h9QzPH{=-2IJx|cJ5nM!B&yP(jQ1!)L@$*;D0|a}f4V!> zq99=V*tsuh> zY;29GT^K#oP`Co+wI}*c-y?XV_kDzeWpA3Nba8oUEh=kPy`y z$OecK^)|W?L)#VW1_8f`km0;kY(C-z)ewHe<`t9A{6adcdHtgpfE-ykMjOXoIbkw6 zTM)aHFICBcBGH`Vi}!|-PQNyfkeSpor-@2c~cMPPF` z^=xVs5sc!Eqs1L|CJ(hQzcOm~OjhfF4q?^EE_DLQP z5_XhC4nDa$MGG=AFkQ?#6A`2E3UQAcpJosr8#YK!?F$IjkmNFt5y-xj;vK#vN|!w3 zFW}3l$`)DE*RZg7JMd)87bvm%XDu*B)KRipDFh!QpdOyZ{_5tvAbMOj-Z|7z-G#LN z2Q$0ECYz?G|BVfn3w4LWSCutN4W^GJk4}WF?7qebqlNX{CbsZB2%{875_JXJ?9NlR zIZX0!q`>~0MPEc?dO7Roc#F(KO+O{Bz)tB5^@*+{yC3e7bZAo%C)QID&3F^`bUSmH z-+0s7eW}T*3Ct=+DGTfhnooqcC&>~ta&xbP6Wms56kg9u^v@d;5f@~H6Q%nK@?>1f z=yz}F%WNl_ueqN?Vn(6;Kcv9!e%ZRp>#!&j=VNjX6DJq7FDxz-ZDw4EUX16;%bhT26I7dY+~}qi8MRd-v4`9DcYK%GU=B$~Uut&i#in~63_E(YFuDz9`%M8tAJ=2@9oVI3P+tH#|?U?qd=%70edzstT z30%%9OS$pm6Ty1K*mEpP{!z#|&%0CO7xVxwd@ij3kEd2G`W4_;Ufo<={Unl{{pwP? z9kQU`X_R^=EhNm~JG>OE;=m1FflV4Tc1hbFDFqJ^FL4H?{?U?|AmN~lY^WWdo=r0E zd=6-iXh&I{h8T169pu+~+jMNB!T-1-5--TGRs%#TpO(4Zs%?= z7gQR&-hI1|2|ExR9r@f{U;U|4#yAAm6|ma$m~5)bKXa+P+TM93@>_Fp5q4ig({~=L zlZ7?1A5=QmPRgzCb!m~7zWf>=u1xmAKrko58GA(TSYzgB*w%Cq(U|r1m~FZ3sxD4r zCxKc@P>1V0aNwCVDr(F*KFRP}Gv2P@!DjXXS4rb!uiupn%KWz}yP^wL(^ zyjU5RQ#c}^-@9RWv($2uw-d1B;LlkCbuSH8Z+mrtM|Z|A@FxizG+p>8Qat;5Je8H( z(ZgqNXCqxT<#lQ@pTP?RC-bf5sk?i>t!JFt$T;>&ZHFtAKQGQ5!B%@UIth#@^~ZA? z=-t|tzp!wb!zKu?nb8?*#cDjv9I5W4ue`&GZl}Qb$(cp8Gej=yZeqv$2cr79JnJG) zWqMqtwZX1Kog6Z6yxVzcUNlpE`4qRtPOGgwWLE1EL}>zN37C$mK#d+bY;|>^t%UOW z?`bhE^#3TJfQ5^!6{;a?S&3=x7sz*qTGhB0wzaQ#orTU zYuf&mHaMPY1gQVe`(^*gjxpkh_dD_DpA4Kqd_N(yo)h#}i?lqvB?rURw#xJE?GYgfc0jURZTpiDZeEVVw3y6>RIj|K7#!eq|iHe7Qd8K!=B?Ges z_*I~iX+?n9{@CM~R7iFwLsv03B~ja?Hz-#t?NX2U$=hCTd|)S$?e87PoV5(?A3iX zCz>78O|-+sb76F%4n1%_$(#_iv?|gGs95~k1Ct8DBAMTYXvZnB(;-Q{XR}pS;XE7F zew>Vnfi{jEt)pA(ePU|dhuW?QGgEt6i3Zuk8djDT$MXk8op zV4YIGmfA1jxmXPPhOU$E!Z8wdTrwBjYrQ#T@3+LPybcmASda-Iph%^$C!PY2o0H!| zLu(Ca6$Sl$TUkqL!i|}IZ=ZJ2?9Rr|x&u+#lKg2X(7jA;GKOO@p{ zTy;HF!e|A}^>ri;q~p^scEF~C-0)#N7-X|=_U)~b#QS^Zj{_tRJf)hhoU1llsYT50 zHVl-wC)#X2RLIApxyT+a(K}f-`!1e%cwarTa(S(wTeflnYswk?-j@r0a}mN@qT&-z zqgn@P!&lHi8^Q6rc{wnj94o~qZOMH*5_Yn>XF$fsF=})(`>)O}PG-h-|3PrNQqsDg zKnpSWKs{j{r^%fR+`i*OomgoQIszX&3rJYEQXhwgz+LyP1N@&z$)F+%7Y8>7Cl?t0 zG)VS;G38J_@jsO>ZRO~92mBasjtGzrx{9~{3dn`7t zjc8z?AFZOl$6j)OJrZy2(qf0txZToU-rxOxvbro{3qFVG`bCvxkOo?Yn1t~Bt}M=8 z-7@kaQF$UET1HZq965yoS1qE+^kU7g{@hr0gVq7HG^A}}H2gF%@=k<|xF102 zc*&wLTmtEs%j&PJMQ=7@NfxRRN`m@AXLEotQ0|^^6r!Rb3}seNR!?ltGPS6!SSt1* znP^Ro7!K~X0;71kLk4hwrrMc0ZXqf~hOZzJL3f}yk`Ob4yy*})Tu)Y6!qGp`_EAORM7JCyTLns}xw-Oe;^(Xi0!E zrQT0PV0{%_(48vOh&@yP%b1UDvD`i*e2R52peLJcSF~oIC{+Ye;$qUg+}lT%c{aLy z0rMb+W^056#iu8^-)qY*%`gYU*t@~T zohj(UghyX3gg94T)OU`Z1=F)PdD zkpCyQ)uFpCELFA3>Gf6j@zp}-b^8Uj@o*?p(P`$^lTx!yskPEDA~k#7l{^q? zO16z>`U_JdV%WB4HjgGiz8o988U>@hU@(jS*O{oZ8T2)`T-Ba2vH*0@QyjeB=fN1c zOW3awMa-r6JlriqudYk58+I&%exeO?S7O0>mC3A{^Sj%ut1-K=h zHjWV0JoTFr)A(c(sZpr_>OQY_nKT$@AH`0AptG{k7Y0RZc00lyq@~vHVHcOwOMBkL zU|E3_k8Jofome23BHY#3&q2TG(I_glm}x}FSa)ZI*ZVVp-&3DsN`j}_HeILYrJ#-~WrNg=?_tTyf_%DW60vOt@ zAj>ZLl>1kNmn$7cr@YGTuv@gIEGRKNbk?{AQ~l7yAI|?tEskV7ZcvgEH=5fr$im&j&*s9yZijNp@U0G0R!6qBzlUQRLXAwu%S242IfnBis*7|5oPp)Hfwn1R6WD z2z~N>>^L1S@f?#g(DcVlmi{hJrk={F1gX9U?s2E@M*01DS?+r|Ff3DE_4kkKe@PK1 zj_wIntFeqWNd?kFY69Qe^~+bfBbYM5x)M#8wNwDaQnRv^2pW(v%&Zl(1hbli+tihf z!Xp6JDaoD2lbcr zPs=5a7!ltDJ!)WgKCt3}&8h`TLG5-=Qow0H^HdFO!Dbf1GESgKr%IgpLw_sVpXTJ=eWhGHMSkR!9OvmS2Xe#v;LSL@p%W&<5#4IKyEYJK)Cc5NS6E zA0zxOX7`kT5apT-0}RP)<*^6!#vjNAO0X0%v9URkiQSDl9cZ;gL{DB}XUXlO{kvxG z-q|Mj2zte1al`=ru0T_NpKMB#LZseP2rpY&+-k$#QS8B3%BZ#dAEf6;$`B`)Ret`- zy@<9e)%c@4b)0b2$)w&n8vJh3KA*nN({piiZC4W_({+!+2e39LY~jz6!uxwf3uYMv z3$S5L>Aqs_?MN32h_KV2hjF-Uyid#QEhHS^WiM6~ZEdV<)3>j2G)7_*L2U9wFn*h! z!6;z-sgVDi>~CQfF5T76DZf&*pwb%unDPc^#AfOX@h1f4@h=L3boFPbI!`!3D_23j_hx(b?tf%^iSzeE;i60`-Ns!QvcT+!OJE-!B)C69k6iyk&%uj|(b`tGx+aPr+Co zdAv}K2?08QKC|@*H=!D%(EhX4Z%Hic>$!u6$H{-|=#W`3bUeYG8`6;!E10TSqD(wi$mYl*6K`3M9Ztz6(MC_&OtUGIy)Kk}b&b4FGc2AC z36sfIs4pk%(NvNTSAtmHy%@T{#Z`z>Ew0-gl^QesHZ62Y6N$T4_%Kz!&QKT4@c GqyGR^qVa zv>`-j7YQVY#INV`qiuIj&+g7d+9=8NO!e30s`~2HA))byM9?Z(Cp@cUlDL07{3Q-r z{E$C>$A>a0I`LU#@v(g7`zj^Rv5BbyW4_!8=!r3!etj>r(&EDi20 zaUvzfWMB!*jXr1=fBz;9H;YY#2X*^5f4_eeYk!W@-xEiQg*7UYw6ZA)%Ze@Ku)O$) zuEIlw^;wlu6tj+-+rxL?XKxfv_2TxUXqX1M{UGkX`T5QJ+n)eS!mAWaEHKcJHNhrZ zQ9o9c)xsitWGX7M6EZs$DvC1dfAIFU8?`t&1G49Zuiba>MMv#?kra(#axn5?i??SpNz_Bi!YbOPXg`2m&FgM$f)|K;@2P-f5eZ^#BUt7 z6Tj}v3!`ULa3&yTq?}8X#N#AG!y+AVgz|>06^sZQgTsts))czn9*qvM4yeP9K?zc_ zIu13HXgMuE*rlK==-{GQbdgmqIvCy$?2`NJRkfMC!E;LpPW8P4;bN~ z1NrD{wrUl6O3dG%=$b~Ee;7)6xj4$Jn#kmA>2wv;FopSVPg>myvu3`UDTkfMX}XOW zfXU>cNQHRi2yg+-Ip=y(fobG=oN~Qk8l?F0tJZq!&KkDq+|^LoEq!4kOCn_uB#ahM zSOXB=mo@^NWdeqc^Gc)mt{ad@!jLsZ>&}eFf~bIb?5(;$L}}A%e>k3WfmzQwbk&XF z#hJ)u29pheR{1YcMv;SeL;4^N?{-%biFkVN$xfA3B6HUlA1(fXJsPbb70DwW^g0HU zuhF25J)k@xKoR8o5B&s#QD zkPRKxMmdZ;M+j0ke;SYO?+jMNs7)aReO|LCH;Er+aShvn$}uJ^zxOG_a=|gBDJHMS z6{`sU4I&kER!h z(wytapok3fYmk5&jEd%N?ed!xX`R=3hA|0=hlZKhxoOTee?gwlRvFgb43NX@;xMUM z1cgOBvHX@DvFMN|C&~G!#hw9MOdhIcr#ADv`T233fBCM^7iHd*8sq6RIkC4v^_qOX zmoA0*YMt~nsTs?NX0sj#i%`xkjFz-7of{QmV1u@4Eq%9S=7>W1K}i`MQ=HJRQ6cEf ztW$6s-@7!gf78h$OBsx6!qUP9Knhrdde|08$zV(Z%^}XXl=s`X($+=uB0Qvcdv!4v zP*;ceIE>us*e)rLF6K?R?!?e`;%zISy$sk?QH36EvXs#D&wLvncZ z9CK~9bkd&OwmM(0ziu_pvYF-!neuoWar`t>4RZlge2%Gc+#XZiq4~c(|16*X1K(6Y z&kAL35oB|8a%Ev{3T19&Z(?c+HZYTMZWOa25B?F83=b8v2rXzqlOG`#vxaW?N0ag_ z7qgYNg$k2zZWpsL!IBA+f3_C0*~%jd0W*{R)Jz95F)%PNGdYt`)f@*hF)%PNGdYuU z)wCHf3NJ=!a&vSbGchp=FHB`_XLM*FF*P$YlVJoXf9+aZPa8QDe$THskGoni-TBxeLtNzMvQ zNSuoVf2l*Q<|L9u(MwO(AXS#EMXGhfI-~}2j}!%r=e$EBNnUWO$*YJ)mb{hRnY;%A z4B#Ugdr3h8oDCEJqG3@sUI8Hmpd{c7Ho}5Pz#7On3X#EDiUNZ`6cs!G2vK`MR#3F? z1XM)pOk;h$k)B*-7e%K<>+6L4D5*qmzue?7e>C0hw!6KPo2;2rx|4q_n)&gIEo8gb zS<#_0k+9406jFtAZr<%(^oR0V4GGlk4LZ%T=ys}M#)WDeJzL?p9dzFBr{(|=bS4on z$$5E~e~olwgPx>|O%qShHSYhAE@Zd5gAV%;oJBVQa{4M09V&M_&F)3c{Uou6`FqYi zf79L1W!|}A@7VJbl5gI}-q*W2&HUECW_&kZJ*anezFn;mt6w}; zYs8PUMpVetqpX!T5X=q~lzlQ9N{<`qao+C^dd){X+oT?P_cx9RQI&fK41n?IpWme{uHOJIQ_W)(+VQu-Yr)svR zBj4`~^G5KU&q%KMo@bc%e490v2fiQT`~xmX-{zmou_NvtMCncI@}}4NKxel&@1_Df zv~lLWPhjtvmobS*t&0gZ;rv8Ne`+TaiA?k%@koP~2_Wj2II`9t%5xts@;m5+|M@qZmGnbcrX6 zK8}ov&}($1Q85*bvn&sc)OfzWb7-LrV>VKb+F_3y1CQ*16*Om;8`cUNe?l{R5*vb3NUU5@)dqYaR&aP4O=H2G|z0<#5 z9Uf-o)ypz#7fmVFj`P-_opHl<)&gUPJ+>;cu3-wTVRsG}fE?ZmaCNiaWUji1mfP9Q zeqOY$Pz<_}@~~XDCb@Drf5K*`)y^S-;H1p2|Apa=^uJLrqa~DFWj*HCAL)L2l%A%8 z^ke!d{rcw+$X_RkMw> zlSYcMi89np6m=7C+JpXtWojAA4i0utHh0ICEix=<7#8_f8>7H5e^WOsP8t^HMeo)y zA7{p{+sV`NQ+L8Pvy5$rFAk309gNs{^5yzNx7}YvPaGE4BFG`7#GLoF$bqZhMo%-F zp4UZZDtK-g1K+>ddAD;kX`r2JABc&i3a<;Ed{I7wb=J+auIOAAoud3QVPIHl-fh1+ ze7Qeq-~x_H3lps*e?It=59&DrIGdyUb=&*{Yf808z^)EM6_=MeUdsFuKl3Wx$BQOC z!pfbVf^B}dNCCD=zn(uzhZxca@NPX#toL!fjjmP>?me1l=l7!m4-7t(Rgr}-eJktd z)s|r4+CLFg{wW#{%05|(R zJmoZf&uO~uG<}E5OyknaGhSFH>oHWgs^-3NKe6TQMLqATeDEFH&!B zbRah}ATS_O3NJ}+W^W)jGaxV^QVK6gL?Bx{GDb5sMnW?=H#RvrK{G`#HaIplI5k2= zLP0SxK`=8#J|H|YMl&@=LNhrxHaR&#Ges~qI5ssnH9|!~K`}8wFf&CyT?#Ku31x0) zbZ8(kIXIIM0x5qL&bv+mQ2>PDnO#^e!Y+5@A_BTVD0v9q!ImE1!J69E7Gh1TjHS`e z_zFCP3(hZUligYR^-AIelNJ%3g(p@SDNT+~=G}7I0$J+nB z=iKw38_%;{+s$6RgdlQEY2MG!3ro5cA1`-moI{bYP3jF;^qi28NC*&rkh>Z8#gUMxk>sT%wO&tdrn!45ji3LRC7lRD zqmh)-C$kyVFxV)Q#j4Udj2P07(AO_>Q7@@9wvKvOrL(En{`omJ_G5f~n+O^F0O{vH z#ahI-UiiqHhXf_l$BJx^vzF4Y{PyfmTS-4pt`J!fq{a&PfBmy4``|lTKo~RL3Gx$U zerm!KB02P8Bur}b6RIx;Jq%a@nHhtAWUEilD1wO zWD3tA|3Zr8DH%D4!xZ{h`xtI!(Z<@ceh;_YaigL2)tqQ1YxtC=j_8j|j7XwkoB%a^ zIdZ(s-S-RKsGdVErxDiDmD+g=;mErZ=$s|gSm^$}WCSigT`!}VS(Ane@(I)%lz!Yq z>I>CFmt@AuIelZ~73_45s&kODjmj8d72Ft7Oh}+4$#(mCpm#zbpQHPQhK@3;vmv9p zeN=gn7Csuy>=6FlTWB`*dvE+`n33g-LQn^=LdQ~vIi~yR=ZrZ^soB(NTAc8(P*t*| zEm?x*>kpW5S30cpQ{`JVdQYtmq{EPM@#1AH?bJJzhD*Iz-jrMa4G;Z7P0Nymdfl9- zdx*?uPN=4)&0{#=)X2+0UYkcMrdxdK%eixN2TcHJ1oo>ak_QaXYtk?zh3lY|M zPLaBo>@XhF1x6g2(BCzeE*#OeRk>Wk9#Vri((~z*Eib0Hu3{6Dro4Aw?m1#!VQ7bT zp%JJ{4%j`b9=H(05a}DKFA172^?0lVoBn@2ez!S#CR8hF=NzcFMX4oK&yJbb3%D!D zbc>jp*f|VU&opny+Fn!b5G1&SKDX@|m(EnN7o9N`RK6FxQ9Wx#+9e*QZ2{;m-1)+Sf}#^mo;A%R;lynE z&K^e_$u7$W_cikRUo0Q!RhU1~Yw@|962e*7x-yxrcai1FXJTS9;IST&%b@0R zm}z_zMaCQ6l`7`Gx0up$ebvy=SEDvvUqiyCpF_9t=g*&D&x6%L$?d6@mkTpEcUVMz zriyu;>|o@pq_HFlHo2^ijbB_`^qHxMznqueRTaOijBn*O)p?ES&8 z$zxQ0#h}2VKf>5+w|%K+P1tpVncHr%vLksImxMjld9m{yvw5su^w zR)16nGZlw{%r-V(-|N^E-|^8>W8aF<0&MJ?H`A~qBO)T`1O#-qIgN~r3bg8qZ4i!I$%BcvNB|@}(NNI1Wv@`&UGF?mV`%EU@S9?GCTD zn=&to9x2v~eYMoR<|=PLJ%4e!FSPbJf;iWGf7#>buNGf%d3kxg&vfIT4HvraOg}bc zP)x{q_ANwct+23gW4b}dVFFgXy{(Prr_1;D_Tb4X8ylBqqb85p@X%$y&~CX%>P5vK z6={a_0%|Px0N?A&#JRaS1qri*w+$=uJ#5YM-~IgjXrMeEe|l2HSfzr$N5HCGY|{0f zp-PR>9xv&q_Xh)!!96Gur!oG|_W@35S^mpQXedsA3Hz^Kzf8=`;w3t~D~#TdF%xMq zskug?Go#+%TK4|%A;WV2c-Hq?(ZOMR>@2kieV>+|KB&T?KjqMZ*`WHtbb}lJ#33G~ z(Dz_mlAcK!hsIqDF)=Yc(cij0Sqy3k16Q}=&_89_CL7|Jh3%P|dW$*j6Nz&9T%2%Z zR>{SjI_)jWj}_~gj%9o_?@eL6GZ+(tk67C=KI`ALFI}ZabhV_z90<}skBgEg<;Y4* z`@fi*O~oIiZI$(7#h2;uyHTZ%qUM!*+CsTQIe=bE_nzi%mSi9XkKN=*@zyDu$k)8CZSSo6&%CQ?w+?)um|G_S+7qU$pHGAwU1!<;C>AGF%2_ILY z7~=2G9_+}}o2Kz7ubfHv$+fS)i;0oY(z=azPh@T|TQ-haJwPK@;m_h?P*hZuo^Q2w zi9V-k$Bl~m6*#&p1)(0Ep4?E~73G6}M~j>^rHA=1nlXrTY~u4cHHT3)Q#7YfyCvv% zl<2a;*3fQe-uc2ZeQo2XE)gd;SM+kFkMh<%5jizA{FS~mI^HKttN1MO;X*Ed2eKaH z>Q~#!!+CCZ49HYNNeUoD+5eb+@xt`>`{{&L{kX1zbY@Pr;ewpCd8%&b3;DR$K~j97 z;o;8#4K{w)aR)jQKQy8sAt6ync+mCj4PKr1IbT^>S*nBYQZGrcn ze2TlP!Q3f;9P1y}y6?QEIY32s65kaaG5my@*fNyRS>Q6#k4eFA$~3tzY_#%e)Z?c1 z2ojwJ*G>Iq?>#_~k2d3Jfq z*1M^Dqme{Gdh?63Rj*o>Sw4x9EOkfcv9Kf5!3;~hf`hHB6XX5+VWiyVU%VR#*X!Ur zPEJqNYwV{<(pUce?f&xY+g(1}y8z73zXoAb2swvB!+2MuQ_A)1D_U`J@#4)pdm?}Y zfIJ=8%$F&NDgNcA-$>{9P4e^FYVkPgS=);Qrp6`QaKl+rK6`qcWuBN}Kcrz`2!_M( z#rxb9uA$rbn)Cd4+qclqJkRIyj6&pf44}j_E2}Peu9J)X{=?{894WDOLfu;wqm|Oa z*|v&9M*D7!Ww>5<2%=~f{A^#waSk4o=zA&?of*65J+y$Lx!CW?^78zc`}NM; zc>PT0JGzMq3%sMFBQ#7*#6EJCtEtKLjVMNACVVV@s=ygWN%ft74<36#MD=GV@-t8J}~zK!cPd zRD&9O1|cCba&mGF4GlRZrSIRq1*Y)YypM@#4Zp+srMkMKyE{B5hn|p#Xl*$Ett)Hn z+?)x!VLjBzO#r{z+S;Tl(E|bkg0|0w4PUCN9_MPji;D{i4n{}CWbwQm5)|b4=PUZ= z7%Mh5wpM|fKcC$svo#S_e|J19oYS_Uq4y^zuRRV{CBq0A_SV6MomclUP7b^0wzp%-h7Z^h1- z6@R#_4F#9BT#@++IxWY<#F$i9f6}jF0qD*)Zt;1b`vr-gpT9&nv8sx<%4XdB@bBos z`uJPGD#Vg(Y;07nG}P4*5EFMm|E=>pX1~Lt)#-Lvs9W}2t3*G(P&0q1#n<=w^XCQX z*&%$h)6sHH=dv|ex!-!I& z{+rt(tN2Ct(Xa6$4C*?}2ZNOg!&>L>Wt4o8)00*oi9gUT)=h0{@@{?|&~kOgIyg9} zRj3hMX8ObYv=PeN;#Akz*!cJKbQnOu<=LURO%dSHaD|1c#KeRCpFeS#n9MX)aB*=( zL_{h}PM`w~LesxNWNmM6Uuid$fR0N%x4y2Js}R4JMk^p7Ft@f=IDOY~AXAc5TQHv8 zFa;SEBU7WW;AtHf5T%7){@Iab16|#@%}r(CAQM$KB+wCb4GdO(UDm+mW|}-Pkqn#) zIxCp>g)RKlZf|FK3NmEXwU3};-g@AEeR;h9z4zjDB?HdGNA02tamU!yo_d#cBv>qr zgoHe7Q)pN1KoYC6?0V$$zJHg7j{oTC(>`Y*3QEd&hoLukhs!^{e}8e3mL3;(J0KvS z(r_wu!w%7Mx3|*kp5Y!y~{aBkNxH@%E*Q%Tm+v4ELHh+(0aB89ouwBVFC3 z!Ou2!cFM_IW;?sP&w7$L(J(OHzkmO{ykEWig?!+=<3h*HO^e~g7O&G+7&pn{7F@pf z_1(h6#B6M8+C4m6f+A)-PI&z;jhOwZ+}cp?;d1+rA5P0Xq!kgSJ7g57%P1sj%g#n! zRi7k6SD}9H3OG_z3OSp!`XSp+Rd2@YzZL4xEKK6FBLh-YtX~y=JmdNH9i8mn`F6|t zG>MofkZL67&B;5sxWh8^T7_E9e@E^=s_V#7NfS~^7fFUv_44-Kg?k6G9Q5W5`K8mZ zsVP%4vs@jdga>+GPj(j$!+#(^8?Y^8w=Fg24K)>8Xdk` z=d@CwRYMjb9`)ZvhxSMkn(`S%;*Op1EU;TxUrQ*Ip_$e?rGIXcqD@K?fbsW5DCjieAHR7)uS{Iu>p$Odl90ct?p4rp^xlTUgd+$0I4{g z3&eADcBTiAmwkKBYJcl@-6Lyj7AP3>l1HaVW*Q$h&nH1wlS#$<1DJK|f zpww90<9MrNcrRJZTgYyznpaOTX+> z&F0~_b;4@sX6zslexN)S$gHlq$3rRX>MXy1>A9xUqgbt-F5=GB*ViZ0P?PmIVsCYj zE-i5m`ZO$E#`Wd4FOStw5S$|`^wH7LCo4k0JxwpUP{;zbjo8$cYQ1IF(FL5K zZ)b<=VNp@ux!P7KNI8NtvNAFnRn|`=UhcwkkA(k#hgDf0D^XrPjTs}nTFLN@^yvM- z?@(?(E%e;fR9;2J$BaC8;@R$eJE?Y?8SwJSbt zE-r42)ICqhXbfc=z-5rqD$o0qEGgZPE$!a-GZM{9$aSNDa>0|Jt*s5CVc%*&tHglZ zBA=j2zjtrxCp5{(87~V93j}2C?*575pUDJ1BjR}!+2FSQ*Lh75h$Zl<8wtEnvbJtb zaDP>7qwtpG7hLOzRvR`jwXc&|5)Q_^|n7VPSQ05IleO4AI_S zpX|_db#(z_!WS18kJXj~(s6NlS>bgN&#D7pGQQq!Vr3=2&=Iu;%og}c`_RxHxC_Hm z%v@ZARr+Zkf5eLUehaxN^o?U}eIt^TJ2Wb4>4SrjH*yxV%mmv?v!BF3w6PSDdY1%? z*%Fvv%G!WK7ftxk{Z4X#a6ZW(^`4j^GEfg$xQeldV{ZyCHV)3vy2s+iMh}2BXTri& zs-TlI+DLadj;gAvmzUSh&Q9lml=G`sv?3y@pt~14YgZ4~$C1rUdGYY@vW>-QX#>D* zSjDoOWHg(ZnUNtClDBz$34BgKSa`iM5_q}%ix>1i6Ce71R9%fC=Ra95ZLu8xoaSob z2h0bcB9D!Z^)`zZv!V+@9NS|?rKC){OoygJ;xu8myhm?tO|S^FPM-o5Uszu+(s@Bg zOB?$3EkARXj3$%f&j%B$zc}sadwu;c1q)b-nInR@a91@=D)P>K(9~LNm3U^=YaO3$ z;=~^SW4OaQzp`S%gKXI1BMRiA=;+#d^b?d-U}7T4ty{M|`tKVzi-6scD)2G@Hul4B zV%ca4h=nHE zpX_{W>n9^4Q*dP``IVX>~#cNjma!ko&=y31=F=i2zItvb7}!@ zq0H?wn??>6A0HpAe+WqHwHuc?6A0qJ7Fr za(kvpDTOBtc$HP6TmV;ykXiTb?Ad+jL8PJ{JjdI!`OrY231h?IiDfTzc6QDIS?S?M zt6cFXhUU==VbZ(dgc57o^;>7N6O@>p#|2s}n;Vs}v9W__2jEwMq>BY?xTmVxZ>wy= z<1j-3l@bsbSm&~y&}Um;*02ZKMk-f>)P+|8n$-SE|H`!6?9!A&3-6kRTsCmU1Hfbu zuWP+-uU>ua?|)0;?x>W^75wX$uIuJxJD&JO=H}Ve;kfZ@4-c|KANbF)p*6;EJ7Ifm0$6Hw{I{ZLM1Y zogWUF#oisAwcVp5pO5SPz|G2e0=;(TBxhbP+}yl{4XCSCq_B2sEaL^Tx!(!_&V>C~VS-gmL38M-A+a_>$VYHs+Ty#-;Df&1pT3vfql; zr|5i5YO;6R7*-W;|N1rHNs+dd4u@Ir#`iW6?=v32;zzKm)5()VLtL`xw_C@?j)EWh zY8yIcWo2lIpHA?I3 zlp}tiYckZ1wJh!BB?3yB0Xk3z)JPZ+)80~|@p6Gfm7vLe#!f@A>kFr=i+xpg<7TA{ zF>gRwj_#mGQc@^Q9*6V5X=>~0mg;s(e|L0sg#icLnr%_lw`{Mi6#$RSi6_L|sAFs_ z0k~2aO%6j!&3&Ur0jHI|T+6{MAl8X+dYX>Hi-B1WG<$pAq7d*)OQYnr=;K+neiCzE zt00EY5}VmxmNqjWw18COqZE3{KyXmd+@C*f0A@yO`cOx3NQKbQ(bXGYzl0K#Z4bZG z-U*f!jzkei_mSQ{`p7!9QX^6A&rjupaqgUeD+Na&5BB8Z>UC)%vXS%z03r_O$P*cxgbPmB)J26I{VF$$uqf2XeZ7+Awr9xj z3M3d1jACGmpz~g>4$y!|l!i70oN^h8CfDn956CbP35l$A3}t6p#j5;LsGDolSR# zRXayLTLuIs?+LKLo$ZAvg;Tpv&TaYG_CY z=9wY&qyC(noG+fo_DHTcVg|7}~lMW$v=jqebyR!Jw(!q&k7XA0q;uXWf z!Zv1Gj3eo=XtTcl{8eTun^1r9&j*uhJq}rPK0h7&;D+!QRMG=X`Vd4A1Uet8{@va3 z>eVe%hmpg9<>mRxOsGaW$RWCaQ2E-r#=q!G6`Y*DS0NS4sB8&09->_kAAbidUR{0t z_o=DHcDdl*>(5BF6=UDJWe!Gzo&WG%3*6)8)_$_Ib9}R76}-$m#wLmI0-QK+n;rt7 z?Vu;pmlg~S4doRShC6XQ z{_$e%LoEq+#A3#*C&CDyJKXJ_*_)g~ok97G`h#m}sWwy_T_42(^`}2~a`PPwWU z0U}rq{roq})vU8`qKsZ9H*Z>jKI&ELt+|JDrY83W?!As7r`6ZxzT&uZLXd=ZAeShP zVM+ZyNfh)GLMe)0>;$&iu~JY_=zcLlp7lPa2X1BpJ|ENpoTz?v0=t>U zx`_!(IBIqGv#hj`F{~@^Uv8zN`jboObNiy<wXyff;7*~&!=|u znz+2n4X!)n?OR+@a{9NZw8ynr7as|D;+vu(n_8LQk!=kr9jOjN$W@~k+Nf#Vl)m>0 z;-{q|8M0RV6eS*KihU8&)T}4#NVfZMxLGs%c^f!~e}NW=cD-nVPa1`wFXQ;tISe43 zl9!NZ<%;BXGBO_Ky^fAtNR8lWA<6C;$S*xk12xveOxiCfW{vxvbJQlNH!!O23Rq;yF(s7>3J+h!d$tZJ&mIWxGwP`!D4aiyv!>Rk{{7O0k(_wS{i zKc|IOia1U|L1;lqVIQ4Lx|B;z<{JtKrk5rmn|_;ZOLh*)Z7eaMA{g*Q*( zEntLkI8+F=J;M;fy@bc&!9NJ zwe`8T1{~Ag-YDP$<)>-fqm zDzbr~J8#dV0ge6QFe?V8g|hx~#73p#A1Q@I_7eVwVq)pQeg-P7h66N$@sP6p9B=y$ zvCw9nCV?fH@X%OALINpMsq$j)=R*iQmj8M`Dbzp*+TNET-Vdf1A}mP;2M^AujB$vy zgTveS_;@2^-SQVx+7x58qEV$( zfp-w)SqBRJXm96)MgeLjW&IdJSvp3Q)Pl`s``PBSx8hexu(}oCU;@>R{69Kr8PHai zKSfPeT4mo%y*$}9t+t(zy1u$x8!aLMvx-kZ`dQEa&r91p^oX3NBl~>Xg8c<8RQhF) zLziN80zW^2s7{G~mG6w#elN;l94tmRBG6ri)D7Gh3|fj%!_D7~?y>MNLxq}5 z@YH=!cp!s)H?_4rUIH|jLB{^t({tUq?7@r-i#nNno8Pk&{oCpkq z!|TKm1r^nWkDfTK?}VN!7b`edj}jV#f>V>ZoR!wlc_ zyUu(-+7vc_c9753}!{SnyzruW#Ud zne&=P^YxWytoIC9j>8`xy|GO*H8lmAA0SB{51I^~r!gUFXo`l0#vcfumBqsFR2Q&h z&3u*JKH=>bj@XK(r+Z7_gp0$8!6zq=C@p=+Yctj}cKN-d!+b&pn9Vw>b9ae4_ic;I z9=85ht!Q&jad)X%)x7>>Bx^|9A(LogE4UurAJSP<7Ce1No-}L`9uctsJWN1HsCfuY z@&9FRl~wXgW8AW?N&)wm{4fP7I|yXL>T1EX?7EA7Rs_jIb0|@a$FAVT^rQ-Et_VdC zvwiLDRbC$izX>CS&rZS8(z4ps3ih`*I%z@TuMO*_MIh-eNW6w4(vbBLV%I|IT;h6n-Hnd=?N?{ zd^JT=to`Hg+aJNob>8}|H#PY|%=^q{;$MDMR8djU%mr9?0}XBtP2(_xA_|QUjwveQ z2OW{5@ZjX-yu{mcb1`P*(_pClf%f9t7yQ@Yt}ccae~d4RZW!V6zPgI@N>zzdoNl&E zHi)*;gQ|?9O@qeQyE>EW%=|B%oai_>V!%E8yZEG7_Z=iSjXaJOg>}G>_m_KrQfGoe zJo4#D1UxDD)8tLl?K;_`SFj#w-t7%1KBDD3R)6NH1sulARf zJEAFzC~;k0z8swFY;UinGlt!4>*xpp#OJX6#XH!sOw33q{kc7@K97jV@6XT=WllTzn4n94gDcd!?=!+6 z6N1Blp|*79E$VZT1e%Y4oLmtycF31L0!uE?%6oYsXJe+ECiG;Rcn}Dr02ogrvt=-h zqLd~S5B|;dU><~PUjQ7kXPrP*fGbBUCUy@rh>+Ws5~Ow&(^)@1rwyfE+?;UijG>u4 zL463OVE~YZS75Egjy7awQu8^?{6=QD+WAcJ>1(X|bMGJ+zO(7fjr#j4oC;)$m@RzJ zYp;vxw)F4czxN^^8bc9?Ute&8!3odxIN!z&M-M`K@wrQ4uTH%AA&TZfYJ43=feBig^ggy|Lc9M4=jP|*Iws}*WRlJm36{yYHV z0OSeAzC~|JJOd{l4$gd<+st5f_bnb%fZfoy6Gd-9kSj2gkr1 zi9BE3qk45ghj^E8Dn6?Rj6GErm<7%0m<$uI?nDk(|I z{}=ew=ex4fTFk2uzwYn%lTH&viQco`Y7D1x@ZWeBhK(lKiHpdJVSva8sZUXH#M!F~ zNa8vStlfCe!i05-3r7S@e*Tdn9f!2gg0)&>7^9Qbm`0O~*=mIG#88+``q#@&cxXgy z%=+&Z-;Dj0UTdiY5Ly&$+X&0SB0DrR)RyuZOb1$8S_-uz{%|4!-kXr-c{HRDk*Oig?aK<=D=iNO2vqhIJI)+-_{CtFJRN>A(X{Ll?^xtjrnl0<7%KiA zB@lE3sQ4n$$kZ>2OPm!Rdb$on`1Buwx{+`Fx$ zn#9zmh@1N7&gueT+ax=Qz#W50ie;Qyl$u-yYcjFT(ITC5LPq>K z&9%M{(SOHb>Tm({gvJ75L%i$}1RthF=v9sI_wIsJv-0&pj^vjlVB>f`_YQ?MYwcbf z4Aa%TDdrk<$z?eE1W{rJIFJg5w}V8w`^B$&;9AJUNVDX-L$Yd8^YU(2E&vAK`ubF? zKT$8LaV4xC6`8+kAWMY$>4;O1}@OqO^)`|t*PJoSq*ur z88d{I^iNK&X6gvF15Hx#xC6ut_GX|Wv0M7~MJBT()z+x+d{PWQjY24nck zZWF;6I!W!z1q{HSLKH1@b^r_>C73qaDxK(2zz_2J4tg(1+}FoAv&DHu`HhX1mR2Do z>FMdI#WKD94vHNn zgK}c+K_G)lcNx;u)O5c%DVyN}4V=e6twvg1T@9C5&4F&Rf3T*R<_!5N*ggjdy8t&D z8qRJRY~Tltjg1MdfiVb^uTPIZXy-yL8#$1^eEAX(Htm4+aX5sC$xB=h*x2rC@hVUv;%i7J(et7$#m4u6s#+}P z$PzQw+sm3TITBi0eqZM+QTzDyFU(anCJTb&#cc-oEL3#{dW9H9WBJb5iShAc=KlWu zwC|j+l>EHPZQCfVrUHg}??VnUa(@A2@h7mB_19Tpo>stUR*@H+fc1d^wX_;1V8V!* z+A()0DJdx}@cqZ`!%2;%la2nq&f1_;YQzWSG49^c+}tcL>TxjO?o{nCYh($MOlZ&$ zE}TD8ZD$bB%mqI%-A6?ET;_eL$*XH?$ti-~FtL$sFV3+dolDkocf zTU035zz*yV!X|R=u6@0m^$9ql$9m`P!jFYR^ifig*Iy2kxh=Fj{;KSO>sqWS3)S?A zjN3f2D*Yk(ArQqwu@>kkQ!tjYF4EE!%f#feIr$_%8U|lV24Ez}#eNL508CeFHm4(bMfE|PZz39KVXfD(#P0x6DxXPu5Zi#{RAws|nZKM^O=&5Jk@?^5_jZ@Kh zPRB;FZ&Uae)^jJp7}2Gd0bCn5Qi&|*P9EN**fyIxsU`XKR~2>T2B)K!FY1qL`2Snv z0{IdC3ru$ft_u7YaGP4ILz*)!$OU|2{TB?4)jG&A`t&U3PEO%!=K)-{H&UHCTX$oP z_h!tl!ra^T8(z$%N@7G)!B>!+y2!xAG;gg9nkl<0_Z9}*C=e*yNLpNVZS4}D=G?%M zASKq2@h_q?r^{Nde=ct~zmOZ*_$1_4^<4ZjzRr#R+LQmYJOBIW??02ki1}ZHpZ?!o z{sqW_k-13{uWxSnGoH>lp&|D#y~Lr-l2Tc?wb6x{vA{N0FQNhk-FXM*8w>O*@+PK_ zVQ=M?mE$p);i7el(6fLl@iv^hLa19CRYv{dPO>f`bYN&Z|Lx_UhO87-D}Y@m1F^BX zx;ju6Q%Lp|6mXz!YwPPZa^wi+=jTHsBS*R(YUbU5^!d4jq<)rE+cKma#l|h^fIjof z%N<}sO;lPDK`4#%w81qB3><_30Gt#tDFv0d2)v760sAyP+K)_tCa-gR1bGBbyJpKR zfIzjW$;nSt;y%Uvvr|(BB^rezpdK{Ii2#tQ^3t{AWRpwlirxE^a~W6`h3|>`K z`MZ`Axb|q5s=PdnfIt!y!=H_f)N%V+i~<@}_4@sQ7#qNbnAB7y7>GMueiIx_Ktl2+ zKi|TrezOKye2$)aT?SWxtBih;1>h2cgEqCLIk%> zj>))0+i9*98I1PF5NN&H8~cQO>5nX7C3>3e@4bf>3{%zoes#~6y&}$BRA6x#fziSY zA(zz&$Xc@up27C7&OeYFG5QCwY`1G#XcWxK$b4`(Ae=ecIKxM zn~JX!6b?eY?eac*$NhJVzO`F{=WZ=QNl2K*?+erw{tCE9Bg)04F%7Aii;_~Leu;Jw zzwNKg>Y5rI$S2R97^YsK{*GTs-u6|RpMUWwVRg3E`4r^=z9{Lej_B!=ACD3r8b`xK zDbQccOh7wCY6s({6+o?Z>f-S;Q3ec$3GKq3^~a0*Nw^=FcPVrF$Be%=vp9zkrHGA< zZ4?yv=!cB=@3Yv|vx4d&e-v^D-$Casr7+*4N#Cn|s;W0{-jtWWG@Zk z2E-K6)7HboM}1_K3ziueBk?0jW{P$s|WZ(!i9+-|ONf-03uZMK+F9^m@loS*rFv+L^ zQw7GC&;XmpKX96cc);TS9T^!(eJX5BdP0VU{z;A(e&y;%!+wVeZ0lc`O|iM2ZFF~1 z!KA*QL!c!IN7ls1>v-A?tZwzsPX%F`0H(4QVY*e&oBV$36L&I*3Z5uB0~PeRL~6M_ zGQbXI0wG|jLPN_U=VtU@TKzwr|KEzfbEWf$`m2r8@s{ByEzTB(MRC@0#BW5!e7m5ckPI;Mp}uthzafYu|5!!(vy@4| F{{T#4SIYnZ literal 11674 zcma)i1yEJ(*Du{jhlKEgbeGZ{3IYd2kQ7lmMWpKh1`SGwfJmrxcc?T-Hv*E<-E|l5 z|C@X7H}l<@JL5U(xZUjiJZt^dFP>n8h6*7b4IT;#3gP{GirOeBsO<3PT^ua_<#K}9e;eE z497qj1=*zLPgq1%mA}Ev>(Avxo`5+OwM2@MA?aJ>VDtJOm7XcK6G<+sItz}x{ye&s zzh?MCV@6NfZFQCy%#i^Mc~o($88@1a!UCT{&VMf|#cChcSSBdemI%O$%7!~}7o%Nb z9ny9Da!;9H8`_NHEmM}$GK<2o% zX$L8bgFrtfJx=>|Lg$a$q%u$zz!(!JGC`tqphCBddrsw!Z_cyoHj9tm7LGA;zZ5S3 zVX!-rrXe{eD#3WmN}q8fT{p~SypTdbjyOm=y7F>=3;rKY)f$c=EAi)-M(B*#0)NR> zgY)EYw@ojsN0}qKMjCdvvA&`-uF@U7IW)SPWsOO~o>As9(6GhZYKevFQ^uTCE$*>_ zv>wO{z==U<)A?V@(lZhuGV*SwV)=Uiw9GHd%$9Dt+cb)~`_)DTA)`iypQTiHQ^&;4 ze}p}5{;1sARW=UEk^B!G(pHuhkFVhEr^hL^8F{uVyW|K4QCuU=sLdOaM4!#vOG_A; z*)vEp&<lP8CfOfe;`3>i)yDlZXtwsY{VPQh{Iw| z$lovP$zAm5?1*vW9bP(R$Wt~H2Y=9+1|#d9Aea5s z4M+^0q!<3?ahmcmO}ryT;4~oC7%p7OXp4~7C&f%bb=YZgwYk%I*;p{qA1@Lja;C^U zs3?b_O5ELADl0Y1zpaPdubGG*C1jLKx=)ND_dot($BMJS79lWSQ*Ft}Y^K9}9 zi|Hq0ajE5Hcc}bGySRqwT70%OS;pQ-k8#CjL_MO{A#1d=tq^_fI0hS z{HsLNb%Cf$&d#_`PuU%kc+k`)xzC0BUJd1HO`aaC<%~9C6VmK!YiqxccR1xLtQ&Az z9s1%KQ0jB$+PgE~)|i*ChxWT|EE2T#12g5MAKmU?V+l6~iX;*KKGv0d-zv@Z1| z>$$tTPmQWGh&rWT1(UJatYo{bjpR4Sa6GJ8$#$Hq$UprVOm@&&QCzIGHPbj_%79Bm zM0CE_E0e~Ls2J_bP&mM_TWKF(-)( zGVFiO&Mxt5^raT%;^GPj3?$TL{O2F!{=Q57J|&OA_QD6xBTBsjqd$MOe763Hh={tsYX`H{X#>seCdzQj4eak#ZEtV) zscC9xEWr+Wu87zS&7Lf$jjA>JT}c~OI*2@WJv-cZ@#00lnvCzcXgu%AZ^NN{!}vHJ z!_};r>X&bgYY8M!H>RqETwPr~SKi*BpM#?DTnVSWn{7Rqt+dHJGBV<_VT14+uXJR% zdGqFJV}YiO`o-zN!2sWrhVJ5LZTkbMDJeKO{B+E(;72{Tv|P)QIa@Dv_gJ}5CL<+% ze^j4_84)ZS8z_q#U`nk1=iDFfUyL)^2^pz1XEtufz9o&ymvI)=psL8QuA8lpplj5Sl zO;T6Y+_Lj!nX7-;*xEidD!@`&PuF?qQ%R7R>#0c25_!KSUAiQQ;y`1;VKqJ3U3_kC zuD|cLeR#-AgcJ`fS>_}1OGkgr{9w7ClI8NLt3FN)K0h&w(V@WX8Jb7F|EPP>i!%Ie z+|Dx5pw3_~S? z?u5jA(8)S&fnqA~SaQ20!qnrF-T4U07CNDSObK!B4!gvvM7lfn;~ws9j=RLd!xNr-*U|an^py@L#qc-1w!uL%DCoR=9xslU1E22; z+l}>oT1`nwG2%vw`&~*NZT_~sA(~u7(=7WepOt(e+cjMqGr>srVO@3;1)~}lLX7;* zDc-WlurZhP_Abu+0s6@t;u0W97C~dW9w;?kTmk5*ricnLcNSW!8gOUS3|- zb)9mKF|%Kv(6kSxS8;QSw9w1t%j!381<%Q_MY2v<&)i6zCqldL%)=8J6ok=mzN_}@ zqtsb?=GcUGrZS<;XhC>tD!t#u0o7=MF*7rBAhcDf?}ew$P;PV7KMFX6gyqLtvD@4F z0wIN84=@L4GLFX$tUCijm=PX(BO^^8CP=hz(F5|YVHtJzMO0znC$_353bM@9-z&En z{ySdER@iXLiHeHqnaNyk&;xjJe7zx;XIuC0-+ww$W}WxAI6zb8VkrIWX7k(%K7p*h zpF_~xc>zVpd|N{{Z{BU0m&V9Ya@X;`8^>u8)E+3-&Qd&qd&|9KBqYt37iTYAT`kU! zcTyzWB9uZYNyy2cJFQyS+xMvP)&I=XFBSDV>>ukW%t6#Vn2Vv?}6_S~L_yL*wxp2eq6pAg@MAEb)M z4(4d8DZ~q9WMt$SRqslWKRISu#Cc8C7@1COeQ93c8UGWpH)C*MmruW>KG4vLF2JsN zG_CwXgHOkF$VOzoHGF=e+*We0Tj*z7+x)7*X)0btMFqD(*}HFgg(a>V27ta&4Of?5 zUv<8i72Cg>Z9})kz!NX%v zhBEv8HNM?=2}|z=E(!?=Nu=#)2__mMuLt$i*7C6zdv>$MePu)&VmOsEveJcbofF)@lT6i!xh(n4-)B;T>0JKJjXb7?E7umJcFcAQSJ9WB_| zsGKoyF&zH#5ZleojfshgTFm+O=H{lb!<4AZ%;;$R6Tget>l(1?XQC0dlFc_DG81z5 z^!%jzEjTRf_CNn*=w#~P%c4&yc~~9N0WE6G=FWCcmoz&sbQON3lzf=1n;T~)Iu(gP zRsphyQt@GtE3{w{(vYvby&6Hf<8ojBV8_#zY>4(>5n(4s=2ox z0^E_gu8+xCS+N5vVez{>$r+!lHz>Ek!sNVrH~!UHOhU?=UCk6xWM!pW@yD>F_w*93 z{6Ka1({1z#`jBKz92@%uY;OX8O1q*BJC2u_r}A_(uu4g#R=->(y>(0D-aQ;LHVt9w zCk3|wSEKYxEne*Z)sjBnR*;vMe-{z4q=okJ!v_U3GbR*3o3G=O=}-%z5)v}ezN4Ma*xOAmfAkdggJ5O@}br(E1-*2J5RxO#7;Kxgj6CBm@G`uO;Gc6~jM4FT`XA}kE#FS*kd-wy4K)l~sP(Jxn=f3kvA7eX|uYsLh3&vV)o^frQ+q4IpAD;V(^Gf}t&Np3k z&2&m$qlB5unukp(DRiWyq+!Z91sFdOV{5EUGX9wC4hbXHIsRDcAMscn_%ctdt#k2< zEP9g8MPfp_Pxh9>mo5%QpX{%X3(XX?l2_H%uDzaWfQIurTz}g8Q3^U1Zu!1(={b9t z=QN*hbNF}6`wt#0z{8A9(A>%R_M}l-%5%R@txziy3k7KC{A_ceg|#C#HnyFe9pVd~ z)vx;b^<$jB&KdCy=DaqA@hBMbx4e zfFjWNyf?d_;3>7FHC6Q@P{ej*A(>oMOzdWTe>hLd~}7)wmM&l8rG9jy+38?Szu(_F{)(LDfa>HGKZ?US7F z>Ur9@Lof(&aB(>n46;pqA3Pv{JBzq~^u0J;tW>k6<3Bw+lW_@(YXcSy{Gd8R`wMHj z-65aaY9@CS?SyJNmTQJ+)47aGT^c!gt}!M5-?19tLdlQs&HjQm5p-RD92i@_=-3io&VA|&C>FM0^vgPg`pJBxV z%@kOT?V}?$ZtgJGjfus`IaP&e@-66CqiW~Zz{GEo7XcX<1SlzW-1-908$Iz7rc$oX z*E@^ERi$@2eWiZCsq&wj-8H;bVyPFvnh<@sF)8$7PEq>meDAz%Kv!2c=O;UmeL01>ms!mGTcT&99Go8uzO#dvBq1 z7x#NXJ$s)lqPIm5(%!iZ4;mE}<=xCr;jtVV9&SF<;G?`ZKQ}j4_2QX%Bc>6O(7*EV zihF~dLsx>)bKxNq3A+#(Kf4h|5(69?PTl|sDK%>eF^haKQRC}g?2k==cNdTDMX-!OT|(nD1huPdI|1QhNj~|B$pQM3~rcHIOKUqqSJTs|PiKZIcBiQC6&+H-n2hBVK=rj-lRlD=i za$7w!GqbUxr|4%#TRE@RMl8N8Lrd)DJb@Zvm8y)7*SoY>D1ku{`1$kgl+@Jlh=iU4 z;--M2emtEo=xpyYvR|9o+Z%IsJ$H0;ta00lP|kb`-K|tn;n0^ZS8Vk9nvG3XI?k`H zB|EA+aCUM9bpJ5>TU}K}ZYyAtuN%K&u`I|$MW*zsSQweKwzVZ=wla|Q3Bk(9$%$ua zX?eIl{sYh`bU%^TxQ6)FEtAjB^zsc_-m|C`m6Vt*v_}ujVjhFOOqBExG_0_D3Y-2Q zNjR9n_qf?^@nCC)!O!o?N79MOlH~COc`pY@um;iEL(F-=&0S#LLLR%%LHcWej#s}U zCFXt14+Bpzv!D3pO?_6cOYUIkSrEx5$Mcb0pXzpfJ>?Z&GO~(Ox-+e8= zvd>C*AC$aeYiNz#R8@2Yy~O+2SS8S&HwB-+6E0&!V~Gj#yWC5IX2XwFZ3)69`wIlM z!T8aO_V#vDSgxSgucM=*<$%g1Nc+@a?2s#_2Wh*Y+1j>-)3!k^!W3lT<&DTzPhM(k z^&$rWWDfoZP&t6BrF7kI9(z4^Pu5F&!=yJzgFZ1@V987W`SVBeVt>$kr-h16(miUt z)KbXn(C(w}sdbI(hH5A!56JYU*48&+VFVg!(ml|c_|?Ddr>X=1N*&BA(MdVK$nsF% zbudzg6?Ce0S;_#e!EIC(1*BWIz^LPT5P0m~X4CxW{THVj_~fXGm%8I#9zq}iwn9Ka zV2hQ7#h4f=$dKcCu=+}_Ci%o;B`e+?KJA^IOyD`pw?$sF5{Id(=2Qu{>v02>mkr9L z%zm;0fkBor_h)M>GA(V!LPn;MK<#VggPowabL;C5ax_x^4t*g*flZqSEbdN|xhg)1 zxa%-gR8?NmX=cNW#zLMrHDz?ienQdHQ#_vU$(_~c!2$laXH?C??Pf^C^TW;GYCsok z%9B9j8D18a=JSB7Kza3^B!)5ln6vj8*a-wQ!tI|Ni66GDkUhtsIB&*gD3kWw&o!zR zWEByK4GIc6zXHF(ZkJd);N)FoWDZcwXm;sFrSxvaG1#_AunO*Z8r>{?F|S-Ni|!Ha z@;anf?}<-KODI)aCI%ZZlJpiIL2y4TJW#s`;fU)hVSrZ?q@L%KkVpmsrHYQrgphBc zky_Mp`eT&qGBk8DGd+~Vq`AY13+kOiH-^N}&=BZJIN&49SKsYW3wz^s^abdC7#SHb zN(S0v-+q;q>_Z(x4?=PC7i+q`F%zquu5s6@Z`LeT{8e36BzYt}Eg2=HE;rKI$;lK3 z?1|i6iC3$N^73fF%7FGt$WVW;d9_9@?OoMU-T^D#@#|N`-?fQ)FE?)=9|n)9hniAK z78XmzwQgHU@{-cZ!DE8xR)pP3xI72Z94#HBm^PO%X6lQhno=on!Leg{_59gjEj*rp z^TIuGm%k{o(6-h9twI*vra#^gf=V2kv->mxK*mtmr)>>mCAwg(&SMYpMW_Da{QOr^ z`j{VjPMM!0<}`*j@&YsB1)2%gS5y_`Os8S`M>I5q_bop{I*zDO40qZDM(w9!*OW96 zn`n2lc1zH-2_>*`+Qh`_{pSW<6`BEFIVB5CdKg?&n&B| z|1U`zw0Yzf;(H#SeDEzv;y&^m#)r5uWPL;lXx$^f6uijW83^mxE9=aQL4rzO9zPRz z+qBzHpnBpRosd91QebRbj3(l~ZAx>;&Pwambgi4C2cAwt1v)k|ReWX8{|cqH{OSmW z*ILDJh9U>$VR*+GI#-#W8;T3tA-#XSbC)4yb8|BhMUEuRU55vXib2AU7n^BVHh=eu z&n@KoRHB-2MERmu5gf;TW_%d+IrZ5c3=@<&yoF(mq|BdYRNOe4n!QX6hQRKvi#nM# zgpiBm5!7@j3$HO&GgIdlwa|01>DV2fW+%dF*OCDEL%bIw}+M7~8CS4a460%QC zO;w{P(rNy}kb-iK{5X;L{-00f4{MKiY2+6BF~=~bMiZy$Q3oD4UGkx! zp(* z(}`wZG=AJCk}G;V@anP`Ev$uw7L`t3Kn%?)sATFP_XGRflUP@3Y9dLZvVM&dBQ45b zcREBUxuXH;oz9P6(9zMMw0Cr5fWCntie6+h%n26jYtZtXu_3_NCo1gK04`Cgoc^G} zgn_+4<>E3Y-lLW|NeMEuFW}_2DMhV`JHoLcEy8#wAB=j1+lOEE+6=o`p{B+(7>3vX zuK+LK-IJ1%()u>6sI2@xDoXYPtNN|wrHO!Dox%@?!_lNkG>Ol?b?I(!MLvj8c^_a} z{9kffz^ae2uD*T+Fh1iPq{GgHZJ~hQr8gQn`oVgek+HD{Y{m6#12ye2mE86G77I_$ z@6Irfy(J!eqWG#*wA*ZKfK#o4gv|?o{xpNhLb#Nbl||t>YTg`xsi>k7uV$#EqB025 zQMzedko}jgM5v9)IL7Kg7hj{daTpq=Ka3{l%_%V$h#(!Y+9Db5dL=^J3b7-qtE*3F zzY#8`iM~Jsj_}caF4)=n8+gt9&sxKn6UHX}Nu0IfUb>~f{$$7$H$bs~ToO3qlPZkAarbtk@-w2Q+&JUj$n zq_FRy2yo5mdas*z9q1swc-k6vlTO05`!+MXG18#Q=^ur+H$+4+yE{7mfqCig@83D$ zGlzUCZhe3x^50{}U)7SOP++(d|Dz_NN&96=6hjDn(*x!pD?59xyf<5{YS!|5YDOWU568#ubMy1p&1!smg zOcJq8dX7H+28OoRq!UeL#PK4$ct4U&*oRMS`V!2-uF!opbGqK|=Z1|tI6GMNu zz!>{tSXrPn>;s<7IT*2T{DSG|_3PXPU~?7?RKRV3w}p%$t=SvOR$f5?myj?^nQ&1W z7Rcrch7HUqs10)GS4R9YPE;3$oc?Qaqj zHy!WH!^GVF^W(m{I_6)(6ps0>LDFNsS<`#ZkPPL_Irfr8(mC81ocJwzF<+_@M{$$x z*xP8`^_V9A+rgGrCb|_40@rN+Z~qDY0;b1usvDFc$B{Vi<04tj6d>p;z>L7q`7t_r z*Dv(Gb$jxhG3YgLX86J22t=!Zl#NEjMlqK2w3J3hMn?MdZ>D@^6&N5H{Z=6xqrZE4 z^6wqVBRSklg10(U`l(x#LJLGMG`Uo{Jl^Gy;YzSbz6Ucz(C5_UQ)cGg=m6}6``Jb% z;VCB{s9OCWcW1oOuZ^BwsUtdg4rYFS;)jKLOSlL-yS(Op0~22(qm+LBCs3wg)B;Rb ze!zzZvea%0m<6@uYf1;KvYXufW_#86#>|EoKZSdMsCLR%UhD6*pJzqj{}WCT2wk5A zKq6D5eUgCVLCL%c4OOciwFUpB`=b;sA79})hY{>ix30-F4yT|XDePY6$;0di9J}xA zcNaR!Y=%RC%1UV%x8gny-Tk?#lFx4cIU#f(xK?y=Wo3?eR~$vQ^m1>SB}6pTN*V*P)^Kz+3n`$jbsu!%Ixgnfp?|^CpD&FsaR% ze$&nO<+9ph(lG&#wdpN`Z#y8Sk%hpCq@?6MRn_lMwWhxA?xMh#mBdFa(?GE<^;~Ni z5XVq6X)u3EhbCuc(l{S|wNseM`A`j{gEL%Ie-39g84SKoY%)7}@>_vvE6#Z2tD6qq zhWc7L^$^I-w?{KWkhB9n>igv6t_Gho_oLr#J=)71AJ{;H|9tA}>+2UIN0!*_te5Q` zfM~tV!czR~?HmnoZ~K!KaI`X*mC`XXQg#jwdZ^g{kYqlG!v@5P=@3%idWrn%y1Q`y zsJr_?wQ~T1U|?`CI5P6+=l8f*-0JDsDvF8(A)%okZn5FCq&v!*i&8g1km|Lf<^I+7*j)cD1(K9g3Q%s~I!QwmZ}0C9h5j}hPI2}hd!`qF+;Kxd|y1vJUU=JD)i|Cd& zNqg~U&#s4(|Ml?yz5$XHUIWS5oel=L%h_W5lZETB5A0I_NUIyOJZR?9AAthve3ocv)9Q^Yc<`><+{GmgE*I7Y*-2RO4n(vn{!rlTg99r_X+5FzbYoBN(v0M*;qZ3 z<{v+vu{dSMoxa56 zbdpt>$VxgD%6>$58jktTGPkr49%C1&v(+cNVzB)Cp#6xm%Wn~J!dN%1gG$85^BcKH zHoVV-SR)BFj61m;IPx#5F(05vV^N}LqFI&~s`4N-9mY#qzFlX&xmpS}!Hne55U3YH zc#-2DDqDf8A%=ZSW9~R(fX5f7H^DJo1vdG?1;i4c+h94V@7Pg;yLN%=-WilrA8eN5 z(Q9-NC&DgA%*p+~JX?`LO(pN z_VjVW#JAZpb?f>OiCh|Z?mfJUDEuJ6fWe8tP9ZhluKS z^CGNp9ZXFO42+*>;fm?qD)TZ|=cT_OOvt)^HBrxfcF;zb{@<=so@v01;&Zv zLddvmP5V^-Y#|Gp>u>b)gJ|)B#i`}}s=aykUISVl_6;=FM;~BXE1_@QkB5uE+)Fw+ zIbliOj%jETm=#2*T!+f-b!sh!@wrg?v((S z!nLcm2?RCzy6sE>=x(#JwlXHa#{93s|4+?B;TKsUJ6)WeYt|MPZtH0fhafXEnE`Ix zw9Mx93F0V+&CfqddD%tP11fL>Iner|lmDQOO7s6bQMP;5A{bDvG~vGcFTtyYsdF$O zLPJ>T@LSNGS5HqbFaJP9oQo?IJf*d)$;ruQRu^jdx*rk~t&0dCj0#+7?R0W+`Ptko z$0r4;h=kkb-z-CYeV`l`MPXnT(GrwzE-VDq*VmhPYG~YW+nOG}qA0Cs9UdMYJ80@V zaC-5gd1R!b-F$3fVs38EtSAgzjKGygUv-*Wm1UCLTwU+LG~jY(@EAMba$tA?A%1^< z|81WIF!C0bmXgXN-^nH>fX7_{+^f>W6Al^Zzy;t;L!_i@TyD1=^XH#`fNNN=yl4A82=~Zq|8GW)5qLi(iFfRiQXM>@ z0!3slkLRTn%)ua)_?(lo7E3};pE{VKfL;H1i%U1J$hgQ9Y0|iNaPX+@=g$S|nqmpp z^}klR>tkbMDVC5;6oz5qQ;xN^w5-IEP*dk7NqJRFAJo2>fAi?xy?4#hCBT5ZKmmLD zJU`uEafM?U!)wgIsdd5`WK0Ufz??E9qULWhWq>H5yP|Z^))ia^dp|HY>!k&sw?|FM z1!67Ih(;cOXS+d&Q*8kR?#RyGeprz8p*vibMRJt7$<_1V zsJig*+%H&mCCq@ZF2t*D_?b3VY&roK$B(?x!tZ!7E$TbFadF+=bun7SolzAcjyEYN zJwn+2)5!n5oBze9|MPW?RAAKnUswM3%XLWYvT!*mHc+VWuWnfS<2!RGr3bY|K2DE* z?e`Y9iMu+63Gw||Cm1H?!U3vEEO3g3_O3&F3)zE!YM=M`Ec0~fu;fFJX}}KjKt*Zo zGSA~r_{~<$4HFIVl;paH|1Ug%^I{~|aLQwb%|adwT;W%mOe6?bI5`6rFGS8xZf-fs z;WSY5*Wzq_V*`It?~67jOh#*2IcVsUD%TAfne%P*KrF)Vlat9&QN+4=kDL25RZ#C~ zYAyp`F$LM>?&UQIk#-#4lV3=5GdwmO$)AW)Gi@7%9?*=|C_R7$giDY`8KPV17Mk$9 zNs5#)%jMAFhS=cshYw_MN<%2g(cWGi=oFXPfni6<8*uX4Vt_r|V2}=LY?OhB-17v? zI7lnz*4ETOH*%?#+oCcfGn<5D3ykh}$@!`WF_k*bNISoLi3=xt68zT31Rx>$3w+x{ zZ`h=^o1YkGVM-9X4%iQhqkCVOKN0n>B=tDC139#P%9J6y`A_=0k zQjijX%-kUQGS?nj%;Ba}@uOHhWAsDcE-;cJVOJQ!Ziuod;2(?G4+Ook1f1PveJmO} z*M#p$zV7_WinY_l3Y@$6+1l!SdG3*ypT7bci z6OfaoE7{vEYeKOWE05bl;Cp#uNtg~gN0VTQLCRAH-3oflnB6!_+ZyDlaO1^cvT|m> z)%*AFg`rcEz!!}j>YjaO`qrom??5m)5m~K_uq>y)pZj>9YwaKh#Oce`Ar712uUXur z<#rvpTAA)w7e_ZG-T49BTk=&|iBZaiBho!l3zQ@3Z+PQReNc1MbCtm?yZn@2sRz0!uC_W&*w-~g7{ z4Yl2xiSs@2hfx&b-&r2xK($D|S5LkZot$jDzcK|&dS6YAYhbVzf-)x%nsL0wHW6P< z@|d!s?LOh(Ms31XhL3>CsjpI3h*Od%$wF4-!AY7^H#Q=~p_WF2U3=uh*}_H9KPiUdi4LXV>0^hBC9WzXNj|s=j4+ zu?v(0-`dv{rNcRW@?Be|gjmQ=ARp0y*#yM(WQAgA5(!A6!wME^wbxOBa1i7F#8Lkx zs{hsX%_;Bbbyz;bI0Ra3pp#l?T+2$OfuWj9U{vR>MI%>)^HW7*aZaqM<9p)|hJ^l> hJm4mb - + @@ -51,120 +51,139 @@ - + + + + + + + - + - + - + - - - - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + + + + + + + + + + + + + + + - + - + - + + + + + + + + + + + + + + + + + + - + - + - + - - - - - - - - - - - - + + + + + + - + - - + - - + + + + + - + - + - - - - - - - - - - - - + diff --git a/tikz/figs/mixed_h2_hinf_synthesis.pdf b/tikz/figs/mixed_h2_hinf_synthesis.pdf index 74d0fa54fbc4763cd72921591630a0e4dbf21422..18fad4874bf19f84ed81ded0ee0630b8814dcda5 100644 GIT binary patch delta 7852 zcmaiYRaBG#+bt%GLr(%{L5WJ}!ZH6BK4(LQml*TPuFoUG?wjp@Is2dMY321}aTt zy3N1MiHyJYDK>$iTYsRl`*&3Ztg6bkg!`%}`G8Zp)(2CT`7>7VYeSf#936h<+=p<^ zYSmXlRmJDn?q`3_nWBTisUL$=53H{SMKX-qwH!So>k?S+H6o{P&)3lz67O$`clP3e zYesT{bS8z-I3hi!QZeYus3Jum#+K1~c(LjPTa=X+9C&#cFV`{f%6c)lkBedpSaSQt z9ZSp9DM*>>!8xsk=Y#coClA}OK3bJiwHqFIL#I%oxV7u8#s#{(th|3N?|ykqPyUFU zgtF-k?a=L`K>?%T1{DS zIhttX%g^$Aok6a7d~=sA?_}%QjK6->@Vx$$w|>RrZK3;4e2t!0`6q%QFeaj5pG|O0 z8?9B1auM^ZNGKJI<;vH+Lc7i|S&CIb3HP1E_-9TgX#W1-O! zS}x(xU%F3`Ps#v2xm__W=`F*R<1*P)CzwLk;T9a2${2KH^C0Znn-UFd&V|I`o>^i- z{Fh?XxMXZjh>(b3@8Aa$|KQ#S9~eB;~R*&bik8`vrwp-)JsH>$^G5m)}`Ft4u+XoDL}6=r+>llN;9<-S|DS@ND35B^{Dru@y;gnn{U|=q<{GvF8yD!A)U)} ziTDaPjtCGY(waAm@D7?iF116lxM(6~iK&avi;EMBEa`D|=F!hGc&R4k(aS1fuX^lF zWpBTN<=JV!_q7{q`O z&A(><<^E+Vnq9H=rI%w8!%sHywLb+|8!=NCWe4#Zf?Z@CJ}FrtQb!b_S%eky?Jw&| z`|qcTOA9GM(m2Ff85$4MpF1mx6*Rt6a#Tup6i&v<_hU)9{03uO+1_h5vLA z2H7=vH)x4f(~ppT##VrcOfH{ZfjvgKFdb3)YnG?2Punq~u>ZG*Acl}7S7)Hxv|>IC zv_`~ejH4nc7#g`sL75zg-1ZRvrd$%!G_`(#+&Is#{S8~h{05O~$a|*V6{Kh*#fbT6 z%s~y=pOz(`0RlkPh|2JXJ#qAANt#|FW%?AnPBy%|pVAE>1+IG;u@4^XK@H5)!Wo;! zc((-Y-fq6Vb3pJT%pRy0qI2_yWDKlUK)tQ3{E36kzc_g^J4VNAbAjTnF0N!XYK-TD zGdjHgh!17GzTsQ>LkBEu*%_3OwBBOyT+ed(8Vt0MeOvQ z0xy znGpY3PZPk=-GBE{VgRFq>Dzn-OXb$RkYM#+i-!xy0SXlkC^5O~T)v8dW&Qk36}IiK zbY`)sPqO1*T>5I~>tSzhx|si=mt9j_AH}eijy}mdVOa_PP%R&oUIhC?{GGn2Y92PJ zB=o7!XUjh_$_!#Z?3|^Am@Dq%HFbDsWl}lxrpf|q6&#dBg38I%Rq$P5D9={@+)_kR z`5c+s8?^@crZFN+qenCtzJZtDhS@*b7TQvcfaJQ8&5S;-Qt!RD2iu(%YHUU z^RJx8b}*Rn&9sZN|d{51BksC zK6U{V>YL4p>Wxg6gx>rjF{H%lYK+Qz*D)^}Y}4V>fR(=8UJ_OdD99vVqLNzDMrQoW zyN!BO5)n+zDa2}pW)?EwtWbtMV>QKV#Xhx0`^oq^bujrZ*E)e4=jL6LkLfJw21dXZ zDcKr}X<>Jz@}+mHP*Bb=+g@W@B52x&dle`YQ0$8C2{}8WRiFHq2sUc|dB0@)7sZYP z+akGZ{>W*>-@u(YBo0L%RlobM^}vo0$(H8M>g(X9=!?|zu5YKcWAz{B*AM_#0wV7MJ@`>7-#|V z2xI1nr~IEuaBlz1Tj?ddi3J~N#gr5c#o3n)ux2eE0AWTkoUnCJ-NS_-A^DzqY{{ZU7fsmn+0H#XOI)>bSI2s=1%^8`PK zd}NeTvtg(6avbKgc~=|J22^3XT8}D|GfL)w^J|Zg0ylE1)0KNj6{C$Flo=10p+lh< z6XFTJxNX+c`CLXVK8?jHLFxlYZ-m?(J8=%&gjcvi=9a`XBti9DOjNwXoyQstn}mrDVglr&Kn#zo(_rTTB;J82djznvYmOQLiu zim*4W;%2@}v(HfNGx^H&FgQfjJv6A7B{|;_FrqS^EzXAFpg)#3+jJw)+i96&Jaz zo9YpVr*P>8u+YIj&@&u}`!@j>j3DGU6O;2vrjWDne!Ku(^c zMvdrf7{~Zc(0x6b+aFPcH(?>pWO*!4$bwjLWcP|u*hHH;1#Jj95g4CD(p6%@!*hej zEl@!H{Wj|1X-58}u>k-nb_~MK+fas@Hf|S9a8o>9zchwsKO&_JLOzcU(M~WZAl969 zly*ktSvk@kC3oxtnF|^Z=}T24XzOn#C$v!S}KgNU*nP~%W{4uxx08$ zq@H8W`daxM>ffmXz-W@TWr|iqPc68!Nn)Bn*%1$I{7`2EW}cXQyQJ zXZO!XsK5(5Eb9Yo*Ggd6iK+JBPaTBuNci-zy%=HWj5GxSm(F`t((9Blf!0!M46)fr418~g_bUm^n`BOQ3CY}fMW0iGp;(zm%v zN__fA$P^*S6Z3yZA?O&I4rxINd{FjxWj~_^9Do6EBPQJ!9Y*9^99wk8r%Pn03n|Ny ze^<|YdjIjPhbcw%r#dx6Mw#DE#`^~-w3MNyADRlpPAI9Q!~*9!@U%;AkPr9>-;dzY zCcedx4B7+;|3p${AQ~_Rn42c*I+*+#%NhSOe6IUYPOM!ixl+ydaozlgH>Rf+T?idN z?(SZYgWjD|jjf(xx1aWOXMen#Xq|}bwd~n3Ph5;kwgZH`xG20_*23*ypYPD;5%43I zLbmc-U8>P!nfn{A3V+muB+--}es?X1?sBfo?cWe!D;s8D-5CnnLwz#0ZnAeQ;Sw-E zJ>v>qyJdJ4wFw=Rh~x!sBL+^)-GCbC5z46X(_uy2qr@iN-Nzi6Zkg?A`@NeV3=KVv zqR(mZ5viTygcvTDspm zS7VLjrrZ!m zY{ZHuIt8x(^S2H^)0%Sa;;EtP5zP7h6CBtC4ms7l43372M+IzB!ecsT_-GsaCF&^J zQos6e$%@*2J93guxuIInj^6C7Nym(T@4!TUj0F*;%#2_-5YHIh0*`;}i2Cw7kypoK z)vdE5HNBvi(g{{{Y#2QAS;g0XH!E!t7YlUf8I^LpOwH#bx^Rq}Warrj2VowJbpp+z zBtmEQw(X_ol^16h5(@@b1V6N+S2yZ|o9{K^-kmW#c6Ur;H($ zg;^{56qYxqqD$wgZoNkvQPWUs)$Q8UNC1iD?tfJ`H$+$j{1-3Ec~FhRV%Sj@EWb(O1JzlZ z@0u^N8yEb~NI}y}FQs4KOAy~$)^EbA6Q@2fC7s&$FNG*6Y$rhX4m&_ zGUupeL_JvTYGPX@P^n{Ip(AxzZbG37qNU3umKD(Ne97IIkMqWMxJ~)YdV1vkYWKN^ zFi_p;)>$()0N%PR*!mnQ6+#xOC?ZFO?Nn@}$eLTd06P$=vG;BoOndaewQX3GICYgn z?OVHLT2*XW)jm&xv4)vh0TXNe?!raoX@TcsY?CrB0tOe{*5gM$3H(wXCs%_ovTSv} z{Brps9M2UiRZ?wEp$~bg>x*;YI}#mU@;zE1je7HZ#7_w@2dEjBmeXzV!iv1QVobX% zDOz`}evNl(vCyfHg`M`MDEZ$m#_%)eBShJ8v#sqFv-EWikJLjupsrDA=|zdxO)YsE zF?W2LF!Pa#n;>uKwKqMZI5VT^`d-a}f`E6TBGem0RA)S;&q_|Tnz0%8vEy5t__8^r z*s{s|L~#DpVN|JEs^LP>o&^`1m*Hv4xnEwiSIN=of%|!T`?0EfwW2EZrY6IgpIW11 zxt;6ga!EP7t#f$=@Fbe8DsohD{A-+@K>6J%_gg^X#JGE4+EBd*AL^hG;hsUcJKL$- zf~gUEm7a)L62IxqMbS5t=D5lTh-l(LCFk{>u6EO-r+cvU8Kv6o7;bqIyNG(S9=u1; zboUVFwYj4qY~?#~g?!y-fXV!|nzR*i*TM_s`kY|qaESaU+Dt>(A+(lx%4(zc&v z!LMnDN_L=>MiAAa_3tOPaM#pBXYQ3%L8Mz)w}h2UBg zq?}STD~>v>8gjE%_?sP>K`-bW|6%HHI$Clz+r`+mCvlrqKSUL*I`wuXXMjV{?^hAWlk z*FGCm-w7?Hv{gdQ)Ofu0ZxfGp_$Cq>t9eMMIE_>f{iymKGOXdfe%B?ppy`{y+zasq z{j;ixX$WT5VHWAqZxab#;4iV9#cR@`h{?0HgW*~1x>3y1{INx!Q-`qWrPM-0iFA0N z+M7IJjYP(`R*Q;U`D*Q>!`ivv)XcHsek^4({98VOQH&i2>^n9)KQNsD-8ginGRj)$ z(Lg)8b(`fUG2=~cz|FTiN}U>^F|zLHE}@g^+howm1UFCabni?~aN13Q*H7+4B~+IL+B${b%tuKJ0^}J&VJU@o=a^Yd`5kJ z#rd?EqYV=9L5iHNxGOLC>iJT+njwqjGsYzXRq5(YX8W{#@UHanG1gtObTKe%m|??w zspfTzhwE5ypO97|=si>W9CkA{#&q}9FG0s{S5($;WU)rXFOvdznEX|X8xy=t3RSlZZ{NlBjFn4@G;{o}?Z(Hpy8!F2MK68_U^^g51c9saHq%QqI{%XNBim%SGT4 zy=9sLokcr!e#cjwuEy&JJeS{zYPWGHDnl$s8#;Vl%O*L+otKhQQ~ioYVj7z};Ii)x z)37S_IQJ?k9g~&Wu{-Ee$>oSCBlB^fX7VE_0CV9O8QTsr17wlCLVT49B2wVywVo>vy6XhP~LDBch~rHtm?1| ztunfbt)G0H5Pq<$ujVi~XW`}M%8jMQix-3FDqX=ZE-cN=pI&;urR2?j!S zc}YJTzxVEld49||s=YwA-`)U^4iPBbxqa2j)-W)b<#qV{14*|OjQRXQTEB5Q7P}y* zS2nJ$m!PddGa`ZM)SjMwq{LrNmJvMrJETIO#lt*M@POV5MNwfAQ<)jipDSoVFBpaL z=>-xH%sZ2fdL_&Y+Dnqr(tnXV0AH%-Yvl4JWysk~JC0Ith(k$!(~QcG_7N8JMHS^l z*?E5M^+JbYO7(yXn0rvf@_3l}WkFCoH93V1e2`=gs|bc%TwW;m{d+kg3V+&Q^n;Sl z5Nc1Q18WSnf|{1b6Agfbn{M3mJ-OpwzRUWRt+q9r>2$%M#~QG5cGt%QC)KXm&g0uj z>Ih4P2gpO=8k_36WBzg{=Q33rAz6CA7MQ3?r(>o4Y~l2+IQ{SDj|Y6^-<#t@$kqy+ zuYCgF3orVV6%!-iyM5rEh&y)C|0wrx%icLgtns$GhJOZ_BrXG1)}%sx!@!|wlHe!J zaGXrDrqcUY#5OQj$hXsUtV#px^-WxGXQwrLo-Z8h?g6lUoju1^`(I=Ci}hZvC2mXCCRSkG zk9I>w#9ybD*E-fAE(3c%hZ*IceO+WeWn~jq)&-27^Z=57nDR}o8)CDQ;Ac4tY)?Ke z33}0E$KPw$;M$^Kxy%b_LId~gCT2dNIO)bVaZ*)iN<^u7%5ZsE-NHMqb)@^J`m&O- zfxQIs2Z@|H>iHy9|G34jX!Da2$bE*Dj)#wk=0em)e6C6R-us-kGa?#1(8@y!`=4xQ z<(JZDZ6J!0uM2M%w=zA{@R-*?VvB|o|GV4vjCXb~ZnEJJTV4Z)>}n_9X#k6ct_vUFAkH<3%Xbm~xJSgShvViASFN5nIn@6ad}2^PD{~EN4McLkq7XmO{&w{=PXm zdfWhZ?%5>D0|9afcM9flZ*X-FwoU*xEsHe^Sg7~( zCa~DU;T*ugreE=a9D>2Z)ocFKo9ZygiHVLlx~*Y3TUP$iq%uCgQDxlQ zo)_GpW@ldj@~08G_Y>1ZP4L&R7U7-7yD@D4f?rA zWjg`8wNUxk(`$g|``6bmShKkAn`L82u7JzHXQ7XyQ&&XM60lQT zsD#_hDM59v%zg7SeC(a-;cl9z7k{$VYt_N}Uf>5m2$A3UBp@#KjQXr{aeXwxu!`O1 z@fp<|EsBrjqDWLK<^fi0ReTtZFHFWb8m{1i>k;@uSYLx#e~0ExGE5^6J25pSHe8u` zK1PqRLJezGFm+DT(dTnCGwqwm1e%WQJmOMF%JH6V4ouIRQp+y4xSMr7Q4`5vo~xqvR${TX+&vrFW0LL&DG|5QEFoRRELa;9NfkdD>8}K7tWjz zFTFavL=2oJHe3@St@ska633&(@^?<(2Gt3H*E7~m@{?w7cm!2CwKmPqO_12{k*Sr1 zKMvUdOOlK{<-MTM)SFp4x6jnWyc^GKLQG7(3LoDv%_Bf;hSEazv+q@ua^A))R-_IV zeI0IMTY^b?ZwVX9#w^}jqHt6ouGYzLBXe*>3V+0Rv8CGBJO5>=-FJ$?kGQN~CZS{~S!c9CQKj9<1i!I>x7v)d)d15y3`&C+{rHqm&T;_2lI3cnLwz)1CJku(2(P9872D?*gKv%~V&&tMZbU-rG%f2U7} i|BD<=Z82TlOkCVNU2rWdF$D#9gak1e7-UuDF#iu%TWgO1 delta 6760 zcmai&Wl+=)^shmXSVTIdTR>o8*`>R?L{eZ`x+Rv9uSj=GcXuP*f^@ei-2&3h{ms2| z|8w8nmuKd@ICIX-=REUlETE51pw}2;qw&IE31;YQz?gw@3>80q=SlS`LE!SuqkwZ* zzcdwoc|||{7BLOMFoQpO+|8x$cGHN5`t|sD1%$45yy(omg~lXlY zV^%N%8G{5ug_%2xXuCE-8U(%mX~y1kJ`@1Sf|vf`y3N^GXe^uxu_# zF0r3LtV2!Sb5UawRF){@&(nkcuMS&F8&NHSbR&c#82?TqN^*j|ZWP;Zx9-*di233ekxK4Z zYxmHTp|&Dq@<0da;h%cxgO{sH5H)ZYJK0nq92CICp*;*o`CMC{lfX_Pz+1IFYxxdV zS%~d^y^R)Px=HoI`Ol^{WBUa@tyo~2 zC=Kt%sSJvm9&n@HZwTiVCXRvXi41(6=hs0?x_H#kH^n4H?CY>Bw;a8WZ=d70@+t+y z-mRA2x~>Vm^E;&&}_kQ6B9>n-?3~f45y*cIRDDm;|9r% zo>W1zs9%x&gr!k^PF3h6Bwf~chXK*X7q4RuB0t5r#BwPpTq*sKG$w1b*w_EIOy^!F zGhQ@iQ2LdIwDM~mqQ25U?Y3g4Ur_|O%F05JVVtO^)REgeFKf2g7^jpX5MLv^XcKo|^E=+w-&J^JZ)1&7Vc zc}P8hykeemY8-H;_%JSmglM>awyh+WR0d^kx@|S&ryFZe+U1b9MlHBr=66 zs6_?rW0w0sWhsQ&Cmzda1KisajSGr%MWQ+(i`fy33W2Q<@5TAiMrnc&yxE^zV$_}C zEp)y+Y`&jcGEdz@vM9Rhcm&$;gX+J}n&=f-fELfG)AIQBV;w_oasJf`p+EWTNAjAT zUU3F=9(7ymPQP?u_Kpmq5Uv7>Y#qW&Y~Yq2(aDE|B1`rMQcbO;LM{$}ODh~tZyNI9 z0w4T`IrIQy=_ob1*e_)xn8-mB2o#(}ch z3tR=3ACeDdgy!$FMaR4FXLOQ?=l0lEC+KW@g;l34kD~a<*@kBir4uFjY-1zXM1E6M8nnivMgJS+ zHJIIHaQjS@x9M$^+2V=fO9GR{_-|F)q3S+lt}4an0ZcRdmabc2I6fhN#1#40 z`7qv!nf+c4_yJey*%OO7S8Wy`-@(Pgp}kvc=B6%I!Jn4hKI8ms%<&0J`W6Q?RF*jN zrBl|bMkh+FH3~T4oVyqvn5K*6@s|h1OIAlm%LS7*vE&l|AQ~=C!Jv{^D&N9%Foyho zRZko-LagJf+nrA0`+2j!{ieXRL2hu0_aKiU~Xu9!e6*?)* z(+Vo|T;x!Lu5p-p8@d=+6X+g>A}H;9^QB-OdmZXw5*sb!8z`w3fKi#GD| zd2SBJ76V8R>V7gaZtZMx7fdkwauu?$Loz2(*!jHF0zvyX{4ajzIe+2x8{^{7UwjQ( zwXHtEUYlmLozL*?9)FuTw>f^r8O^Pl*-OB=#aCLMvs-X{nlvc4AbGG@%$NEm9mVR{ z7jt)Xwa!1=^0mBfaW9T`@??AcXCYS-SIM!Z{QgT|+v9BDDMNY1^UJZ9Ffg@5bWLmQ z#w+R2vI6KIypYPDxET2_>fDdn-2aQZS@)3Fp9ZTb+6%9@1=OZ|WFzO6SvyDuOy5hE zA*AS|unm%7nQ}87s>ze8(I(%Kr10|?!8ENNV{)Fm{mZ32zKS{;Y;A)XBzgxZ3!OAu zRUeQQ91UQ>)0N0ORiHAA-IA09gG)S@5%$bfNxc5h~=B;~r$kp$vzrRwt zSZz>&3b;G0$c<~=T7oLD53IAQN-)yc60_}BC zRpqKKB!3*#DNh+m^|+9o@`T8Z;v5rIwu$=HUtOP_o9vNftb!~Y5w32ZEX*80^_PS+ zMEEc$h+D&w3h}5X#WkmFWW+A*a(3?1kflW;Ib&L@e zLyeR);js*R7`zfk`Yb*&FqMZdjxLXl^zeN_9^INhYio|@T9|<`8x4sFJ}LCnthYk)d1Rvk1;tOxVF3TiCu5%__m*R(y<^O?K{M zVxWZo01U$Na(sb0IHaf|8QG&K^%XpciN(qzgpZB;Dl#UBSc3jH6)QeEwgP<@Wj_ll z1%gL59u?%zVfj%e7Sb2>!+I+?kd$?eJduF~SCP1C4s4H$=<)d=z>SV4KYK1wS;3_{UXj2T~Jg^uiPUA|rhNF+1Zcvxhi1 zl4sggY-4A}p$9`qgJ3raUSiYhyGwuAjVt{rKerHq17oj(LX!7VB_16BF& z^(hwBF5&Ye5)?53M>lRi2)t4GtKhL)Q;W`{bJAG2*zIkjSVKMw!r24D5Q}kn^U#%ia9@7^J(|ZQJOA)xYFIPV+RF(<6 zn1(oC^R&@z6u$9vBjbKBoojclEM-LT( z88+7-Mp0bHF;e)tAlMi_T?bYiwdl$7*h7K;3}z{iNR2O%7T+S(?S3xvhQJ%!Ke?E0 zJ3;3C0tuXy9e(ndmT7{Li(Mvg*;p`)oT@lN+ZWzZgqbWZtqi4K=lmStW{1q=iCs&j zc2pwF&)N36EP$TeS&`j$2+x{{QLl0`{FS^6QrsydlxCd0%CG9_Dt%>9WJ%=yNo%SF zSKDhi$g8e(Hgixus)el8Z06!GP4ZbZg2n}9*wq1kQb$D1@vH2&-=*7F$qACC<>REV zi(S;|nyHeLL)jZ^U2U>C6ewKD!1-$~;04zhxnr#K8{29x z3zaW*P<;)qr&#p%+y5rXuu{i;TWok=*ygxbzcc%OWitEr1D_gKbG994c&qNbW@5*8 z(EY;dU#iBVZKr)c}qXuQNC9kS16qWp|C56t}WAAiqie&0&`sN{EiResa9_~9LTKVJ zd`YXSx7~R4fIsoT0pl{jy!3Tp$-CRee0n$02`}sQzCTR$I_K+& zZN(jxTCVbo(8N$zUv3rOPK#${mxEGpP}il2a>Lva#lrPzzan^O8%>*U!r=J#^HF3U zj>+I4LZv1X*q@1nwx#wt>}WT-ei$ZVXPz1iSMP8E2;IauRf^NBBs+|%{<*Ft3+b+2 z1FjCuCetIZ>ySgJ%-+zDh}sD^lAo+$5Tlzijs`|hI?t6HXv8lbElUMaftcP$68Y zFMap<^5kt^tko>!GKjqF}>Dgh%)X_>h{5)Moj z1xli?o){P6wd)qd$HfkUlz$FTz>V*QHgWY|R(tAfKIr&K*bo)RY)NkVNqY75?J7Fa zIC>{8oNIi`>-09i8(w1;TX^Wz1&)YS4V;AP8{G9wveT|=N78nq@1V>3nww(DXbGLp zMwQeV30ljF0>V_EFZ#QlSriu!rqYt7g)(MCIAP))b+$gKidksNci)dEMjrMD$&&!d zp4Z#p5fbQft(~9c@ znH~ujK3k40%DwnWq3H@NrO)THh;q2q^xd}cIo@rzsWe@s-CF-`c2>^eLXfI)U*9te z1KoE$iskHT`?vDu-?B&Q9UtH>2~nkgY9igc7GBpGa*jWnz4}wQ7YWt#O@&<^{c74^ z6$Vi<8mFBOhD`U$=?Z-RC?9mOx^O>yxc>3FO3Z8SaMV}Z(r={d>e~m8(lCzM77xtt z_J?Ll7wx`xbK;=Hpv_7-0I9(}RH&x5q)lpk@13_DM&J}=cYQ4Qv~g=V(z~8n7n$wy z1fXQkC5qL*-~LAhD}ex_Oh{os$sA(6wi^TM@vCt z0GKtC6}pn*I7pSvXcj1F#wr-{!m5-EqnUT181hb>huKR|Oe*F?PWpS`H)|T@5vWQ^ z4aFxLd7mxki4x9|1a5sM#wVQh?K1=^VPd@{XS-MEd5I!VVK$LxA_LgH1>wj9=OxBP z7MJ88m}T?%W3?LSp|9?|&D9U_$`Qm^5k z2Y!;4t*lCh0OnX((yCu3JIiE326i(ouNkaF6{*ag#I43IZj*UWj3$>X=8t!EjLU;7 zE9Jar525O3gwUD%RZ$@)iJSY0=XL?{AM@-j5Qjr#Dv$>6_I`Zsntz_)c|N>+?!R4# zNdrdq0{I&EX(Jq0N`C+Iv!L)0$vG$gG~3||cT6z{Z1vMrQ@!0RHNr?<82$mv()@_5 zgXs}%!dQb<5=n+D!)jRun857(?U3rQT3fh?MLKwJwmQStjUnm13&D~f)4Ja!a-n~E z51_im9zvd&pR5>njXhKYV>f2)-jm07j~c1p&W3?)*aH&IrNLxJh^`EAwe%eZmJ$1Xz#s=a~KYcWZx@%BhX z85?7j8o}(&JXu>-q9Nn2st_eInGFp&TEZA!>(uVg)I{?0l#@*4GO1;L#2pGuFLUXy z)tLP=P?Z_Jdl_CP2%&D7@|58G>chbGf^cH9OU&ptHP6MprVk_ffUoz8TduX=To*vQ zqaZO`*c;A+-%(oW(=2ND4Z8l$4S^oj$9=FB6; zU(`rw7q#pQ5B3XHZ#1;(&=uVIdEuUe=0#(Uzn!ka)9Y5=Oz*jSM19)~$oyW+3UmmG zj1HFv@Y<27zJ*4g&*x;i40_DJ7y&{kS4etbHAm2z{9UxZFFByod;PAV2M+>KWL^4W zyS4E;bWd)$@6$@~*1$T}gixi&Yix8@3%^IaFR*Dq-at;7yk*#Xv_pLQ@xt9ZF{>!x zLib4?CcC@1XTbJFrXj{^ z{R|Ql6F^%9YdOesNmxq!#wCf(h0M42+v(#{<)`9~t9>Ohx8|MA4HIfezseE!=j04H z`tfvrU2PH-w{+Xhnb(wiOZSJd7B!_DEh3?Nqg}rZjpf&63FK-rxkj=+m~6CX@u zoyZ|!W#!tiXGEHr_aKDo-14jL{NU6SAY99vwLvBD!G7uq@zp3#0lJsmRKhwhkv%7{BYBSe<&Yb?NB`wBo1r4A!+;(8KF8FVAgbnooPgz$*`7T8%NQ9Nv%d zXojL?A1(6V$mGOj0ic6xQSZdaalVqbGNmd)PIL*ugA|gE(uK>QBP$ULH!NuVXWGY`z^%v$a?EX z#$Ov`$6{SBcx&iX-ukEaouybjNhnC(f+)vw@N8*^;WK70lgNJZ-?ymtnh-f20VydM z4H?>838lwZp!%rRTW^Z006FrPrJK^$tUBSSKJm z0+xpZ_0;v@saZZAK%Sp5#gw1RJAzD~g-=vj`%Nu+SU2LW@SvYnzQ+=r{c$DzMpO~f zU?NtydPVqWFn*98Q5)R&)sNssCJbb!wT#YlqijY;OHHfee$13ae~`|l1DjEad7zm+Xjf4Syo*R^uGW-R}NTR^%&1SBPtkZw@vPH6;`76d^+N+cu%=~hBOO6icg zW1sha-@o@f>Ul)=-fPV@#~8nwL}_c@Be+3x0|fEjB9zu>y6m^?#4p(H{6M(t-kkU>GYjiRb3r|&bno$GB(ZbTVjAzrG3 zs`TEn=27)yeXi-7pWnTw71FVe(XozW@v=@R%_r#o5r-LPC0AJ5HEoq(Tx1+o5PA4F z!9=)*E3)P`-g+Q?p6%bkp~1Y&*7gTOQrH-B#Q*PKOJArWabMUxMhigK$KFSo3cV-G zWr-SqC5gU=DEd{0NBhbw>F zqpf~BAY@-wx`Qoh=ggow-HJnwSdQeyFIU4>Ru+V(el>QtKD<=keH)`tn{`p>y=-Qw z4E8TlJzV&zYSQ>c6zX^KMwCjnJ)73sI5QtQiC+|#qFi8}qW2ou_JoKLhwzgGUy_+k z>04qEbAMEUo0FjmTmC%3hj~tejviu-a5A8HJkyIajgzYRMaTrT-7(dqLUE05m-u(# z>a&+2m+tp5<%p#TBn-l=4ni;Y(LROpXwyjrpnj$_gEat>b&$q-+MmUq@1ODNqsmbv9qq`g9^ z6PH;SDDT`Kz~}Ji-6;RjSF0azjKQl~G)R6*S(+Q}R9>>_!2A-I72q$z&)+h0|w{*fAk_#o(s9w#}tm1`!gR5r@_kv8s_eTVSG_1*>=IToG%-(GZ{db&9^7V?vNX94Zp z>bT9*jFl&NMuGW%+?|kDna+XuqB{{sGeLVqorAkMH$Uo(OD z8%t_sL2HM2H&hq$4sjsqCa8Oq-ll}Rz=IQZ+vc`ysE90KoV$H$69L(TKi=K^Z>Twn zZg(e(rFk#W*RLqL(bZGfnPU|wyq}_{B?{^tb)~=NTK;fv&vdJJb_(D2blB`^HSDDx zzMHo1lu}%@*Z3Wa2H#(lzL(;uxlx+aG%Hag|P<#e_8p)CYg0^kX7x3p!i*E6Rejo`z(E!u=*~!%?m8(@*1$#WGK+P!&e# zr9O$(+@GK=qpFq^!KG9|y9nWL3eJ8}ahAQGKNfNuCoB=yO?K~hblk~DdFy-4KRy;ldX`%XVtsVsYP?)mdAo5GqTV)EYWd;@Fq z|M(?u_xUznKtyOrZn`_q;)nG8{l~*`Bxr-0%XBgYQpI0|N!NZv7Ewg4$b}|bIy#W9 zpGIAWvGv#sxfzTG;gOfE4 z@!K~oY*9tT&q=@UMW*i$hhCZX7llTt=J*q9E8agt?a;dKtCaftOI8b35PWWtj#aWl zEhfwFVph-ZZ9QuY$wSFv1T2HGtehixY;UR6EHyQr7D%mSDe()Ng&a!??V#SfyBb^| zWuqCC`W0jLRWvD|>36-ur#E+B;!)D{c6F7GeQj=TCiMAt=up_-`R!ZP=C8gKGTi>? zo1FdCruF49cD_S7Vn1^veRV6OXoQ_b_rGO}L~+DaxBV;smB^^@?s59?E54N&DgR^U za<2XLVFsVy-x;5Dc2Qac@JWk{i;tY$OQ3&P^K5-63d451R7WEqAb{p^`rO>y&mZrt z@9BKoFVV`+`qbPUKj!rZE^4jZsM?%K?rbgFW!AjK=Y6xC?;Eu=Za*I%X3|i2msMIx zpIz_Sq4)N~^wAV||7q4;4DhsXlMoXpA~X#z{~hI0a2ads4Y*0?^I0nw-cAe;59hnO zx>}kY+F4%a-#t56eL_~xgPLTU*|IOu<73=aHx}l*V znU=tF;gRU`w!rgrD#6FvOmdmRPfT}O{ZE?V`lqKQrG0h_(i)zPSDHKvP*+zk^syyl zRj+ZFdiRh?j+)O(QP0A{;+x0URD{m*WW$rWXoqwezeB{mPhLA8r0=v}?B5>}_uOpx z&h>Yy+Tznd29MDgSGDe&{`?A~YVK;2Ab2F%f7{NVmNq=26Lr1)*79>$yO_9mUUIn! z28%*uRFp$s@C?SrND;PHp5(|ex(n)u?_4h9r6jLkzkXcCC9PMFLN-!#k0|W@7}#LHfE0hZeAdZI#)b2((3PBSXfA!23P$lq2Y4wql?yS`In?=lsx7w z9~zz+o0yDLJrJo9zH8CeGRbh7VG*P{QyV2gbdy8BG@5i@3iZwX49$HySk@_19nY=F zxR4N(Cuk4yyPB5DOzPfFKBJ0Mmo%is*xqQba~!IusYxLY+dsY z9U~*-V=+T}()EbX6BB7UV$WD-+u?3sruZut78TXw#x)=YJbr%VSna-R9ab5d>$V47E;&tBCP}bCR|sQ*KOzg@k7Ba(lfNZS zusEUgRs?{v+hFZOU3|NBSM zwEFVvx#<6{Kp;LoUQ|ph7b~D{aq3*}$dLzmd5J^g6-Ei&F_a8ggtninPt=c0Wigas zPOISYl^fkbUMYs$SF5nmjZc5uoIKVBshggK-42Mn(ZRP!cfC5#j&n#hR!sDdqOEOd zW2~gYuv9yAw%%!AVT_F1tg)j^@87K?NtYijhno|e3-Q6n+a?#6mq)Y8!otEH8>1|B zX7Mc1_7fx>6voe!$%jaGaA#jQBM@Qq?nj#jlhqd0Q$Js8zn0(NK)^m4_oq$cekiUH zw*RY-?CRn`OQL{k_jX){9^G%MzoOwC@|Kd(v@QW^XgZIF{n(3(3VvbyLwOl`AHnXr zQW}=bFUz;&r33qW;%Ei7118E1igb#U{cMY{iRf#r zd*cNe?B^PuIM06Aa7xwxvNGz^D6?|uf}t*_S{1-!erDW3PE|lkLz0S5k;;egoys*> z=(}~X-pVUKQ5$)uz1-gfeVX&FCWE|!g74LZShaa86EiagCnqQLH?6jSGhP9K0sX1X z-@m`Y20rR0FAwlcw@4uy}JsOq6!RIzLx|Lb7nW^$SPU|+}O{nZ*u9`N} zaulxYoeqH?=NcWni%qXgKF+uLXOOXJF0QP6LH5?TIE@bpQBkOWKOMA_EX z=KP~2Gw}SF&u);)w85EOt1U6D4|f|q9{nifr_P$%KQue5yu&*}TiT`tibE~r)s^(S z5#c_@sMpa^V?Cd||DG;IFu-Tu9T^!BbQpaRL&;O?G{xZ zC3E#_`khXB_zq_QZgf#%Vid+3 zw0`;5r=kV;F5M-Z(LX;Xs&#gDQt?`%uxaHn+YjYz&(`C)xVXSx+|}tVd-zGX{rXBm z@2&dhj*gJ32Osyxv}B?}U#fTSE`1RTzPey0PpBBT!uKilV|gv>wD_Q)Y4iHTYGaTE zah>eS&&ktIr*^SaH>^!MFi%NV5485J5VKBpV->BWprTYlQf`N^Fa5QC6=dq#NpMLlLw=5xnZzu4e zMC9b;US(#I+`6TqsEASTI8g|%c@Ys&=e1)B*TBce$H>p092tqz?6p(wB`oT>NiOnq zzGHAO_SGw@8#g%=>+HVO8pcuI?9LK$;^pJ}+|~7>v=qU_#Ps|7Yjo&!EASz7V(u6M z0s{C11W~cEU0q$wpF0P4<~|;*eWQiXh>DC{jNxfJ{hjARv4}@*&*WdgvP<3=w)~C5 zMw@7rwEtgnG@{SyE&4UOnLg7>WNjlK^R0JN`)l8_n-mlj>JBx0&-Pj9>FH4_&6<*F zgd78Q1%~rw><3@*v5N;m&!>{~fh*(VGOoF;_pKzAT`wHQm*3Im%TJ#qyu7@oXJ^qY z9UaxuI1Hdcqqq7UEgx=-rSe$h!F89)xY*nG!uX?t>8zD6-Tgy)>rFl{KRzico`Xrrl#hH z$0PEs;XSZxP3s*;3gpmH#J&Hh!@IzusNP0sWD9pMEabko?$s^VFXK81prWGEhI-Eu zesV(=8mya_SI@kes?pO&kL1SQYOoupu(`(+#WUvuZYO{pM_6=Id9J}rZ;v3KgS~I92kh%-QD&0#O>s? z#mw37fAYs|WAqL4M}Hrm@6{GP_t->)gx(mxxBB2T6%Q@k?eMowVd1DZqnEqaY_lh4 zPfw5PQ;P;?YIv`H{r2o9a}7&tYsUn%QVQ7eaL^$7at;r2`l z?CG&;3mHNN>B{qXN?T6^BtgTIIZE(4{xnrsL&=?rSJcZ`73Bp0`N%U4(~H#fIOf99L!n?3KZPaVzJ=RdNtDy(NRt9QIvq#QSD zs?!#9nFYNfxVCQL zygcG7KOW#wMqb_;1gR^-z1Q4-S>yd=KFa;hZn-@jLX#T)8-u;#YX zLjZ-+y*iMQ$@>WHeg^kMpBMmzFYs_`YHOLq#c2RWE635ijETX+qu^Q`%9SvcIhnEu zMzxuC^rEDsleL#F)4eI>pm9JSgUQ8zT03{`WJRS$Zh zk$Jl3$-lhu-e=E>i;HXA7FsHD@NqwE{th1`DJ3;wJrDh7lOg!M74?`(%)yoK>F%Rw z%*TrzFYb_jboprqTUXF&Qr-TG)a2wOE=MQyR@efuF)=Zd>1Xf(u#!41=c!$|Dgo~- z+K0Ah>KvdYKwIygn#%b7`?uhn${1k+y;LXkU$9_IvI|+r|3Rx#`K@k) z9+0rC9H1e@%t~S?BYWYAkVcG%2?!{|2g*T@sTU8r@F^$Shqt!z=YhM|;4fBntoiVP z8E$D$FW`jxemd7u@bx(Zkf!l!i+s4m!NI`~hOv~~W{dDpOo#U_&YnRP^#YKoe<~s% zV7=H8y6NV5RNd2q6$1NgtlnuVVKcN_<6lqp;pOG!-pNVt>}-}{mFd#vX4dB9$nQhl6oV=)2@9HT2SCPv$vg8gdNMX z?P*jZd(k0>fC5+{mZOPm^gbDvt$r)IL}>;CFMnf7b6A3uJSc{Kv&n@Edu)(_4k z5J=@pOh+8>uqnzXQ>1z!NW=t$0Cdt>Iyud;-|ZEJ{)SCRr{eAps9N{KD_#~wC8ec5 zfAW6unnJm|d3tsOGlLJ-t2UQ1Zx7NiHZ~4>&9BW*&nmPOur+xX+Cz1Hr%HUIx$+O_ z2=kr6{|?zIy9;z{hv>@aX#XEe;C#(bK1S<>L)|52m1TYAhz%SXzd>dBcK4 z*&H0vE4>K<{>R%MfqwuKm^3(>M4tp7{w9IS|86QqOGBeuVR+Z<;X~x;86QuDu2JGQ zy){u`)Ya2d8+;vP_buzqMEJ>{g*!&?%r@!E?07t(nMC>JFvLVf_1&9MNkI<6tu243 zs{`853Tm_ZSEYW8X(`Q;sR3Gfh?J8~Y>ZX!z{W-4C$q)A4bA#xx;fH;rWL_Kd&}J$ zKih-LO=D+Gonh_NnOWWNfKtwv!n_arq4LhG$>;p|ZfIyIjCsk09cp4?6a*fc9%yxTB_d5?{t@uR^(~%gO5*D zqxZ`VDqiv1sx`+vHSIhFc_QWMLi5fu4-d1P&lAz8H99e`T9o?KK2eA&%@*A*S!>=; z;Z=Q&iF@$L##F9P*x1w*$r>8nR!G&AjVg_kOzP}56xEl*se;aTL_A;W*E<@(T|b_0 zbPIE3%t{-A;uP~gb`HmhuCC@mAtYqbI?fhx*$0-Xmcd5w&KHD9N2WcdF(N)`zb@cl#312wH*yg)2WzC*c(f zJ9z6N>kbnWm5?L($={zPFocjR2KB;1(>z|E%XRlIwXpN6NygG)>GRmliHZ`xWf|Jt zySx-Ey?XPBh8=8etanm#xbNtYQVOF`6gKjDPi8Rk1QuBQ{n5GrEmH$I*@LEHW5@44 zqNSzHjf!e-mjQNe1BeqCl0y}7N(BlOP2X#U2pmE}&8gH@U^+{H(SLnSLce#f*XHCQ zECrxqd|KgHn9gs{|FSfzZ(heWnFZ3B>U00@|&{B`pDg0PH^;;|uGgYon#UZSgw=R`JE|akG zE8@8tSGC9Os%N|k;rOVQ&{-t?Qu!lDIXNqcj`^2YR#&_CR(kmWduF?|sa`Si2@dW? zkIv7V?Oc_|r5YwftJuWd{rXkKu-aS$t{r5wc+G{7xY$_!d1dzZUwR`|=S|t4IKAZ$ zgLYQ~yU|@%S*bGiYezLDR*u1C{%E&&Q%Jr+81c`#k{jB%w$dzAw);P{V_uOfsIt{s zV6f2Ym1y2_954M0R2#__{{9RWb#j2FiPS)&{Ja^V!d^6gBz&@TD z5lf1dlhXhQ2)sf@7bCQQkFXEaSTrBFtib7_UW#c0E*_`sI-MoAv(tWe#b7`E%3FY&aB zy_d@dU)0qBHK=?I{M4*HC>PN1;^t;Qhz&ASRmXtvLF|Zu#ytY0H7qO)hTRPyOw`N& zIC13Buu9GC3-P@j9{9H7G*ja}N%yWgGZGo`o>V}w5al*L!G6mQuC@5UMbau+uE=~z3WlEs#s@TbB zXhp6wh(0y4j7i^jN09Bip;^T)PuNA*s_>(HjaZgz&_4P{re+gjEo)F9UUMIV1uq%Y zFXebTRd|}ahlgFgy%8Ba7RwtOQ6(kz$@z74bwx0gJV4}z9;}YfZe#lII9-#!;kZI#0TmY^Nw1{BkI#+Dez< z@V7;+GWIkQGoK0JrwqkIEfXXO(0vsuXBoiOe0y*{cmvN){ydDP}|y!u#nt+?oqs6EWPBR>V-! z;u91^4krC~l^80QD+w}G!p>9z_CtdoIE!HE#zR?-UN+uNpjLYPxb(*i0)bEoN@VD{ zZT|8d=hGC|&(;AH%sN3hr-Zgatoh}=?r65tPMm7XHC3{zi!P*}nC#i**u7wihQXs_ z3J&V)q0YZNKOv*0?n}CJ@Atgevz`Qy3~1qZN_HAPY`90DG+E&=w)#|WwhC%bTt@Z3;?_bu$qa@9hDeujkW-Pt4SQfof zWGS`Pww9K%ur(1ng^FS3k!5AIxRh|0f{0lR(@@nkljW^wHeTa!Ap5LY6aO9MSQY-^01)AgL97@n(PER7 zq!SRR)ADKs*6;}I6~8A3z;jvqHLC9;A^eHk5Y*04p;8S0!0I@4U9MAUm}QNFtD)fwzBPP z)AnBiL+ObM?~=X=798Lo)oSO!%YUA2|28Y|B`n~vQt?^6FrWGQ^JhMzLby%CfM4~< zgR<9*teBx|mCF_pes1Jk<~MjbnrD^H-) zHvYW(_P!MVFBTkm!y@YMH$@Zp@43_PqMKH{P^LZ58T~m#d0@*RcQygmvK18kR(};4 z24j?X70Gu}mf%l#(b>C!mbYiu?RwB&ckp^-A3VfhNqJ@iJ^mXC(!}~e@`f~0ln_lR zWhNNIl_>H7#yILUi=Fx{{s<-<`L`WCJ>fv)WLQ=v!_-mKLxT0=##v<*n#g8KBA9I4 z-fCp`fF2Ki%^h*^ERd@I9q-%+D1w8BXZ{>R@7xNM7%uZC_92#}SP71%M!&70jIupxAdaiB-r_ry}adiBck@naQu zJ5Y?Qp`CA9tLKO&!SJdm(m&anBC@w%*ZSAm?EP00mOBHyT<*S*F#?pgPVD)Jc6r$4 zCNDq*9(}7pD=8@n7#zr~5SSYnD0p~ypoP2)4MhblTU1;eMp79CnKlKMu+wBLk}T&-8ZD& z`~sl12@0md3L{xL2pP4-am#akLqmjj?i69nfe2Ld@gsIBqHR`@9Wb=>Ttgh-YTK!M zbFx7TGY_;mp8jZQ>Vh&^9kQ({;Ie3=gC=lwdGgak#=1tjfe{s>BJ7W6iq z3d1V=dL3wXfByV&o~eDgxVVTfX7BEG0}pQnZd>)K3@|^ynBAkJ{1P&=cSDtASMkZK zxptJ^x`gfTKx3Gtmkuy?^d$gZgWUmcx94>t70qag76b4zIe2?2k*9Rv8L0t3QdT#yz$V@s))MR8|fUEsp`1Ely`VczUuYrt& zfV2I;Wd9^iBkrKHRZ6)2FQ1=dQwu&Oelq*v5qyGV(1r2(dJGYIVg;(;b|t*W837<3>T{gy3eH zf2rgqY&|eF-G>N9qDb{)V7l<&nzW(Po;>0Mf4w zIQS-#f0#EtJ-rLBEmdg3#=@!vL_OQ^rwop-7I=09_jCQZ_hkEHC* zk9S~@%5OE`QF8BYRk!PchLM}^efWC>=G03lZO<8K>5cBIH$byOdda}v!N53TCJT8} zd=vJzC{0AAYQkRXN98_}OW`6s_#``PN>3lxT3 zzf`+i(aJjq9&3u zRq&e+3P!{0JeFF3|03&0d+;zkdNC08KyK;;Bw%oW1Bx!#Dlb7_uzvb|@U*EDRLCC1T z1z2b1lQ&PD{qUq?33Ry>0ej6GWVEyc@NQJn0iuEb4$n%rz|#Ak z7T2b8X-k2x?Or~Po?fbGE2h@9O!Vjl{~1FZDZPv$2Ft_=^3@}AZ7zg(g6?i>3n0-+ohbE8eXWpl4F&AAOpY}Hly94c^+;}@ht3I zzK;T7wv+U5S@3;LjrQDcxGn~Z0ct8s2ZyqTFQ5o)OjczZ()JL%ygVG!ii$q~|90ff zeaa(VV}PsB>uww$A2YN{v)t{QUzXB))bUA6pJ9#F*L!)O{D+zv!=`r!Rq8Hxn@OwY zsE8bO;O02H0%>^ePy^^HZcu~FoU}wlL`PW!4{N>un!`|f>-k`&))u^!&)wZh51YV4 z5zzP|2A^fUIbIfpu?}j`1qe~dE!)a^rxiTKW$<3ue*~}e#Hp?sL1c*wkWP_O425Gt z{Wy+VPA){HV}I|&@$gM>^*Mh2roZ>AD_%Ae+efbyE|Xk(7<~8b_is0 z_vltrBP|wLW{x7`Bj9(4PA`G^A<2Ufa;H z25x2#7?CiR9qX6C>KAogL;*=>#C*=zkJVU~hMs;1zBYpk+Lhi*Wan*URH_O zVxV9chNCvw-PMKR?d@$?Y5W=bBy7Rk$Y{&opE3_8slWt_0f&?H)~z^5UBD830ht=Q zHgoyzn3@^UD!jmSJ*={_@)Y_881e@Gxem3KpV7ee?uRWm^T8p-RC|75!Oh)WEyLd( z!ZAoy0;Dbg@S+kDD{E^#kcCTf#C}OM!!9hG4h6{Ko-vdy!UM^))6-L4xD@6DokrIs zjK3hqsl#@Y_9JAeLIyJ6K~-i$r`W`od_uU0LOew(4pvPI^{J5~HA$-T%a<=PVS28E zynJyy=K{Mu0R+pf3rWzR15Osakz-#(LmLDA4ZB* z$+ow*r|aw!{)qxnIsNx-e7{ja`gg;8UNx&tptym-Sorn1+iyq7&hP8<3jGr@>w!Q zQ%)I_834KPUt&`?%o4BS*5@s9X^k#-?n`DWoa4B)k@PcH&@_pqFmu zSy8+xQ&SX2OWMCrDM!LzNNsPU2woolVGh_WZ^4LEeF`GIt=uDs2xvjxVLW9-T3Q-v z_>qlG7u=WUWVQhK;u(2M5wCb3$=A+7pewU*1!*+3U;T@@zWf`E0%3|etL__+OUg)N z*!lTus_MbvlQ$Q?0LmRLytj^+7h_Z+=QLDrZQKPz3=&FF;N3if9-&21$WrG9<{x-- zebBfaWz(LwBt zp~A8KT=X`ADshP<8#t-l*TaCL2_xJeCA}|Nqy=D7ep*ULWM*g!!b085p z3cm>;-nR8?iU~q(eanCUCbYM=Q!!Bo1O@^_y{Ui$%%dQVltt}(t?m8RD?+y!rZGHh zZ0y#LNmW%AN# z=JCYTVzK;Hdr<2We={&U^)L9K;cxkwAqCv#@idf1Hqg@6@Va(+6`0K1+e}Ph$XF`6 zoyl*fOFU8ZM+je|w*MAI#Xg<;VRS{smXDGTw%$+K2}ejTyn&$H&I|PZta;LIp(Fc7q>MLXvqYex|&-SOXdT$8dZSh{)!`w z&WiR-{~G-j%DewauYCF{#2h7qugt33pTjO@QA<@hT1UEOK>X%Gk7(1r=Q-z6e*GkL zw&O&W!7@qG4L&~67MZaEg=J*x?|&kj%a5GR;RhxrI#8+WA>66;^t{xf<$f+igUTlL zL2N&Q-g12QjjuISL>?ljl*^O!t!ZeOtZ*X4!@C2fQ{BT!+_)1>gp*u+7bh()6^ge` zXQ3i0dMJ)BDKh%_cVpp`2=rfg1#AFhugE+j#jfyUiC9T9KnX%AN7V|k2qo@dIL()g zno-bRn<~?@{|ZQQW1=EszSUXT((*PG8c6J9R8%V3+QhKWks!m#$>|0KmkP{rhwlZb zO3~yb&vCIj5;zz~2D4p>jBzl!EATYVhFgukVue|OH1P=L0Jk?ctsA5rk*yx4X#LaR z%YQ;pGsqDHYC)arl02vk$S4=MR+Q*=TCpJx9j1$aeO8|sv?ghj|E(77K`#ltYt_7c z2O%%K3^ZXdSHdVabpS>PNES%D&-gtP%%=j`P&7xPG6?G;)e|V3&(J7=!()J2gOsg6 z)6m7w>Jx*=FAR34=cMP3S~Nr-@lVlxXsRp4zpJqz+{O)})Nfhh+^#YpA!n>`0}ZGr zfk6xAxS0DdOGq4D?0zA79FuHmYpayWZ(C~7E)6A!6rEsO)WHmbIEM<@7^fR0`OH66 zSl5xdAtXH}LbDvmQU>(XEI|#9uHuA2i=v zSXqUG85iNpYIKx(16bW@qVek;ZkFkoc=s451g!um z+C#%b8nzIN02hx*d1zJxIrXk0h|gYywMdn3Hc>rI;Z=Cx&0AoL1XcqeWvmHtN;a2R}=N^9Yih~&ZcL0t+sX8J_ z?vU;rfUya@^d3x;Qk^0!WKaUe=**GZ9NKANhOY%DUR z1{1z>bX2z$nd5#X51Yd&rE$b|XkEKK}k=b@p0be}8-fd6EBu9=x`tU%wQghk>+d1Na#k z7o1*)X%cWeW53^V)tiryyJP!08Aol_=i-zPbWN;9n64O@n0;hPYJgM*z!nk>x)7D} zJ1hV-!TD!fE~vLeL6g0`*def-DZsrwDBEC$pt$b;Qq86R1dK`_9Pms5`%xG`Z?*D= z0BZ?s(*thPZVw6siu!x1ngOif)y2=xagW9Rr#_@%8!i#@lAjVb5}cy6hU8dfZ8IY7 zvT0=LZ$WiBNGC!j4zS5Dn2sT}iSIyw+%%Z!?6rnCAt)4}JORw7MOsOM(76GZEUm9+ zl-ASr0_H|>efDf1am#t3xxQJc+6nAoC1?pa1O%&)hlgEYW8o#S=u443$mgJ@M384#hRm*PbV&m;CJk9^VI{ z`+w$<l+g#_iWv5>Fnw)JFS_1-x+uuL4E-_!WTyo?VH4@${LFb*r~TDR*02j{hv&_we{I z`2-O3Bj_lQ%QSEQ_lM(T7$Ea5&^oOkDJVR(adaO@fkLvt7NiONcV^Upi6O$+45-b@#5TO-XcAkSL7zbMJb zo`Zi5$#10L2|EVK?)y{OQ`Qc;zvXw?gSvyM%EyD>UXwq zad9zfi?}ys))tTnR17%=jxfAH5GUR7hR}%Ja9(b40l-j5(KuJlfhY%96%E7Ky2 z0*FQhty9%c{*4GEE|C=g^@H?!w|92NJR~6?2ln={xw6h)KwiQo!~x-09YW z+9n*D*aOcPQkU{bf^&BCU!w91@jqb!@5qdk;#GSuB7?#@!tf=HpMt%2=*0R0HI0L82Fkr!}aauyQc8 zdYGq6AP?xVIUWUSp&-!_4K?)$h@gT({Q6&>QR=t8jO`&|;kDH@(?8M{Mz2+w?&zsGfs)QrVy}Z%ugrgXRqRJVqp4fYfUKp(*k-LpVNla_KxM5}ldn9+G%EnGK7HTPd%Kfk~w^9Z_t6m;A5m4DSu4-hvUfH?zl(5(5* zdl&jC_h+~Zh--X1-CF^Jw**F96vkXvm!fxC)O$Ck&;O_>xXq~85cjkVtL>Q=LR{)o zuVeUoYvoxyViax=3$gmpGJg`>NtdOpsGp-fC!Ht zuxun{Ag2}ly0_H;AOV?Z{vR%`kSv&WxKX(xlkg6aYHZ;YiXMkV0;RpdGxzFN7>VnF>MZU0qfd1z?*!1Y?rLg$V%q=D-3V)BE6e zPbio&L{pg6*=c~gVDRd}wD6!d zj3KK5#3W$d6U%%8K{;MXnRd_2n9z@Q=^GkMvUYf;MLIJ-vU;cWSv*zy{GL9OE5^Zm%I()j6B-LEcE`NM~IZ|jhjM(>OdUA0-vE?EA*|C_TFBUENIf5BrFY0mUS*k|B=eB zO)Hv7f|a(I7&hd`2I6=bDZ0PEKhpUEqtgVKQS+cv*ZY7ocR2L{0wXbWw22uvkn!AH zT~8llhki&LjU3$bx6RB1k!2KQ3S2 zHmiKPIqMYr_DCzrdm~U?LM~}~vm%zmav8&z-nU@n?w+mZmz3G_S$3evM$upJarOgY z(`#{Yb>#&dZj{e6#4bw-${y6@Z6bLZ*m@m9Lw{~jf5cjK$BM#5q?{*cugPTvb*;DE zGihRISF$8@#!N552j|HuBqJ+1 z8;{!a_55Hv7~XJSydX@H5C66C1XMPj6a_j!1V|^!;5fZHd_>>>-AHJW=DT#JpD(K# z$I59ao&+jkhem2gx?3uG9%|OelTT=$Aa=4jN7ug$(tMBvtYh2R8m+Hn9Thw~TgY`^ zoUSCOXA2X63ImE$>e}lvzz6(Kb80IeL22PGJKK80Svk2VQkE`a>MwYyizzE1%N(D7 zV{MO2yHF>h+Xk^w;mDc1{+Zj=WJOa{IU9_MANf-meHNwagV{ab0`X|JIX7~V4d)pJ zl3G!KZuXGc1*i)JL5_?jB8?jTTb#_yFY=`P`TY(bgO~Putb_=h29i5?`O*6q8FfJ! z<@T@HSp#*}yxI(RuH{)cV)XOlWGKu~Y(0YmQy*2e>|Hq)_yjogB>tm8JWsxABy}b1 zu22UGk%g4Apid(k7bwUGP@+Jazwh?q2gvnEa|3SfHT@d0CnK}3R3c<`a7+d+Y~T;V zT*D-ZBm}dcSO1>ugT}3PZPvLvAqU7+_-Po;bo~euiF7h8aoD&wz@Gih+S4T59^ogg~L-`R27) z-*$;uXxm@(-ks=Wj!J5)7CKjjfvc*OBX=$x)>9WaN@x-sP!QlN>^$88&D;c_IpF66 z@r%m{oDTb>h`-y2*j=!hwE>jnD1Pd@jtN=7%v{BXap z1Zm@Zw#$9Zc=tg=F{sBNJg2~fLe>K^tMTgzAfsNuV35FB+TKUgPlAEZN9K~wvB4CJQ{>?26EawwDX3%EVXE%NXg++x1goi^g^ixg zL&-**=zj5A+|H-*(ME?R2linBm;gd~-GtYdh%x*rA`@>@WDJkeSG?^LQh z6GS<7_x47bcfeU{2{_Y@EiOS~9Uz|p@uY-`-xX|h%}<#@%moCJwS0Mtjt&92Az;6% z?(aZz&4Ly<3W-&|8v0s@#z0D9oYGe4O!R#uPW0{KNaPteoZNjzkl>k&x(J-8|A!G^ zQ_CWwh8`QFfCm8FTEKZzP;s{v9VwWwFfbs{>lqstmnrI2DBf8Eho0a`J%Tw7<2eB- zkHVR}=p;L&DfCeE-H^AI zshc6zh$OFp^8OozT{Wb|5uMF|5R4*ETybVzfOCa}U`TTu&RIRPY zZMMw`Cm8#1(3A<%t1wAh&w{`Mwu27j7nlGRcrGh4fz;X2ahny6#F}EmVOAE-W%LPu z1xrTWyso}dSzI0q6Bb!{R^n8CS%p-|uk;-+edg54nlr7tf5|(ZzS=#61Ilo`dSmqj zKy)$4FMgiifDzaaq~CRr9)jbGkk6VXhv2P)cw?o^iqlPAOylrl8(pjpzf|qNOo&Wb zZLW|%9g2(g2Al=fEjvF`Jm!Psi1h)KMF3&loDhQR{{PRSCQLmTDVAyerkDI=WTH5L z==QtzKlm+E(|_<)%vMj;vpwYi*h?L)K zp04y;0DD&<0~a?hCP$onM~0XBl*H#|^~JroANR9;;vO-k;6%4?*5eUlbPd~oM~OrY z@Nms@fb(Bhe!#ul*Wr9}bWVqKYQWZ!cKEM@0{qtO?l~8X8ri`&5*|CN6ZkAfZZ<9a z_Nlo4g1hHIX-26F87cR(CvugY@R7#%(B2s%w2h1Y#WU0urmO0C@SQkSq5L|cKs_Er zXl6@TI%kNbqx2I`)C!I}(08y*oKGSM6;5=NRhP|@KcR|*rk9@_=_u>IMZF(d;(kxM zwLtMThF1&^udTsdtdK%0cZi(q9d78sNHY|TJ5tn_=SwQpHoA8tokaclkdHVvJkQK;8zXR2B3Sq!zFz(=78lI%I*R#z5c{%pN#9 zsRx!Xr1R5rH8QYE(e)MgjvWb4(H`yV2TC@_uL{u{hb~V&K^sI7hp3HA2QFXJ?caHD zh()`}-4@dWLL#e)YAq^~cYfjxvY9B^@P3g9T>X5iqr zZw@1cm>@A*U7YSQvEE<|`9(flES2ifeg^E~HE5HG5^OdcaF7#xxDK{&RA+F!2l7W$ z;vNWS4O|bK_5D*Mg$=tDU*q<>W+ZB0DiQOufE@-u2_cN|mN@U@@3&i8T5yPnhQB)@ zGih*c2&r^Hro0v`OOOCT(~PdFdh+(eYsjVo9+pAbkRJrqGmqtVJ{lE)Ll&FlIGO;+CmM-hrS1XwHua~Pf``$+>E5s^4 zH02B>6EwK<-jPf7TXZ*l0=KrdpiX*RMyW%$VXXH8w7^G047B()*l{&Y*V0Zq-OJRk zypPX^^6c9WhFZP=;x}$|WdufG3ptD&F+G7gKj@iu}17Xc0qgmN(*I|snJ~FkO>6thUQ$_A8yS}esr+_T@x>4!V#&8 zfSwr+RJq1;%dpbWsXi??B}JicV{v!a6*7ELQSAP6Q^+ksNH`g>jx7?(*rDWHM@od+ zfcg`4WP0tN`-`M*nXy#uV$E4N)|Po+={~3}w?Gsm_#*|{Z7LAYaSszKD<*8h@vGC# z`#i0RK0ZE~)6k~im?S35BfH5;lkFd^*`K^`iF|(2cd8l%`i+3swsAazjHbK$K9NP= z!2uZ1V-Y2l&pKkJ-|cejQ8iSw#iOu=G|5(|y}Oo)p0ZFu&ljm|h98Q<5Lpp^8Qzz<(Z~buswS?jIabgNU8>BVxiaH-0CteijInmA|x_!_~AM zR}l6b`+I_EyX#ZFpEyBbI~+!A<e73TNj_1l?YDKbre(c;;t-guU0#Sxtrf*(<0Z z$_?^zSi|X(9$;!a%W&>i5KwAt@a2{T^3Y>!YHF(gKy7VpEG`)PZ*dlX%HVmiJ>N;0JkdcJ&1c76OhK2@@K{u9kZ3xey&XAaxdT6LV~i zOdc}>W%TIjjcA}6?u#9$PZw(Qc_$!?39GlbJzo>v2fnPTt}ZE@D){(d5+ZtUHFGy> z#$Km+E_GrCozMN8Wl4dfFR(#+z!wF{<)wmFU^?=yK-@-(vP3c$iO>VmRY^a8{tQH6 z1Wu>=zlY-)mQ>1bj%gtq$PpNhZ1OOAu+So+iGB!mQ%_qZt3O4}CwIATfHg+@ZS4Ql zaqaO?=KtO$tb544O=q^4Xl0ejHZHjo5xJH~M3l)Tm*f(rT_+OFL5N6GuA_)jNtg;n zS~k}S5lM;|C8Nae{p|kEp4U0A*ZI$knRz|W_xXN5m-pqfR*&q#Sm5ypUIp>|Sz~_8 zm;I=Ix`)$5>6b345*+@wZ&_zgLZc3CmFpgL03cqVDCV1^5ON7~ky^}W8A54-9#P6h zoe#UBu_`E7K){q*BBaw3sfK%K~! z9|P485fxPh!!QE1%Co@F1|7w`@ikjE9KL2v&c6Xw@+v#i)NM^V5+LQBuZfI)o3m=w zs^Pq7L#l_UP6T+Q;9At(9?M^QyIvw z`2+IBTP=`eHLkYi=J<~J1v_(dRtxs$O_zS^9CK*VoQc6hXqJ_fd&|2z?^iN(PNuDVy(*i6t_tmiL z;Z%_8Vym`d(D|wT8dujOSw40&m`c=q6nw@r`f^JMcc zm4j8g6;|Tq_^FAr&VLHei1hI9_4F$BDW)4-xkNjFt5zui7AK>u94W!OpH!y8nBq)( zM)$O|I6Tu$lCwEO8{meuTAQonoM7v%{UJht=U6kAby|?6K8KrK^Tw6io>gi1a^9|H zteoxaoG#m%EA!LN2eVCz9wlSuZ%l-}qHhQJ1ynY?w^s2poyf_~oCu@BXXEUA)cdV0C1{x>gvt>m8_Jn zyMCW-3JDE`g!8_pX@SE28$G^#zT)Lly{84bt7NUJ-5O#IAwk@?BeAP|Sv%G_A$B{9 zY|sTW?A9q>jbT<_p;l#d+ATaYUimv~Ipm3Vx7hUV^cOYd=MP7ifezvG|v zD^^FQOfT~}qDbU*SHu?f$oWMm5Zf~K_ufdc8As{DuM=f8iHXFDJSGebc6J@6o~bl5 z;(lL1&bvWVGsHwud;=3bv#eE2+8C^{A6~y^X3EKwdcSw;4GFZeN)p$xu+bo45B>E+ ziB1fNGe0$}2Kn>#{QK^2fLu#f(bE*{@08#1-+S9!#ojbBy5ovTIv9o`{Gz>SY1-bs zWoQ;|xY2%faaGe`S#gPC9pmaM=WLpjdApPNJn=x^zr&p38kWG&H1rIX|CJXxjA3 zuUZvfTU+bC2!aQ!4oCarhY!!>_81&egyxlkw*8l%uLTX&>r?wru3-E~ZAQs5HG=qA zgisOAMg0;2-PJc?{}=J7B|EE7?LdNk=Nyp((A)PlRlp7aAZ>DlVKDmxdNIn+qhKrF zjF0y>#eMC}pY8KzaGEfL<=5yh*WCyD`!B(WlAT!zG_5lN(Go0OI2R(%wCrp@#UMCD z0G&jX#H`cTR{~sA%fnAYIGg1D00em0)XQ$|%XxV=QBhybrhXz!d01BMB|w#(Of!*M z9_lPGu=m^tkok>bzFy3X0oNBeR3D%?|LM~;&`sf7kXoToLe$FnFMTJ z0oT_dBwOyNAmkm~^jWUQ;)tR$L>Bi459}lgEjN&V%cZm6Y33hwb#>MG`beu88StR_ zy*xIGlBih2HaCKKYLOAQ=-m%p2l#0^Fj(Q@W3YBZS&U6CH-}r$(@3eeyteZ9 zpA1f4H%{?tOdM}(wY0R<$8d@92eVuZ_L|>qZGDS6Qa|%ZJR526qjI|7-F@cfjkkP# z3W|!{T3({Lc=lSV!ZVU^beeo8+Tt-^;^J>@Uf_%;G*vsaQgqk zk{WrPCb+%{$$Y_YOwLL$W)mu_hQURHrtFIa) zk}p>(Dcx&%_~e=+U9Cgfvip#SXyI)?c9}Z&@UUb$&ztR`>C#Icrl#{uhlSF4#cZ*3 zUi$V^LOw2Zsyg>5dy?;#LZ9asA7x(Mu0@JY$!}F#`Q2?sp3$e&xewU_>Ac9{F|k(5 z6|r8j%Ry_K)-C0;ozi*so=Lj~l>0nPIO+6sb#69$lg&speL+1~ZTOs6tCHve-Ln?_ z%Ym}Xax>KQdulWGLO!2G#M(mCJ-<{NOZ6R;v3L<(`<(6TkSza>P>BfeM9llY zuZXw*=YRjthyMEBwJrAYmh!jxNviB`E<&>ZJgKoZ8Pb?6PtjG=`m>80b z2{lo72hj)qhq1ATB-!D~MD}co8J{PHNxdpzpr}Y5`F{IcPL)aL=CNam!ehw$|HMb) zkAGejXm`et9ge-|>|A(XR&n%iT_O|vU~%!(Mg{S~`zJ$>)k-f?Wo}};^PR)_hi+r=V4$Oou1xCG{PZ*g@;YLE=}^?^wK-o0+-O#DrhrTw%F?)z%qZ z9jT+NcoNE&6XxhNW8|!MJt`fG9}!qweUVQ>aDd(*$YcjpU&Zt3N{x5WVjiq1}V6y&4QaXdi? zc9?+d0V0il_~6E|32vq+$Vw#(tf^@qI>;AWQB<*STdA1JPE+oR%g%aRU5>D3+t-h3 z$fq!zZZARx0~uQufYVX1j>vlNUe!@sT3QS~wQbJeT<{#$yOO_)QSd;cYm)Rfm*rRY zbB3kLfA+B9m+B9NA|zpnn1U3FSv}ew^~ve!-^-6yy6A_!Te-Kax@|+ndh1L=J=#<5 z9=(Zj_~}Yep$n6@+GE2O7)D>o`}gnXb3c8n$ykGL^t6=xqT9BWLIcj9dZ~Wz?Azz6 z5<=uHo#rSJ{2AY$AixtUI1sD>IlE_PXNkEa5Ql`1YM>N{JGpLm8yfMThVOS+)8lGv zH@2z&sD>Opm2Oem5Lu*8k?DUPLL!Y^iFYWaj@|X=c=7G@_rE?dTTrl0PzMtt*4!&c z$E5`E{AOSw2Y)=-8Z9W(G!&TPP;s|=kwmJ_wM$A$N=7@POi#_pp?%#7x0o)UHxMN0 z14EDx5ywibI52p)OUsZx#y;7!yw$#z{!}{GNywooK5a?In+%M26d=p`O`D|Y(E1ZJ zFI;3Giw}YA$9y1Y$v5WaY3>h5i#CwSS5WXEvJ=*$ zw6rvuw_`}R3W+p#J3&@aabMK&#aG90sB-GzU==NVi|R^0(>4-<_f#DArCI_yH4ksDsSi_2N)&u|AuBOaKi*eWVahDZE)!wQa*(_1 ZGW_VfSci`y=5h1w+F@&6ZtD5lzW|uQ>>B_8 literal 20964 zcmagGbzD|m_a{t;bc51JNGT~GC@F$;w@9aSN{h4t(v6gKNF${nDV@?Hh@^DKtn2>G z`_B9~eje|~;yUN-v-euxT7;`8$>QC*eG3T*2~X~sv>Fl;av1zn#KM3-xovUE0RM;V zq9!Ye{Ii$SAAW=F_)OOY35kLT@e{d^<=_bt5P>6pk2P<&w#+JF?J(gP_N4xM+C3_j6F~;1}_2kx6obCx4 zER6{Rc&1ms`rb98!{f(ahf24f zb8RLd)uAe?UWo*pZxee*i>@JCE0j!@y%3*5^b^OlMB zbWYkSwfKUHxgLF3L=~}Ml0fE^>0_)1noI*|rxaF+Z%x@zwg&RyDk=;I^ucw-|8i5N z>+l_on94{95ywC8{<-pNNX8>F~?Jl(O${0b2av@|WTv zn)pA(GJ19E=spE~mco6d+cm>m>4P>4uv(HBh0&v=V}w>n{EVjWPg!z=PR3TScQX^4 z1#RuVFu%JJL?ZwDzyThUA+!~)bVS7taK&QwkIF?>DJl*-4zY| z*^Z^AbXrnGoL<#4tOHBPseT6w^OkMim+S_#hgw%tlL{J?`E9uwiRR?ZEiNK_UIeJ; zMV(77@fNj{?et4HMvoY`@WwwZlc7oUi1Gzw)#edk$WCWDafKzi z?Y{Z#b*TV$z0s56{gF=m?;{y3zuG;lSN5pxi50L^QGF*VVR@&ztZub0tw}qR9CAEO zR-(CDE_Y`_Htr5vb)f){>gvaL=xPTI?hnr#u4y6(@rm*Ck2l!Q*2UFq-(37_yT4GNn5KckTmJXYV;(X$;$G+!>txmt67N@o8R$B}{ ze*73uV9ev+f}!-~W$K{}{J>~TB<;$W=W-l+V7Cws~$r>no^B#)=3w8EsUo5=W zNAt6GX6q{&>O@lo?a$2(4APz0&Cj>0om*a?w3ekje)$b;sw0%3Ug_wtRBd&#&VH8N zrl8Gp?^})fCndd#*hZH%ayNH(C1%1bpZ#!4aq)m$3-9?RxBF$f)hr1~)9~~<_%tG} zrFEipujXx3YHcR41`dr{ypLMkHnoa<1soQdSA)=T)K*(eyWg|(Sq@U?F-La7mo<+j zdL(fhhKTx}^Cu|I&ClQQxjLFELNodK+1yR5R42Bt_hl@j%(ttnD+d9aajOzh8yR|M zlnb}b$#*tCKj&K}uvfeY`r`3VDTUX3*!f@9Ni<9&3*r(`Y+^y|U+vop&RnJgP8%X|9nb}f>gmE2Tn=*N#Azoyw;obLVB zSm);ErU`tnXM`0N_AK9AM@NTL;K75xaZk79Vpv!*s?jI~&3Xti2xvL;S+TsbUeM6c ze2JtwB$46?gt|?S!T|pX6UPdQ`2w4skcj9dT5^PdG(8;p4?pW2=-`(2k=$3R)n8LM zk_Yy@4o*u;lTArW>z`-El6=L3Din3xNOyM2_s$;?Re|GczQ(8M5M0{u^S%RL|BOSn(;(qQIL@k{ux!COeFaw?Cj9M zUuV0AnI)|QfhPa+H`zK>CPE@2t!O(d9b=K&7xs5iVjm_WHfdnmLx;pK%J4yGjOdfF zGR#J;KKGbevCyNJ+lSg0+b?V!{=EpZ{v0Z4f+8_2R`0NAF_bCh?N6I48$I|uv>F2o z?Kl_hcQNWXl3zTB5}G98VaUbFzv@@>B1Bm8F9UgbwmoWVezl`7eeP8&W&2lxHT zjaniqDja;{!_9T)fBD~DUdk_4EYu$JF0>)rR*~$D5MQYjSC9_p*+eMN;kqN+ zr_-$!z%(3oxmNo8A2tpS6B}C?#eE|}Dys1Od}b{zEgd~Q6B83gj8USxy1L8LT))}? zG<5WJY5JY{FWs?BvUW%wG+4nRSt!~n7JMZKX&WgT)NBmeF9vUQK4N?Pj8PMXD3=8v zsk~jU_NEOf*GtSuhoY25$kAAnf+9&t%{Aq9?jz?FEZJz<)j^tVCIUr8MeET#Y}j-) zHWLxc-y#Nt<=|+%obX8jpc^>{Hf*;h6+@qjQs5Ush zY;JD;3#afc4h6Z?twt{V>HxBK``Sa=_N;a{9@U*&op=)->e0`_paUjYNjU{ckRQgm;Q7xMC zFP-W^c-~J4w73tO5gdC66+3R1Q{w4^)r;(SGM1j7- zsry+PmoqOCR(7<;dMvd4Bj?V>txD4T#RHD`*jT!psPtym#6f+Oz59fpj@!`W>4Lpo zG*wAiwbVR?6%-V3v;41xq4c&A?`?ZyR_BX7ntBcdHiIk3x4i^`9_vpxcvDMea z>Q~wH>}<8wNDhvfFXOD&yPHRW1L6%j!moRONH>0G%f(7XAqc#$nHAp7p3p~tR$$q& zSC{yE=*3FUo?#Uf6m)iXlaP=|jTIJXif+S}va;~OEW{W3c&P0v;Y8}GSzei5B4Hqzvbf7F zUm4|~VjZXmhGw%xO6|KArs4eAD;i?O7gvelyrM(=#)zZfR>n zS$u#QT(@sFE7}TRlXrG@RvLdr;c37x(kvl|%2VKfbIqw&6V{i&pjBY`=so4Y?5u+S)wNtf{GeotmbV<=A4az zyo+nzkRmdrLC27^ySE1$Bhc^ae5A>3)7AdqU)#<8T9$u-tsyEZDmj;4C;Y+S`q(F7 zj~(iFcOH^=Y$82+^vL`0@7JxL)z%Bm!ZeTE6<(eImKiP9fZC&X|pijO?Z>1BZu)T^%<6{UZ=x8_cL~@p=hI4auOvF>rVH z@~5(uv2j34ix^;+?*9Hrc&#K-R>qT8tjxAZ0vPnEM?^(yLyQPcFjWV3R)*8Cy_@d&ClSfx|PPr z(X?VFlcl<@ThpaRi%8o^H^J>o4-aRnE{V?lk;}%eTyc4yFmQ5mQbNu_uaNHgp7=Qc8*b1TWda;E=+mn4ha=iFI3Fal{n?U3oVaIw91x$R$Gb; zRA>~b6`{2+E@r{zQi0-KhJvW*g{rwL)&)&80h!`R5&GHWY`Gj+g~7!M?1nv|D0^jD zS&K8!nAYU~%+}eDor}ZvH@m((YxdleWIY=%H%xDj zPC6_!DYro~uX*1}7}tjdEjm%pn12o*Lh$bJ`kuSu;u<~CrhV+wGn)V0$-~2PsXfqc zu{EQxu#j`j+}b)t5(y6d>D9@ilZ(sP44T{TF1*sRvfi?!0?|HyHYtODMfqeBDF$l< zbF$V!pUKo)sE$+>uEl$s{n}r>dbR4@-%(gs?{PHqJpdV%O{+9{aKE~yX65W)e9*DN z@Jm;%?NstZ2U-CA&;4{*@gm3X($fdPYq2sszC3f;S!ju@udkn6g=&RMBN8w9Rt?{? zx~>jm3EEE{0Dtsli;-jZteBYg)&8VLpEF)4-8Bx2v;+jvoU2Yp8=A|@%WN8jgiujd zI|!aAw9@jUo4~RBkt)D3;kW$zccbrx;KIU!>&AFEyex|i&(CUgFJJaD&1VdkjSU_W zzvKO(Sv}VDp%{C^WvQ~*qKYO=@|imQ28!3U06fK-9$l(epyg2JdUNkDMQItCUu$bg zm*iQA-I`EZfBg6{YG7eyb=tK$165UPr~R+htA*x!9>j#Sw1aRxECPb=g@wms_tE8Q zC854%ih4-`ZbX8GqI`RcOrAUpY8%w&G>v7vUATW^TigDTTv;b)=e|SX^+LPIoTvwV zkz8!{n)kaf+HY3amGtSGki8zO{fNJ(9um)?T`v1-<*NUFo8$gUFMm?>org-6)seY5 zIlITlfA&nbzn%hGejgf&nIYn~3@g}tbA2J|wSRZuPj-#SgNhezgMb`9gq9a1CEb64 zVr**K0hKZHpF@0Q9-{?3tfGf9>oj0og;`bSMGc;0JLuOw4M)1|bA=naw}i z+XFr@KPRT9RxmK2hQGHs-ukI`!e>2tH-JCsQ&Q>af(TSr+sRU7X3oD9jVgAzDwl%R zzEjeB&$c6%H|0Dd#i^%4QI8J~f7I#_0I_IL_2bSxgz zF3^cgzDJAzN&zmU-f&yayPp6bp9Ox%GJazon1WOGv^9&9f{g5Y41<(fxKxo^zN3pv zM@I*fVfEzLY$uxIpC44P!SAW&NV6k*?XO^$Xjcrz3KQtwn>|0;94phWZ^_Ke^zHQ; z8YHO+lj5wT(7`*6eS{p+m#x6B)at7$GD))EB#!0qQ9gkk(U+~q3i7S~I6FI={P~e0 zLKNEBDQz*BoJvMnh%sR z>oUT_vB}sqJQHx1hjH>rM8exN1m3>jryUfQlZ*GmrM0a@}yX!DCotAcF^l)BGj z(Kl%>Je_81rZzGx42xZ>w6MA$p}8lKOCQNRPX&6K%iSTUfMWnZ4Gaxyx$8fFHi3;w z%wh0IAdsk?l}+`}XP1rFq7h&Aa>Vys$3KuC%#>^)x8q zlnmQ+3=D925$6atx3s7qJ;&;ulS#Roq>hGCt6~tf_`1JogS#6u+cR}OH&zRWl7KRo z|Lw#uBjF-azw-v#_lc*pj2r|^PD|M1bvPL(S~rSvisYb8C`?_0dK14z@HbBRv7F1o z+n5X3Gx69YEGpF&ilDg+0#a-A+%tJkD+Scy4JN@W6ouYT7DjJ~30@-&KcpF&sZf2Y zdREd#lHEB?)x9}Aicyj%|qQVBASG*`GTYc(*$dU3NM0K45z~ z*U$f0l{1HHZM7L086Dl-S?cF9u-2Krq*C&I12l-Zs#mtxV}S!<u zoqwLgVyoVoy;(3I@3B%{zMaLk=y&h%0ByGqtFUJU1uUaI2#;W6isRpV>hy1qN?zy> z3p>LZxp|%@vAK#!r6p>ura)NUkXyV(Aq^v;waYei**5KulIV?`ivcAi9C0j)IVv9| zOJB6nf<&bta32AR9e+utr>8gg-#msA*xlWYiGzc~^O>G4qi?a$&mV7mWFP57JY0PQ zGx^QvoI6IoZZXBZ3&qTjQ7RFbdMJW6S&eKo^THz0Qbwo;_vXKNSdQe#klr^+ht>K0 z_wO^%WQ6>$FZE5SntjebKzBB=v_ycSu&Aic@893THCex;lcNPjt5`_hVEhnw!Y}OQ ziI?+6@=!Uaut7RfLAhf+itVXjvlepnOqf{yKzIQ+zgOPn(nTho?X@PKOVB80Y_yZB zs~J#Q#I_K7eY^_|3h@)36&-p(6d+Q7XrKh`FZ$m&tqsz^o_XKa_JoJ0FY;Y&t$^wSGRw+q4RK8-@0&<>l2vI|kRfd-KkmpoZ8NQw3sUUw`FBq0B0UvU0&Ax8B2<)ACC6|CDl*4c98$5b5f_@q? z#gs;#eQ4@~hAV@ej@Dl~B3jOY_6y(D@s`&f)YQ}~_&?A9R^&MS z?&>uX0r)iV?JZ8q6aUshnjvg?S${q5*#mZf02QQjv#S2X8|>m|coVXBT*jU)MiPh4 z66A*$;q;-kdbK|_Zrk`G;utqBWqFV!z6IK-E z=3TSe1h-yM=GvHwk96RutQtkWmkn2+%Fn14l?Y!P?r6FvO7E*$T-KC`unb#`Zc{#c zr_gh6Sw$qLb}wlou8|zG%KmG)*j+p?AdzTazkcoA!wN11#%2p(n<<3w@HSPwj=0>j zXU0RBQ-gPZ|NadUTo&ciVJeWdKo2P;?JG5wK$9GXMQ?~HK5*@RPh&zUVF?^10#>6| za{U3BH2vp{63~K9IJ8RHn3H7OLGobV22#-bQ2=~|!!iPs5l{?DK1hwk?{gq@md8Fi zo1YE8xWBZtWPM7ECXt$aixEn^@>s_v!12s23n@Z0kny~GK*jZ#_8ecXbgQ$qfmw6J2kdM57Xh( z6tZUQ>Cok?aUy26XnFyxKehI=?$dy|C`COhw9~PIV`RV;cpDctray(? z6eSg{jO^?Yu%#n^@qPu^b~qSmOUsJF+$Av@7D2*BH154C(i&K0lVKx{Qb~3yrND~9 zkoQI{Uq1h}ArZzrxDBX)2MV;iFZWlU&(zu`Q4ny+QTL&ms-kR47meZulC|3z3(G(G z{y1JG`$=yC8%V%j?{j1#M+;S%T15V2XJw^P}n^UrAHvVK88M5Bx~sYxKJk`Ttd>4rrJPKwZNlB1}Mn=qY-e5xUa#`QpuWJtOAl z63i`eYwz2IiGI(@xe+3{5ubSHkZi~0T{THofKz?iNXUUOVTwK5bftrpCd!cJ& zBo?|^fn&jRiT3@OdWWH39idbru58eT`j1>bS5>{-nyz}NdXD=!tv^86ID5~ULtFbR zQP=|0(ea)tC2{2-n1r) zCbvda*`q5J8$!v}Wq1Lgsvyj#0#7Wk1>ZrV3kw{7ARu54f{{kK0hNl0J2+od_wU~a z`SLq}OsG90)?AY6NR#D;&u^};#!6q7>Qpf*cge!?Qt8*f;vx`Qb)3ZU+`j3>G8a6; zSmLRq{QgN@iz@H@xPNG>4cCP$090ea0hWBnk(vLAqf*Lu1C{M)y0AI1>! zB-n_$4UP=|hi2U(>$|kq1mFyRn{fGrlQXJ2n$8rU5lCn1*qzr`7fx<&6RDO!ag{Sg zKN>VTr#voreX?VIZt$MwQ5V#twCq#mK5KOSx67!-xq5nX#tj<>50`K*2|N?O`ugMh z1T0fJ=3_}O{8D&>fv4AUF!;!Qzo$=ByWGI*_dc|!@K|1P_;e7rPA@Lh;ZC3nNPmw= zu|2PY+6QvT3ShJ3l$0uH8!KnHa(kj5&=?;-&IEY956VH_%n&>jtl!ts(GNgkM;n|> zfsek4ja3bKzXrf_>TS3l;ufEeBmY5KM1HMmBDbZqR%fWO_~PT?>oD;ZqRBFys&BOO zo}rw>11t_Xj=#Qv$`$#MA8a}Xc6R&jY)}Ws%k-1rJ;nWOSl<|UrmCtM&uy3r^dChf z?-`MTqGBAn2^>#cYM}=ckHK6Btg7N!^vU%sq=b_QCSeZTyh4VEfK<0SC|e4%9MIT$ zdY)-G%)D$=F$)oQT9}LX!(kRNe9AbaD6xlKE7|GCI1t z;UC8v04k^E1{Z6UMF3GXY;u+JYo~kcBcy&-I7KXIKNDZ9%vKb=3>b6udn84#3oE~E z7|0NEkBy*m=+(a(0C2{~Nf?T6?#K8!E9-@tU#LK;w{wt5J5M~-WNNcC)piZOd4b#0 zM=8-okI!h~1cfCfQGgOMI@2l&t~L=S9(bc)8=QWJz4N7sEC7lBf3zurjq#$~>gEq< z7NG6a0Cm@livd##;jaOEg+n2^`MB#n&GW3szG``5ApedH7hpv1y6ut^&A+eN~sRdJuwD-VfQUc z5>}-=i8mO+e`X88p+@*o8xtkAhDP9%biKQiR6g;X92}PWQnD~Q%RPU$h z+|Ecg%;0{qbhktMoVi2LyYc60tmER-W42v)=BO|+L#f?-rV14AuqdX+|JiqFJqrOa z*yi?xfL7EPl-SerbCx0N5kYFftUcCBz0QwIlVAmV;+*_j`~>VDQO-c?Hp|inH-Pjv zycGdEO%|W%LvX0t|nY!sH2#G4IsPqR0CA4HUoiY_^079Rwyo zV@Lr3Bk0W=oZKjO;zL4c`l%4A5CkX}DmQ|Su%rt~jPm6Zp4}6Kpv{(SYBC~*@}FVM zaMklbTcYPF3MwiB^@GK#H-f<@59$ZiBloShAZOmtYX@Nk(_`J9YxPZ2esWbKp85K0 ze|3GTVzC4Mnl6z8ykgeV&i?-XYA|GKY^Rjum3yk=x%3kOuZ1)0voZ&G-U=9E^(6^A zpDH&j$xIO62#O(@{`r%~<&Of7^tBnvFsdWwb?*=>d&W4zxy}_+p_xWW{?FdVlBu*%8fMPQm}zT|E?#W;&tvE9fo}C39ES~Lrh{MW+uFWu z94N6KLQBib&L1H<;e3J}6qANl-1(7`@wG3E4#dUNj;RO$0927!#DX8ZHjT0fLQBhKQ z%F2cwFbyMzp^66jiK8yX8aTmA&3=e5S3v7ni9G1xL@+rp=0hPm5W2af!Wm#}6n&c= zJ4$PU{ZCPuWf<{SZenwxVwC{2Z@@NM$bh42vChJVhgFo)g}#Q9uwvoj zuE6;X4h}Z9uy_iw5H`ame!ScK?LU8}fLR*;6-_05g$%g{{bw?|f%=65z9>l?Fc0re zfIRS~?t%Vt7bMJyeJI?Z-y_hgu>Z9vh$Nrjd2lHoAOUrV0y!ZJJuW(cf=y}vLm_4` zVBdV3^>VfW6}rfu@PfsPco5<#H0juwm;k_V?`{j^z$*|E5<XOyhX{`h9&&&AJC5J^ zIxAF-#e?q(a z&L-_^yX3v_ASS|aBn%7;HD~WmI9X?ZbE7>kPkEpTGJ*qw5ME48x_uK(VhUm^6+u-F0Mh*@23HtYiHW-*1%fm{{q=ow`9;4)# zc4$wL6Y}_ZLt6!S-XS_7>23;XhM(ijwJ&(;&&mY-Z77~il~MhIT`dm_hnzDT zKpr&d7!YTmSW|(J&mA(jcv*UULH0nYU!)~alkJyyhlcf28xsanq(H*Mu-#q9$5)5y zfS?@R+{{mQ<^da6dbL4b>uXO>7j8X5N+F>H5LoODI`a1@0fM zsAm93Zg(EOQb-cA184>mtiJpNWSa-jiJ-llfhKs0aC8&4udgp0{H~6)0ZPh1_KNBu z_tA3~P|Bg@gPsrw86kuX2hix&#;QANGHw(m3-Th0ZGiHMQvB`Um~O<|fenam4EE7_ zrYG=OL3YhzX|N9$n|2P@$H3ep00?gepM6$b)Z5#O4e~rf6O4@|0@}{E=zBuL{5(;? z2yqO4WQwK5#1MjdDGdh|=iK~+ps$cc0&uZA!YPrKmM*A&0epsshX<@FY>@x98a?sw z&LAX#tkdQv1}Q3$dH+|BW^5B+|k_W8>;V>h`u__Nv{@xldBEiSUZ}vWlfb`s^ z>mqdI98ih?G$+Qy#8BUV1Ch3oW-k{|kfi{u=zcbnD^}G9fu9Zv-9X$F0?2@y|z^hJFNPj5i(Ge}&hIba7_%A_lb3ZZcT zFBk&>7r5KkI97*$|8TId=mBtpCA-!WT(>iy;D`h$SY*B;E{+5ua^JeUL!ky7Kr?mO zn&tsd&m|8Rq!cH2_pZ6QbZF$xaG+Pb?#dx72y(6!-9koO^A83TOG3M>yZ4N_3hq&& zyu1LX#d#=mHS=`>oW0Rc%2_K!EI>{Ew45yb21I+dvs?*IHn3}m+>lUG_Ix()-#t7u z1E2f!?2L$prp)aNpe>YPP$sEUs+ZT-Q_?HS*JM1sy?H%%jo~m0Ll_9&H3%*5&~eBe z*OZQxMt%2|(I+SSs_o%p0HJ*bgh;vxauu$nrKQ)0mOl(j1;mjafsJf?jD9jHQZG4K z`r1%pOVWj1Fo4-<5PZzerhj~M=>kEf{dr-1eSJiXWW^#12sA87H|Xqe-o)UIDNdjr zflg0v`_+OsC?kUgY&{lUUS44b!~I^?EHGsB~$G6^6Kh$@F*aeGhv+x zLKo>hwYz6+aL~Z*v4A284DYvFn!J@&!CJzKDL1NNVBVckog;tDUDAB);@0GQG+fvw zL5I~)z4?>G{4SG$&8pVgXts!a%ER1%H?klkJqqmvYIXr(H^7<8%gfz^gO08)4Di?? zBk&=#D3L>3X|omN#HVIvd6VYQQ6PizPV#Ndi&Q~D!J@9SJGXDE6{#_ogGmV};4`z< zGw4-?Dj!i0k;B1N&~HvpPZ0nTz&|vPK4(9l)$5K^Ex4 zDl!TbrJ>PdC^hRIIw%rC?b?AyYI3jLf?ad6>lx!L1p9V+h%X6;M>6+K<5Y zT5$snvmIzcWNkhwl zo}^K#qgpYz-V@6NIk%RhX(>s`-IEjL>Njo~XYm+b zkOjyh{9x9adU$G(B0+gnnxc+~`jDL5lfq}I_T$wg=~Ivm!EFTsyb3p|+o#-e!*FIl z*d9Q{^z?!Ep%t8USz}{*K;{ZnNNM}v3( z*Bz#R*joAtha*2AW4>J1GLB&Pt=VY!c96qhPO6Rpx(hDsedQf2d*Fupb#@?f_X|YummIZXT+hvmv zQ-61Qp~FoxbvGMdzSNF&qRNNhGD-Wp1f4CR7YZgOrk%Y#LPx8s^;#1ISd7RzgH42p zu|WR&O^WXM-1#FB5jD^nfZ||dVP(JU2>Iz<+ICgYnLBdi697UW^am->xYlQCIY2NO znmjn&svbgk$ADRKU$ptbzIccBC#?*2AGciBFiK zj>4d*5TpgPkdGN(4)->HnB?1ARS+i!o|bT}E$-q1vfbD`HJ|l|Wz2F&sft9uF}Ac! zGF^_LvmP%bf;8tNY@Y-v-Gv_vPS2K=CplWEyy#ImRRuctBScZ?jbpX@`I)(2>eXBRpV{ZMCB-ex?+7#m(COYC7PI9xzbd|- zQV~lN=pL_EpP(I#6t`L~vUg!GKZlmF<>t!gHk?o@&a`G?pb)it*Vfpu zeN?+a9-pV2Mjome5An`*bzY+!#bhwM0~Gt)>}(nw6-3AY;UWV18k-M}Cx_?AgPjEN z%CTxoWuOo&U0N?8O4TP58e`vye4r|l{=CSKLMGhelM-F_6M0N;fhGKi`-OCx{o~ee zmSd06A4qe}BkiJz*b2WF5tkx;q8>W(vb&kT^43pzhzBJLyC4!Rc96S=h=Y0G6{EOKQL75B=4gC$C5AYwBr{vC&%WN54NR|NwAV`$Ui_fWw4qU$*Rd7{fCLEfWUB$sDs}}eN^;%u)X;R^l8t8AqS(Gw`$AN5opj3X(~{n}CKQIh1mI+q z>es&qv4w<&W}w;Y0MX;Yiv_1P9d=C`xM|E4bb!b}%%v1|z6&btN7&AQQBXNJI1uU< zNNF5QQTsxOJ!U^s<0P9B9YZJQtWm3S6f^l0iLheNpP4YZ>%2u%GDo<$1OK~uI14SC zk*&l!QblT)cZ%fVIlU1%V4$35dhcz5MHOKb0g+DxFVPsfIEcM(p;3MYlwAKxzs5=x z5xNFDy@_=TTT)P6>d03z^kNI$Dss&Bla|za_-MRq)>LcWEpTnOLzaUp#cy@yL8kC_ zZWI~$At^LdA75Xu(_IDtxd_Ax{vI*;@eEE7Xr*AX=0HhnXlPhkS_-JDLPI6l$Hi#I z2bo!$%sxI=X=WiASM{l!a1OtKy_UX~(viZYhUP)xTVCGccI@Do=t7MmVn~L1dU+v7 zP>dm?Vjvnc_!^I7e?Dr|C;NRCA#cGCIlPCff+R z;zrcxGzPY~>Czpx;&<)QU=!G{IVPaw;`T~sy zq#CTj(4!(vxoUFT77gCe1-C| zZvY%Q0UXm=@G+)kImt7dSh8)ue)Hnr&ByA z=J_+$+H4X8%LG;$vvX8dTI%TPx&kUeQS+DEl$0^ag`R}djV_-S2ABwqUXXxhfTxl^ zb`~ZBYl9*WDh;R^awq32$niJ)l7p%k{3J;?q4=0D*vnMZtKyP!+=Yckh=# zQ-m7_(KYWj3J0l91nQGqw0Svi(+4Q6gk#U}Bzr8uh6(_8cWJ9stW^%QL)}^%GQhBF zaDd@cq#Opf;aAq~t(zpkhWZgxB+T!>`N624N}7NQV>LD`t{($0?*}NX;H#f>9U+Dr zKzlv~vGj1`5)oB}#gUQZ~314rHNsAvRlCUq97<09hzrpeGY0rtiU#1pQWbK^Z1bAX(|{2c?ePFO3ZX~}6 z3UXyc81I}04Z8$zjvZ*|mOr(VEg9eLPs^4zCixszE>d(+bgvd?SKhP{rwO}%P1JHQ z{T#M;!UvMzptI)GTc>Rj)Dg%u�Ufd&~nHqKMgM$*s`rH1xGFnEOUlX;#K;VcG1J zGDZIz)cL0?fOCr8P?)%YT3B@KPyImqM?yUsV=tZLefr>d`?qBQXbBrQFgFy!EbbLw zurV5dz4U&x##gF#5R=W9_$It@KT-Vd2raXqO{rcgj(q4*o5?Gfnf%(#Rz~_p1>UZv&i$>6v0 z@w#v%yo79rNgeoyO;JfEaG`in z_t#4xeVH%;H=`G!)H4Kr1@_TbN|3aa1>!CNOCW$LIFvAt21lU)N+;-tq^<|Gs0M)% zY*(cIW>pwWC?A`FVPF!_ zb^?Q+|Ds;EkjSa~0jMXh`<9M;5;vkX7V1>xP!cc(3b&sG+>;-Ri@`)gSqj*QlNQ>2 z!c$A1mjz%$6{Z(p)5rt%0M7dxCLszR74w7I3-qI*scC;T=|zN4^V6=cn^@s&tXS49 z>mbCjC#x#`@4yBXL^+`OavC-3Y8t@LhlH@wt>?d#<8{Xg0@1}=?0#_E3(`b6^IUj~ zC5_Asrx3VA+)AApbiDM(8Lyd;l_8Y@(gzZ=#wyr)VG$91ns*Xl9lQ?y5K&Tw)z?3S z)(jS20?;aE+0K3?*s0+l)PT~7Fnd8}zCLM-FRO*-23>5W*R~X#U!Z8S1m-CEN<8G> zJ2tJBi2HUY8N{(^*3_Aca%B6wUVyOfcd#+R0Ye=y2zGyDWCRJJ+k!E20P`Y$z|8^s z7+AC8#j(A3IDftOkq!LQR3D#48K{GM$H!froxz|mg3dq*4j=>zOM#?;PuE z6`ds^1d2wR29ULg$;jR&B#;62_SXChu`9pdXW$|8LbqHwcr4o{*!4FuEBWq*e(GUL_3!dqiV=tKQDeKy+pZ$W2cGz-1`*syTlTAJi}#pPA^r5qB;Lr&nIzT z2q6*A&&?47?a#uxEAr?Ot3?PxLxGq?p1cDHvN>RLF9T>GerPux148Z|X}|2d+Xouq zuAT$Zl}4E!SpYD~cmy&B$#E2pBQ9MxpzUf`T1dNfvnnL-YI2j!TC!!*)a;?1QZWx6 z)#C1WP(^tB^ig)lk!~oy^@+nfkT;yIejb~Yqaez;M6b4Zp-~XrUo=36dTA-?85!#! zcf6;GgmEH3SieE6(MwB0Nc;dvTqcabQpTkf6-p2SuYIJ^#S#P{H}=9*P)tDaMCfuL z-%5aJ^MHp(&d9>f?gwB*pp~l5dTLZ9Cs}4SKD^H%1Gza>QSqKQ!qXd{Vm3*ylRUicGHqH2g^KdAXcFSc^vj3>Fq^+>%y z;odxiHEGpcb#p;#M~p8bhycX+pd~y7kHBSB2UsQ|lh`SJNRx0Hhs?ber3C2N)>AFqZ+F>HBbH zdoxZQvKI1JwhldCh-qM$fJw&aHxCO<$8pQNGxNWD(_`>{F7>tm;g#)8jV>J@wEH{M` zQfx!`D1frDA16^9OY;5R!s~ykg(`#dj1I*DR=hB}$DafcH0EG!=m17TO^uD);Rr)_ z>eXPa&2+kxk1a&qXu&Rg9Yru>WI~A+!sg}z z4~WlUK@?O9VGz)ro5I88$~|9~X_egu6}q(%W^M-5L=Yp+D~ymbgGk~-c<6ytffN|^ ze*xHCmn%Ov>+kGv2sh-YZLT4I_N@0mdpxgwyFCz95fud`Zw0LJ|J>yN?T-)9BRpv{ z9LT`lhl!Uuv<)QxNEt+;EeNR{UIoyIr1)48u*!Mevc9p-}8lFh>j3K5ugazOHH!L0iZV)6POt9wFZw*IX=;1OSM+IM# z!rC+|!vU|skRaw&6j&0=W;4d{DVM*GH;0^vLh@aqNk*gy=EE~XBR?`gFAe|8A~dA3 zB)fD=Ug2*Zq1VTDvFrjJU{Hi;Vh9~G{fYne!)zCFj|pm_cca1M_{<@$YA$Nj5AYf| z$SDFJyuQ9{v{s1fL?#MG>0E4AYA4N4v5xH8r(bGFmP0csPfMHa0Ut!Z7hCcxgNCNM z6=pn=pbe)38Z{vwB4(=MXpJ|A!q1u*FH80PE@BE^MZ73vRIW_vHJ89G2-*?`qjYh_ zvlQHoKv8P<;(3QK^SwJ^!y`g#1_5UxGph#i;m+!TC#rwMeo#EOq~ldpf(^pJ&mRwB za1xr$x>Zs%GA8N2%3tkTRi9xJn-3_P-Syz3f4DI@B*7?hjJrw6aHTuSsr=T&oZnes z694KM9bD)Cp3UzE+B4GTf5XwvTNUERn4A2$2ilvgW2I{(RuBtlv8!P4yau78X-xd5 zT@NE}7%AKf#?P7;4~+@>&=R{u<{YxX8}uE4gW>_&Xi7=Q9YA34yF`v>gwD|;0ny3e z+sV}+V)I`>k6oz~2P?%%hAocU-&yz9#hq6ROBecO`VQlmO zE|D1+O_K&JOkwCOqh01G1VvJMr8tzXyB8ghloGauC1>ho0}8GPA*uW z%y>H6l04Z4#dQ!s9Y00IiFf5*w@z=We)@4Xv)gA_*r1+ z{P|>AWZfa`cJc8SezNcQGv*G6EHagsX%v>*&fO9$sK%*@Dpd7a^v zF~RmM$j|?-mL*_|7|E#_hhVINjLh47#P=$J9T{bxl#nnoIcZTODTfn4CQ^jn!g97rJVibhY;+1?Eb|!+}a4*l)DpLmD%3N z|LTY`wBzN^AQo2E7hs%JUb>BskI$Lc&zdUQlLFK{KRY{Wn)Cp5IQ#SG{Z~`x&?5)S zUbJ1O+g^d>8wj1fX|eWI^-pgaeA$mh+t9zi8#Xw89jeVtOw?+DUWrqFgfNi&k0!La z^oOC2xUa0PlBLZ+FYoZs)7NKhn5?(^>Ff<%FEOo#M$G$g0ovD7O39MdfrpDVb`sDa zMYr59c-3bsT8?L)fa~4nT1E%ou0hGjXhET)tMwiqU-dV_s8)Eos-kybLPo<>;3LD$ zl$4Z%h{#B|D!4UMEr+AeZv=hTck5@j2~uYqg{aX5)5?ZwulqPEI1#hHoSQvk%1;b! z>t~13CSxHrqCXi6shVR_GBPT4cTm;$j*gDv3^w6cC3-+AEz6I94fvmf?aH|c5c}E1 z-tX=Txt}n8KbtCGyRqo```x0g`Xdpq2J2RifHstT@vR3#k7zu*RPH1BnHMTk>5#{< z1`OdIakV@DuR6{&sHrQ8;~^m-vLpn-0%4P(#SDWKTmr}@33k$GAVszrSt=GX6ce;m zQ*cR?0!lE(aYihQMv%n?7_n7WpJf%4#UxUcLO_-#V6cc7!jc}QU+T2|dgs2mci!@U z=lsv_T-vIA!WC(Nk+(OU%s{MYCp{8gCd^{iI65zrmEJHOriDs>l_SK{R;h?5ZIz@P z%+^&P;k5e_qv6AqdW(18Vbv&9#99Sed4Tp^q?5J|b z_7(iVJ4DQr9h>Pwv}<-@T2ZhY$~EoF*v-ydJl?gI6+0H^%W!vgHpY`c5`ZavZ7 zm(FD7;le<>G*G;M0s+?-qukcaIf@gVJH?BO1*rQ!cO@a+>^ac>rn{$y;_luK{aDcD zo{^cUQmdUQlyl%>_LlfF*=)%-89--3cob!HoBmnnN`$;@GSfwGW%B>^I98pb9PBvLVdH{kKl+5GR z9MM69T?`U7G%zq`#{wt*2;q+SoNc$~SQo;t4v$)2RiM*l+`4@`1~QA1k{62V=H_C6 z1J((vXGx8+O@S7Cdg+$e`MtZl4zr`9@d%_AB3WKuo=T(nj6zYdVkVv-uaQterm)>M z1Rl^sD7ikS;@T1fqO>4BiYeT$+<*`{*Y*AK>AxpXoN%Fgh*su13-cl0mqa&Z3Kf_d z-s!s|I6vbe8U8#vxXldL7YKiii1&#k zcdkZl^Cv8DtjtL^zD`_qV3pX;XWXy|l&(Xyw6w%R>Op|@yJ{e1_Xflm-cC(==jpGO z&1NGeFefo{$I(N!r$~~o3ArsT0n>?M|0%;FLQbo;1VTn%gK4OTt<9}Gm&uCZ_R~gg zC0g@-_B8p;xX4jk#M=T))49J%n=As_v-5YoS#3q zy!d8+WaPXeDt-(+5wMlOFglc!G(J6@e03Ch1@|(UCN?%U9khtiwlu>#bD&L%#x%;4ct*EeYmj!jEuu>7!LH_+tsD=XuOGRU2Ar!uqY2I4p zSz=dTpX0fZ0R@B!$GaWqk&!QyRQhTem=i>e0M4BXzB5 Vz{ED;2RNw_#Ry^1tAi8H`~}q|UR3}9 diff --git a/tikz/figs/mixed_h2_hinf_synthesis.svg b/tikz/figs/mixed_h2_hinf_synthesis.svg index 6016051..1ac03f8 100644 --- a/tikz/figs/mixed_h2_hinf_synthesis.svg +++ b/tikz/figs/mixed_h2_hinf_synthesis.svg @@ -1,5 +1,5 @@ - + @@ -47,6 +47,9 @@ + + + @@ -82,175 +85,193 @@ - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + + + + + + + + + + + + + + + - + - + - + - + - + - + - - + + - + - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + - + - + - + - - - - - + + + + + + + + + - + - + - - + + - + - + - - + + - + - + - - + + - + - + - + - + - + - + - + - + - + - + diff --git a/tikz/index.org b/tikz/index.org index f03b6cb..9c06625 100644 --- a/tikz/index.org +++ b/tikz/index.org @@ -268,7 +268,7 @@ Configuration file is accessible [[file:config.org][here]]. * Architecture used for $\mathcal{H}_\infty$ synthesis of complementary filters #+begin_src latex :file h_infinity_robust_fusion.pdf \begin{tikzpicture} - \node[block={3.5cm}{2.5cm}, fill=black!20!white, dashed] (P) {}; + \node[block={4.2cm}{2.5cm}, fill=black!20!white, dashed] (P) {}; \node[above] at (P.north) {$P_{\mathcal{H}_\infty}$}; \coordinate[] (inputw) at ($(P.south west)!0.8!(P.north west) + (-0.7, 0)$); @@ -280,15 +280,19 @@ Configuration file is accessible [[file:config.org][here]]. \node[block, left=0.9 of output1] (W1){$W_1$}; \node[block, left=0.9 of output2] (W2){$W_2$}; - \node[addb={+}{}{}{}{-}, left=of W1] (sub) {}; + \node[block, left=0.4 of W1] (Wu1){$W_u$}; + \node[block, left=0.4 of W2] (Wu2){$W_u$}; + \node[addb={+}{}{}{}{-}, left=of Wu1] (sub) {}; \node[block, below=0.3 of P] (H2) {$H_2$}; \draw[->] (inputw) node[above right]{$w$} -- (sub.west); - \draw[->] (H2.west) -| ($(inputu)+(0.35, 0)$) node[above]{$u$} -- (W2.west); + \draw[->] (H2.west) -| ($(inputu)+(0.35, 0)$) node[above]{$u$} -- (Wu2.west); \draw[->] (inputu-|sub) node[branch]{} -- (sub.south); - \draw[->] (sub.east) -- (W1.west); + \draw[->] (sub.east) -- (Wu1.west); \draw[->] ($(sub.west)+(-0.6, 0)$) node[branch]{} |- ($(outputv)+(-0.35, 0)$) node[above]{$v$} |- (H2.east); + \draw[->] (Wu1.east) -- (W1.west); + \draw[->] (Wu2.east) -- (W2.west); \draw[->] (W1.east) -- (output1)node[above left]{$z_1$}; \draw[->] (W2.east) -- (output2)node[above left]{$z_2$}; \end{tikzpicture} @@ -396,7 +400,7 @@ Configuration file is accessible [[file:config.org][here]]. * Mixed H2/H-Infinity Synthesis #+begin_src latex :file mixed_h2_hinf_synthesis.pdf \begin{tikzpicture} - \node[block={4.0cm}{4.0cm}, fill=black!20!white, dashed] (P) {}; + \node[block={4.2cm}{4.0cm}, fill=black!20!white, dashed] (P) {}; \node[above] at (P.north) {$P_{\mathcal{H}_2/\mathcal{H}_\infty}$}; \coordinate[] (inputw) at ($(P.south west)!0.85!(P.north west) + (-0.7, 0)$); @@ -410,7 +414,9 @@ Configuration file is accessible [[file:config.org][here]]. \node[block, left=1.0 of output1] (W1){$W_1$}; \node[block, left=1.0 of output2] (W2){$W_2$}; - \node[addb={+}{}{}{}{-}, left=1.2 of W1] (sub1) {}; + \node[block, left=0.4 of W1] (Wu1){$W_u$}; + \node[block, left=0.4 of W2] (Wu2){$W_u$}; + \node[addb={+}{}{}{}{-}, left=0.4 of Wu1] (sub1) {}; \node[block, left=1.0 of output3] (N1){$N_1$}; \node[block, left=1.0 of output4] (N2){$N_2$}; @@ -422,11 +428,13 @@ Configuration file is accessible [[file:config.org][here]]. \draw[->] (H2.west) -| ($(inputu)+(0.35, 0)$) node[above]{$u$} -- (N2.west); \draw[->] (inputu-|sub1) node[branch]{} -- (sub1.south); \draw[->] (inputu-|sub2) node[branch]{} -- (sub2.south); - \draw[->] (sub1|-W2) node[branch]{} -- (W2.west); - \draw[->] (sub1.east) -- (W1.west); + \draw[->] (sub1|-W2) node[branch]{} -- (Wu2.west); + \draw[->] (sub1.east) -- (Wu1.west); \draw[->] (sub2.east) -- (N1.west); \draw[->] ($(sub1.west)+(-0.6, 0)$) node[branch](w_branch){} |- ($(outputv)+(-0.35, 0)$) node[above]{$v$} |- (H2.east); \draw[->] (w_branch|-sub2) node[branch]{} -- (sub2.west); + \draw[->] (Wu1.east) -- (W1.west); + \draw[->] (Wu2.east) -- (W2.west); \draw[->] (W1.east) -- (output1)node[above left](z1){$z_1$}; \draw[->] (W2.east) -- (output2)node[above left](z2){$z_2$}; \draw[->] (N1.east) -- (output3)node[above left](z3){$z_3$};