From fb2ff0d0ea764528523cffdde6b6b3c0515e60e4 Mon Sep 17 00:00:00 2001 From: Toru Hishinuma Date: Wed, 12 Jun 2024 15:53:37 +0900 Subject: [PATCH] =?UTF-8?q?=E4=BB=98=E9=8C=B2A.4=E3=81=AE=E8=A3=9C?= =?UTF-8?q?=E8=B6=B3=E7=A8=BF=E3=82=92=E8=BF=BD=E5=8A=A0(part2)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- suppl/ocp_structured_qp.pdf | Bin 52104 -> 61521 bytes suppl/ocp_structured_qp.tex | 198 +++++++++++++++++++++++++++++++++++- suppl/ref.bib | 13 ++- 3 files changed, 206 insertions(+), 5 deletions(-) diff --git a/suppl/ocp_structured_qp.pdf b/suppl/ocp_structured_qp.pdf index b56f71c73474b96c8ee9d257cdfe144b796f790d..8e4bff7814c91e21219c451aa9feba1bd0f6b309 100644 GIT binary patch delta 51200 zcmZs?Q*fY7)V4dBU}D?0ZQHhOTTg7;*2K1LPA0Z(XOjK?yY|8N)xWFyU{zNibXTof z_tmTKjz|Yx*ab~s2bdW-`1zq-T%FB~?4Ui@m$fdUNyd=A^ZJY(do7*Hww7;NSAsZ) z!!Uz$Z3!Jc2+UcPeYxlxl6e@vE>z;Ly(DY&u8c$monkuGRBqnYQd>V7g5?hcPK(Zr z$ElC5Z_ycg2fu-vUe8nhH)L+e$zMBsIou_X+wOd))wYmZz|iBqJ_XLx02p7p)EMvS zfz-tU+`4$V3GNdVv40#lzP$Gz`HdKlfzxEX7C7wh@_$v~0)>=ILaGqmBwFO)sm(%S zij&t}4mTm@HS!L~l=V;ooT+XL7KsEFTis$?(#*VkO9d{tI?hB~Xa$pgAa&S5 zM88vt5;iZ+0K})WQ=RE*jqQ-ZiLS&89_(iwq3}cIqD*)6v3A)~sg2bFi(F z&3FNm+cEU z6~Q(AS`h+aY3fI&o;X^@71a&VzF*d>?S6gyYfjR9!>gy9@9-_3OuKoR3I9C{9=W+c zXG}H=IdeWAI(%;Y^{@pkEx(D;#2Qr3j6D-IdhzK8r3H?Ph}SK8?n*_Unk4NgV)2g2 zXQPV?@OI_nqChsTuo#s`KbhQoPS?RY$(7MFb*LQz3aq{m8nyqSlt@M4EkjgSi)#{K zU={K?%6yI7?av|+UB={{MJ7mDsq&p# zzcl#|iG%ov-IV@dKHbF>n)wBlN3 zGpjwW$9LTTp8tk6y0){LeT?+k?nkv!5iL^xD&ploi)VmFfRo*lxs$oNcMLelZA zA|wq=$XGN^dm$Fv;Z6lp!FZ>lY_dCYdGv6daq`7=#yG2GbkDu>PihxcWQp~b>SeK+ znfO|EK89101!yPfNsn223=>w}DiFCHbdRi#ohn`DcpT*XCNBFd5{s$ME-S=nMUA@z zbk?*Vxa?wfGD=;_#PXYK7{FpC?&J=jpqye#l)q5^;M1BCMw7ZHjlZFcQJWG<^IL)b zUVT=+_XOMK77KcsDI?`&Eq!e-CAGEIlr35u@Bs-a0!MwURU9ykNK)yz-&KN%&X@!fSlIWlmf6%!9P>q<;gxGHeiQXT6FS~C{ zu>-T4O3hSi)!%9rve2gMf-BEUu}?!PPXLiK*3!E;R;*qtZ`p=6OR!A(@`eg)yOX6t)W)Hodfz_eN(JA^w9j65a)#HJ>$!1eg1!>^Pz%yWu z>a4$KxuFTAP8n+Ak)aXfb(j-D-3_8eO|Ej*+re`4`;)fZo(Gz79FHU2?zHG;_hX%`3|eil5+c9VF8 zcH^d****)2yV5wQEj|Y9+k-9wJH1~g7j1O_Kl+xk#1f?$cNeMW<+2dhN#?6VD0N+h zqe&IH|6fC6&y%#9Z|{}cL?xmw`@}mH6^PCvmu?N@nISzPOkI)U>S%+N$Gf_(hisNq(>863%=4OUls@{(VBBbob zXAJu@v>=@+wmYOb-IsS1h$keOPz+r~Bw42OB&;4TWfsE3 z9i4R=teDz&{pEmfIA*w57}{C%3%_;9R58DxfDskm^c9HDl3{415$n-!wbK1<4z0Ca zooeU;$#&1;-{W#0Zv)pYUTh8m%- z>18O6;$BH=@tF8tPb_~uBS)g|A;PDxt)gi%oKY=6SFxcb`#QfMgVNA@r23CE+EX{}|eVFruzASmzO z-3@!)=fD>ygYfGvG4HRU@8lH3!-0;T#{l2R$$SpQwQW@$NA z-Gc>W2(}=lR3W0>3KJELPgXe39(FWL!x#%weI|=h-ZL-DNJoX<^rA5af&GDaL0*AA zO8U`Q?jL@za9s_$jw0=hpWQ~5xD>|%d#u@^(ZKO<EDpN9PE!8aAgN<{G67HAHqO zn|u*Cz3_dawm=}?tb+za8(TVhp}_z{O$$=ep216Sp3uV){3HWCpJy>=5$(O|?6lZ3eJFP1x+h7~eWdNJi|0V>C}^ zA0{Cg5!84@`*8D?s%8Ws1-@2VbX!6?1{yhmP?D^weiyV_JbtEqt&KA>DLl$Vt%&Xv zv=$o21)9BQD9_nt6X7rMG&<)?MOV8OJ+-bN##pkt+V!kkuuHef-(3+~-mz7w5~YSu zt?fiq<|4WPswE{jPGej258B?kgAZy;3v2e!FIssEBux{5v>0V2Vr~Zlv%h*6>iJcD(#Q;HZZTELcj#7=C&rj?eI=AMm+tdGPEEvOXOQ03tj(wB z5Mv)E7$=-E9w!*VTXd{FWtW`y#`++hSszglXZ{wzKGQ2d7P@gTeEr}l2Rr$Hlau4W z>G!*E5EDL7Iv8SPgzz#Xb&qFKgAa%>#M4Ic!HgEivFnRq- zsQnOqNXN*xy4?3Wgo^PbW>Fx#D`^po6vjvTCNe?8#3=Ve{jt}gZ)F5>kYR9uDTPcF z(~5SZ%fuuH<6at~q3ElwUnbgO8W7@2g7Kf74SCsbNYq?d==)v z7Qnc<(hOj^$j7dx2=gNR+clj=|K^uPnBLa9&v(biiUp^xS)Q$u_LwT1$W`Teg+Iro z)u7F02Jx%ul@QdHWB?(18dElABPbsB_BbI=C$o0@$fr?pPl&oLma|&Q02~n_RP|(` zA7c8P_rGJ76T1g>5#|N{tyRbla`!e?0SK4HpWHaWX?EKgex{8#IrIUTCPfD+;j zhxZa;9LZw8;d<{TTXhQhHe6D>Wq1v`R7!d!qv8%bVM8Nqk?%itPk5?}oUk;ul%U~* zbt%ARTGBr#v=*u`v~-X?ZF1TRU^2n&+vLC#^kN>n@Zba}Q1cOSBd9O#Fo+0QV8=3W4Igh(Je1jU~_) zwRfwq*n7Gx(s+=tP=aw!W(*Bg3OAbnF=QVgIyw9t?2hx0@v`TQrwy^$w2tiv258r> zt~`v$lSvE>j`X&EsFn1d89xb+-6eS(>&TB%+NYr|H?RZ=`?!gSxP+3AQ^~!SrlJ`= zSX*XJR<2D);F*a_=SV64{3zG8$tgn>jA{-^;ha3mjuf61B@n%mnl;nGK-G4z>)EcZ z>mlx*4&@*r&`QQ8QD=*DBfOG80r<@9ySpP(2F9c_d#LdovPS%TU7jN0s`+>1E^W{5 z!n&aJ>nVdB_e*CdwsS@EZ%Cg>JdiKvy>JixYErBjGCo-&87Ve9mqL>0@srEiP;aS_ z$`jY8F>Gfk?}?<~C`@UOh$?ZkMY=QDRF`TvHg)N7(_IwuZbZ(>joP?6fw_&d3Y~mx zsPY3QMSF65Q0>glRTxQmesH9{R58%AKqbeFTLe6A&;v6@OaVD~6Q}S85^LkS9NnI6rUJ(Pg0te~G z9nI>NhWC|lKr;tEr-tjjBdfSjX^~;4TYN#XAT%uXmdIk|W?EJXk*y#wc(HL6hb~A z$Kp0P4#X&PWcU)A!&y_DkwXvrPU0Kh>~%^9VbGcaU5um zZKa$HFrC-PuKyZ>u6@9^dV5%WbIN>7em?8Yn*`mHo+dl7PeXghH91h9YJ5XYv|l>w z2pJ^oKmQB*@@YQZOGC#)*M5XyyJ#qI;hRbi@?Wd#x$MCGw+?b%qQkEvXMqV|>L=(FLm5u8hTrVwGil5+sjIfjUjsW7 z&8e~8N;i4ZQeYT4ABtndx@;|)Xq5}d#sa?-I%|}pyl^+L2CdH zuT-*VhP%c@;Kw1|y+Jb=Y*_j-B)mpLFR3S(tg>py<-G71PE+HkQz1UtC{$qC=-x z0EO+HuwuBn_rE+9P);1ZG~Ith_P8(Bf=X&PB1#q%@^4RwE)I*Zs}@;whq>OchkM4B z1N~>7Sj>OUZgEoKr`8BdZeIPkpGokFOco#NcS_!5`A5lzwyd#k4ulBlUf&q=C=qTM z7bpr*6PIS$Ys)o-@;Yn0#IMsF(%h=&sXp80#TQzwqYl6F^EC3mZw(Z67;m7>>`ni_ z-rIkXgRwO<3+w+OhGx=OSYk|?&-dS64^7`7h#!z8|36Frg9|c%la=v*lJAv{P8}%+ zlK+Xu<3Y7B&c@Nbm~EUWsURZ0Ca0w28t*h3T@@HOJF-ANb-GX4*1=gv4p(@SQuF%3 z+4Z?|hkfn)=+eLWO!*~&CGZXKd{x=4cb?8WpZD+h>#DJ9jXsuDtnz-Z4Zdq`2i4n# z3qL?{Vj*{i1Los+V@v?K@CLS`BG-ufBE@W5^j3Z7uRw<2f%S_aaqQIX?wj+F2-tUk zLrb_@@A@IgVpMo;+o$cXH|Xv(BL4A|7TZyuqvBL83{Rlzda?89!>`n8G=6}Tt*?ej)7wa6*hNoyLTB#bnY5x!ux{C}V!L9fGX zkLJZA)BsZd+TjqpRnxZIOgHspLyv4_HX4_yb6TKQ4Bo+3gyt`J>62ljK#xtukS9=T zhyADF&6DcN?aLC`=0G>mTZnBxfUjY}qU?dun1TDUg zUWCjq>KkNQ?DQ-&;|#TrVd3?Wv7uP;lh+vL*cZl5SN>W^RuH?9t6g5}?SI&5A995T z3Ds%DY1nCM6ZnMws5GnC3TsT&oQ?xvRgRU#cr~pGhn#bG z(5niX*NCEwwiR^Mcvrx_m^JgY4m@V8cnp5 zw@wGNm11I;;x8p5GwA>yf%wa>1G9!OQQ8EiiN=9w?TlGV=bRa7%mNm%StVr- zP9}1!^TL;rEy|PXl`7vE?L!;+9>2B5SMIK2jD|Pwu8pIMW-aKRp(q1lr?+*Hl#3a1 zgF4Ot;k%bcg4mNO*TVT!JnAWlsy(Kup$FU6K?}NvesE@C(HnkWgR+=hjgroBS7_K} z;z_P)QGkKeN_1Zhv*gPyIJlHmmwjVoXYzqDX_%{2&m&{MZ-%NF1~1ZhnSID0B8`g+8Wx01n8-cYId19S$ z>!GmnXRNep%d>hZroy{z9qUrUs(b{0tGUbMnb5bv`CnJnmn^`Phft=Jk@_#&%1>w^ z-F1RZv?w{R{|g_kZ3sso`?4xSmbLtrPk^4v*SSd!Sh-4S$%7|bPv zLDQbXs{(elbEkkS63w{@yy_L|?)tT2!#Q5)nc?t0qTPU|XMtCPG$p3)HaOvQgv_w|yP&o|bw~H1!#y`;JN`Dh>=ormO#+l9u#RcxYQG z+yFayeIb`niyDPDuX?q;L~x<6hs~#$*b$S2F7xroVg~U2xtPJDZc?$R$yO?-4Ze=y zZSib43;65yoFQR+Z`KMZ8GzNlKGvlXNPm`TIOxN`M1 zWxrySp#cWXa|L|budI_T!YqFp`mD;>F>GbBDpyNQP3vk%1lVKECbt#S^-`ymJtD^q zTAG-`Y{YuGerlO^iyjt2>asml)Kopi*YHma3&zS!qvfT8sVKrzR>*<&)TiVe=zfSb zoDSiy9qMy69hiH~aR3pD{MB@934(sN$TK14$w2G9(MinwA${7-Av-$sXNmyhV#7~5 z*Y-`gc)i3Qg8YZ0XqTr*wzhBea^SMssamaK>=68+U{l>XEZr#(sc(ORbaU0&*PH~r zp`FD_mmr;vq*&}lYCJ}lD@Kl=J9oRqZ?nKYTJA`EXVW>+BFogsfJ$YGE%~g?(SwbW4kiVQ-;L2)E@WAwei~bnzcen} zUPYqS5So=bpx?R^v>aR`W}>nOK1Bj=OY#;Jd`6`T^_JH#QZHZZj41Y3lbr6R?OAFl zMxq&KWGwTkjq+iwVq)!5ds;F%X^#0&p#au4G7py~JgDA;d?l)%CPS^yrqrjF3ig&) zX0D@Uu}pEYK4pKsKuW!cb2Zj061?EOMkC=To}6gsP?X8p;<&d{n1kW3QZiGX<_9my zXNZe|#7+o~YiI9uLAhe1l#Osb+L+%6JZmYOt&u})!*^E3&F{J!;Ke^z^Q}t-X#gUN z+eeO=R{t41$0$y~CJV0OV(;e52BU>;8eWa{MFFaH89%G!hcP&eE*R5)U2=IcXd>L*xTMYlUbm?D~cS^#CKD=MQ zxKfmq&unG+bWQq>9y3$}>sTAkD_EmcAODEEfu+roK-IZZ@0&pV`;~kp0Mo>lio@Oq zn+qWg6ZH?mn_@bLS&Wyc<`f$@mdb@}V!U-fFG4wLrHcD!kBZPUyZ;1>eH*g~KYsZX zk_=r1X}modGLskCM2bGTAdxy49gL*dF5$`>D#2s}QSU4T%M=wm{tDGK24(T)$&zhR zf|oCo5{JH`{M8LK<93w%+@mCNpL!UH?Wnxz6)u0 zi0I1yc~ATUe9mn8A`qcw=IbtNPh`kXu=5AMt3m)mJ}o)c-w#I+-&6hR`cJ#pZyf%| zhcYrM5&5)WJB2HYt4U{X?;BzPe=JS^sBL{$Ny}r+{i;CL-|&w|0PGH2g1Oo*62iL4 z&$s;6x}tuVhhOYq2*V}9kaa&1x~)wxN)Uc0wj4Kwz7J|u+%Wf_HX1f~1is&f7V>{n z7xu0Nx8LJb_3wOy`-_A>tRT)2+VVYN1)sLa;CtQW^SZw}JFsZJ{BK}4 zPb)Ed+@-AA6F)fus5Zc51O4m+2!`K@@a0iYLy$JP#Mm5uLf0hR)^sPrEvl^RC+^7R zL+S1Nn6mF{{Dy47(c~O2n6-0|*B;e)G#f3O>{lbN?3O6&bj`zOVPtNUEDlUe0>W=<;Zt!`D{st*n&>{T4k(!k;5s4gN zWBFf1t*hg3(T?PQQ-|2ez@-^+WELj!lOM!8pw)72>YCkw?*nl|s)5sTflk{H@DDGc zRbqB)prsJvfP`H~7K7*7+5D|4pi!ChSx&u(rp1s`2mieb1MJW3R4E`V-+Wb=9)-58 zt0T;%ss&Y7Sw{;y0UwT^8(ZZF0{ow$A8(V;3ZtR+@{%Q!kX4M&UJ-uQfuALerw1c* zGr`hk3Q3Byw}*v87*t2U<7eMB3)$HG{`>|-iJU!m-O0gI6RP$ghraBX>4TJtGwYhNy}uE2%>OukjNEe!jc-a@qoYfAJp zf|;OBHx{2rNk6h!G2kbOrNZXQqEUDPci&lEHxCs(QOE+WkuaOf%k2SP?(J4fI4UDw zub>l%T)Q^Eax3UXy-hacJn^ymmhzcn#DP-I0H@ZP)Sc|TOK(l~!+L$k z7_*`uLi~l4D%2ociIcFeKEuqu055NI5BnLm`)`ob#-Jare%Zz`n4@1V-qu3XT2+|& zbu~XPFI@;Hk_o3lr5q$+BSxS(53gGAq!rF+Cu_ft6j-T2?qJMAz=#yY5 zw$>>y$p8L38Vc98(aTe6=oD`;pPccaG%A+xP#RpD#o?mfzc4eKmTP9nI`omV(jugN zwu6e!6RPdXt^e%eCHugvqoF;9#U4j#)aH7TFpParI$g%{q%EnmFOz5B;yYJWQM(dVQNz(eirdP#QbU#V zuH>gNN5V5o=~|lf!)wk);{sT1&AO))Q=wrK>GhquuX?|AE5OdvWrGDP6gt%G$L0$m zq4@Qz7;;=V1VIssS}Iu?aktH{XS-WAbNyW~&zkCe{CaIeygRR|DL|0);B*@+=R_e)0kAR5jjccSy_9|lTs&Q7&o@z zH5un%$3i$0VP0MPP%asSMv>8VYljq zwpSM0*~=VVSrsvEG!()#MGvVkztm&F;7)HBnV(mR&>Jv8^k}96BeEyojAdV|%=eV)d+&t_uR2=f4yAiNxx7Q%$X? z8+9zXa#KiD6^1>_@5pmxp*`CDv#&9v?R?(SIkJcH6hXxktd;?J;8$xrM!M%(dCHwV ztreP2-Gmk#r4zY_!r0%-ZUZ;-vh@1%T)a$OOuZz$4ND^oyeKTvFIRlNG45TzSe}kw z-E~*;_;Kv5qmyNRaW7H?2M#BnyS*}VU4HL!u_gvp%00ooZ7C!dtK^48<|O^u{M%R>p8gh;8Ly{>K&SW@^3xBCjpp}kb7 zojmDC30+(6J>{j<{;-!WwB?4BTSLSA)`wj^+*Qwrs{<7lB>vKiL+SqJBsEGoYJ|mk z>iBg_7YZ3su0Uv=B3w6Kcu`Co9US>jN1yq5#8mC1N}}yy;3UuWoS*^aqkL!1d`EYs zX9OaqfDYLc$=kMDF+OcIj>8zXC58)o z4QrquvrZWW$i(cgL&2354z@41Z^wVdy&>ym79>%0t(XUa4M?ggsi4#y{phZM#ueV1 zh}U{N9?)DHqBHeVU(;4s)aNX`AXp__!(9z1n=jcXigV0ub3FVZQMWnWIqkKTVvgRE z6$pdO4?4tw?G^v)#QYAVuZnpNLk(h^Wv*i*rb!|f_%C9BOVXePrJqEchg?F(bE3k) zO?9y)%ML2uk+12dK-x}*tVceTZbVwa`4)d^LJE-b(Ak zwepqpGLao;ixxO28)z9gDm270jF`Fbs}zN@8M)}OQ_*kRmH*0wA^n?qN*}TI@hsLD zYECp6w^j~X19(>Se$RaWSUl@(g*Ho;<-<+H!3LN(IXV9)h#qN5#gnnY_CC;TH%R;k zv(FKGcnLouI|BZ2go)JPB0|EG%*>6+DC?AW`m_^<>PZrY;eT4G4us{PEr3tv5$vYtbn}!3trys);4x_5{>}z2xJ@J1A@wJ z#U&KRv!n>2KOW--D^c|dUmFk)briYQMQ?%|xwg3#>7z?_v~_bPvF&jdG#t1g_x9!> zhN^Rd(M4Wh`w$!|RY~uuFqLL7X)61c*bzJ)rmRq(#$00Ld*ACw<(5#)bPq( zAJ-_17112j`yv0F#xmy50ymzLq?b@IdSfCr9AG(VKV<_3Br^3K_2_pC*5T!5L31)icc}iHg&Ag2HL`>nKafvz-&Gde#oxEe}lr3 z!fOSqnAz7qXf*osb9HuZ*B~|jI3Ztw>}u=&HG&(`^ z9bAK?y{&($u1DI%tnojYjD0n3(n^|ypP1-gS)NAqd-k6^d_0-)yPooxLdCh}`fbIj zZ@6aiiu-l-U}BUGz$OIwym)za5Zo_U=k(hWHSIf4t}L6lyKb973iV#w`=5oh_fXGG zgq197)PjfGX3J@{3`7%X37=Jp!v<_fXwg#IAg{$XH;8~>f=nMIqeFIDis zq(5$oTPDixk`HSMCIYTD9f8x%^Aumg3@<|Q0TDSiB#CV2q)2}1gw>9_YYnexz>}h! z3pjGd!X6qXkl3`Q!L90a8a>Dh6UZR~4{7{OXbx!{O1OF-Vw&PX75~!Cd{HdmTkhrf z894KN{bWw`bAb?3IzOg#F(_{G)U%oMdGH1Pws`xQ?si~4O!ewrqS)Qjmpdg+Vdk+Y z%)At7MvL}X#jC(Gi1r#i_FQ_pr+QxfRj7G3UE6{d5Vgs6E_7R``PWeBI%tdwFFjUd z6Hw_oFLq|$%H1y_DrUdYI)yFbwHQiehAi+X)SkU8IpnDy`BY_i9k)FU;^NBNuzy*M zKotFXR=e=? zBULkk4Bs{OSBVyTmf9)0l09WK?8h(W#%(nRAS88s1Wo#2Sqsr-m>(TGBPR6kVR~g= z%a`JlBoDn$c#S~IW@mYW_mHRT*P(oP((jC98RFak3TR38JUSZOC`0KrlYM_G8W(B= z&8^8QTAKZQ?7JVO>&#B6WW)tO&EO_T8W@Q04=3@{b)U4*WXLFuckVOUbgJHCev5Et z0oawl<=EJMa|>z_y#_=Pd`@x%iqO{mD|GVPu{|ZUkL|W%OMr@&e~rPu{Y?ZxQ|8eH zIP4TX7 z&_Jw@ubTi~Q)*<_p!f1`|7($17?^$c!Dd6rY!L){WSCx6``Ka)QPzQrTD6L zHLEhG!AnS56(}z?nHy*WAJdOlv0T#0IRdHj4A`qtdz{Zg$wzM(x^S6FgY?%ST-MO7 z(f&5B+QZZY`x!u9m|<&`s=|`6ugw@ESx@#tthu&lU-`&}EWT$f(@)%YEijrf057F~ z+zuESrd=KVtT1XM0^lvGc=$I*G~t_$6txhtol-=I*^$RY92htDR?@=8QeEBZcx5-1 zjNImK)`pq~=oF*B_l>yueKK0hhg|t^H=d2OjaSTjwFESgE;v&i-?Pq(%|}4p0X~jn$rj_z7v`ec|8vEsDD>KvVG2au{cdP#!o@n&wzH$mi~GSd;L?7Qsg2$1 z7s5P(P=Pj;=D=Sf^T+E{DTO|wzh8wwi7>(kGb&&=LV;ee3#&c(u(@qGA0V)}4`e*( z?ia9^sW{GS^6ES$(`=1PRy*_%_bb=IRYi$sm)m6#k7IVRCe#G>M3 z^pJS+f-QFioZp(844E+&zB0xu z_M7W+1pB;##H3EdiPT~gPM;53;F5Z_=8JclGC!h6jOPYG#J}TKBL)d@u=ttRkN(D% z(VTk1d_OEqY@N1o$i`+&hyL+(<-oB@!?BYvv2&&tjRQX!)))~qt#zJtCD;H96$&n;vOsY`KbPQou#fDH zw|(Jd^>>5kh`%bTZC$g{Y%~Bp30K?S$eXQ@(oNC@H$9`!fd_lO%8hPbmh6+GE;CC#oSO=+mD^)fWCE z!7q%(t|C*GQS2NK+#d3L8c`r+0eQ{%FXWe$>7Z~U1O zl6IkS9`z>I@1DRsI^+ax;lV3^f5QLJ+Ie*=!?bmH=U3O%Y!iq-wli3yODwMo z;5e(9Aoa%K7>qy~>vY}cF>`_cIJZtN`qN~Z?Hu)wYI9m)qZ8{Ja^&8JK&Ze43{n{P z2N)>BkD%UskYUzMxn_;r=!XZF3<|uCDcHjds+0jZ(-k@dl5zb)$|A}M5uG~Xo<*(G zpsN#qZ4J9%%fC|~m_jp$c?lBjto@Wf0CAhwWHuhe%rn6hM-OTb$f8TZZfHf+c?joT z>h#xHH&PW>@Mn7t&yg^*Z zP;ZClHs-5U4({`y*QWQ>5zr9Femc=tK8f%^#IV~P1fGI>pMx4Y9lIDdI3TQM0KfPo z_hg`aPzso?en$Ri+)Gc80@oZVM!*wW3yH9?uKlUYSzk>gb}m>n3Zi>#w3c>Z289+d zow}6pw(FG6ywW}P@JR%c56|-DSq+ma8TIw*!SbBEa}VxmKJS5E5T2wcr&0pKHP7Yp zo*-c(fROz-k>PDj`LiLEHl80@3s{EfFzXoIu*p}eG+93THIC!_Hnqa2q%C95pfV?r zdDNf#Mhx1&ZqFzU5vQN`_`qB{u|kGQ0Aq+hfv+j>q(KqMw+Ke?2c`#jmc7jOFzfPSnRUV+=Ugp>j8%G)KX!^dw8CA8 zrFe`@z+nr?7ljC*|7Nk`_ti}$O09hO3UKuC%_7-O)_jiU)R15o08s`{G7yj2ZH&0sZSLih~}XyEnEl-V-Pjr{?ZLT1cq z%3VK#&LCS1s2}!0NJ7L452Yx7wO#BkPx!>_llA2sOqn+btDo0a3&S|$LBV)pY)N)5 z86M*G+S|7xWV>z`Pq}3wrftd9x(saXH5INw%Mp83hks3=ncCKFntYk0P&+qq2LFyJ z^0lATWHEfh+eR^pLeo=qbib2TT1nL*NW*zA4iJuMQmpZP=z#edRjm9Z*aRjPH3+lF zjj`h4bogoic*5`v0_#-R{(rwXu(ACg6A#D#^6=;-Ov#5ZqK3WrMK$4?z+zyz2}$B6 zL?E#ZCA5b=2aqnZm(qIr_z*QYF67k#bEW@+yQ!)9tsr|-3gE0U$!AgNjnz;K$DH;_ zqXOkrZz$T9I+97pFXa7QS%ejVzBY%tHZQ+8{F`+dEWRH@0~WdfdnDq`Nu_10*n#ey zkYE;az^*Mey|$gBr+LvBPL&^ZnDssh?s~VAbd&U3G>bDF(FF4f{k=j_&>k^QROJCl z5-Ti=_*!2Vg~0;CW4Q`xtbwdKW|rXM$9Mx&7|LAa-ta}_a(tl)3arn+)5qkK zPX z!=G#sy6|MvXko4~)T&Z2Tacu)h~f*wBbUMc1Ab1K;(hhgru16dI`S+%BMAOp^0Oa@ zZ#{ET@S&>IqDp^&>vfN9OHMVH=Em0EQ%`fndl0O(N@?)Ml3+>iyd-!kQh6$~DtMwb zKXLU(O9gRYBYR<}k@DapA*v_?Mz3h#wsG5#veuRJ-*u~cc0WPG;e%Ld=~(>T2!sfg zfl*uM2JJC??_b*0YWF5W1OCG~PFg$lfjI)IHmIPc>iT)$;^}mqAr@Rf&7Y9s#e0n%S(V$b7wPu2^*QmdFoAt->-4m< zj22m%Ze#Y&r)9rt+1J~O#9K;F3;vsx`W z40-eI(LmL5=1Sv!t=tU`a>q?M5$KV{>8<>G@_1wf{*?_kTBZ34+o;q{)jwCb3Wxnm z_KwBNK$Q5&889*sh;J+-Fn!0S`EHxxw4gFT=4#*HL-(u>qy4{^8= zPuDX_Fn~#F%Nel2+e3Q$G3=r{3DmLzCMJ95-D6p-RdnBJNuD8am#JbpmR}-oAYDX8tnZ z3H1ACnNxY^|4-fHOg7>m2maTu9X-Vv`w&9R?g!Kzr|dGMmOE2f?byh0yKJ);5Y5+S zQZ&f@fwsDUEfIwN7Zw&-a+`4b`AL!IqZq?eBUNo~-RX0%K|G35Dg6M|K?1$*k!iY# zb(S^)U-5D8(N&+9%{&ILJLj%vFL30skam0YLe6)f&}3uZ3IEZupcYEdeGMGrhMluV z%4Mva@xv84cM&DWo-P`tRr@2D#Tp@nRW4;JnaqfkJ`KiIS3%NR8mHo;m#E^XPcISk zMakDi;{4uCLb+4GN3XOqsv9)%dk^7^Su$Nrco8(yeXl8Dk_5GZyKN(OVT3TqqVz7Y zmW>^p@zZA}`7RL!gfV#_hXvqd{$J0}c!_qhDi)YwJ8d<57PT=Gyiwc=a|mVa ziOygP4T!NR6&n?iBLwHj79&dtrF?QemNe0U=qyutOdJB~MRZj(ITcd>2wA57K)_iO zXLnX$vO{XMzS+rs-r@UdHKqw@I130|e@NrUz(RyD(Q7aL0sg4&+y*Y28)&O>{_#Bh zTKSq-g|!1&+#XpM&KP8tW|rB|PZpbgAQhI!EyrnOqv{PkzoG5}D~JCd>btC&HH-?L zKo%PYVC_#)N05v~-TRtxiMwJGTM}o(HoC#hA>Ox&(-e%MY0dIn>aaPTLx?8Yo)wHi zYc%{TrSx+BK1&W`H+x%lUlkywdSE&YdexZF2^K&A-uU>&-rtGdcxtYKBf{=>*} zCFiO3!OQS9Rp))bQ<5n&*yi&pA0cAFgO}qBq`phWk8^evJ^8L$$a=&J1K$J*vpV5e zHlMdx4}A>FV$);VNE~XSFKE;ve%e~+d#n9Wyo}<{v1d|DUK5Eol6P-H{4i^ACFyqQ zhCVjLNpE+W!ZT9o=?lo((p=}||AtMo311gbn8T-=K6_Sm!Fe>q&C*bpbaY8P>qfn$ zO)^i#+K1xI4L*kqK$bIaA32R!Y=hq1dz{{tD%Sq_*ZR8;z(k+U0!GY z5G7l+kEssNu~tiFZW9(aegAUPF`xf`*gB`^Ou{8x$F^~+rS)mMF2Uw5tQs^@*{zaJIrf8>Ge9RE`~=qCu;2eP1qxP8OLmX*Vq zfXPw>NsyExSXQ7ERt^x*sR2PN@p9 z?63xXfNM5D%bEX+eP7=IWaWr(U#(Lio&;H-XSz;l^PY^M&gon{?u!M$1GCgJiQ#Ar zpUeydi*Z9#UCE*KudIlPv~ri={s^S)tYm?JPIoKDk_WG=pVtsN7C35D7Z4O z<E@21vHr!7aS@dSq9er})*z}< z{y+vd=LOpt^02j@kZm(Y)&72A=gFL*$Q7(8BL+tamIoIw>lfzdwDXbVdc`})lTqBElU z<;_V~4Qx_``U3v~&YAw1pcMmW44#r=E|qFx>2ulW0)`bHXI8rCWTClALmBS^^n$>di4|*8 zkggnK!5=mH(&Pm?E6%16UHPhlB{kOtC@b=&@HGY7yuYgJrI!mxR@6YZ2A zYLwhRZ}6`>^8O6S7_6=mbOoxP>#=Xs9lJUdZ4j#h*PCs+aV~k@ zZcbvFbqp*QA343}B~Kx3^}T{W-l`vM{BjsRXaOP_36n1CcgQ-XCw7e&b|^Z(DFed4O}as%+alMl;a-`(Sl4qWJBKte!=2zB>_z50tTBZ`hgW81qf^!b)MyY)j4RVhh1KQAjRRbB5 z^8o!%Qt&1=F199=iJ@?oZ#MOY&YGpz~Orcc>Cc}sy0%y zE591np^*wp@51Z?hA#lv15C*6791s0Z!Z6mOUP8l`=-RxCR)Z>hvNdwC@Iab0BJuu z9^s#@psoj%v}2c&*d6e6n@TE>uC0YNH$WzhA{fHWBgj^Z1=j|5z=VvjYpIQCp~-j8^j(6f0&Cxuaz1L5a_(;NBeC-H@<-AMup_>zIx#TSHh;;ikRVd7#C{3KZD z!4x%+`te7TeipD$r>c$KvNdavN8*t52%md)DdN(L(RuC9nK!4#J8;H z?m*e_AeGSjQOlW!2@0B*2LuJh{09SKVsa9Uf~V!l8>4V+O6fEQcc8cR^)=IOd-`-9 zm$XVw89_$|>QlWlDWxG3_x3efGQuPIx>J78WCq!fA$^W4xE33R;v+l_XlZk=7)5=^ z`XUkalsKUB)&KaDFRIlLtqe^VU$pPU)eoi(5C1FJ8xft|GO-&x4md+E`^b@w6#oL@ z!zf{^Prd>-6XJNjGy!60^Z^iDt>{cRWhxX*zMbbWbVmIGnVb}Uz{q13R7_i^;k0)~ z6a;=nj=rrpAGiw-$b3+D4RyJP6q8+T$hsQ`O3Zf+YOXlVCY@%)`d7CI)fBPS&qd0! z4QuIty^anw^lS*f0C#^TT=5^<>V!5M5r_Z$ksZRecPzkIE)~frE8UxEZDqA74 zRM1)Z#%4T|>cnxAG99&4HDdgv_Ana=IX#dn20iQiq`9~%KOo#}o|*l!1=bEJ6cUD) zxTWkoL1fG`KO6G_Wu*IKv{;tZpow*57TDa(CXrQ$q(Ld30OZp_gpF#^W10>!zKT21 z+>f|*U$_I2E<GL=K&Gy6E8|!=^W6%D)8Q}P{t+>>812aOGSREhF4oUdKOFkPPrnx5Rm$US{Zbb8Trr33 z>)twGeu$VD=9T0NGQ&2cnGLEWq879CPE9@yB_7$ejw8ZFauxgTo{ha)T*$GgLWW2X z8QxTA{w7068}1rynU{bUEY!JWpCfZFYm6@qsA=GEJY&(x8_~rR7!kfW+=rAmCjM)9 zAa;hp7rEWS@XVLSd4I|JQW zp?{X{8W4z{Sn(0PdalJx$qB&Ojhm8zoSKCEafV7@s>k{lamN{dv7T6n-IY>%AN?rc zF8XD+&V>EZ44Yq+ZZ7CVxh4Tl4LdH&?|s#jCwhNti9gzbXpjCrc}d@>_9pLZVo{Cn z+xe+qTr=XTGe6L~<(Nw^btw+EuXM+Y4=UISNb!;)lC&?@J_{(ELaiq>IYs+{PLrax zfo1v{)>qg3;!(+}GnP&qYvd=0uwb*WA6--$6@KdY-;*d3FCu|gXaqd&5}R^M(sQmT z8MHMfwf@t;;wiiA!p(vxFG=8BaFi2A@nr1_8e*}8Nq2Djkd5NgtLM%CIs#HpR6Z|k ztz9R3#ZEsZo>VN4C128Ce~mE$Klqjfca*3!L?d&aSt)&!U{*KU-|cBXSf1&yj#$rc z5V4T4S1Z`g3ro>#bBUXO7__>)Z?F!46S1i+zf+yhPrGk>25cZJ6%gxOM40be0tD0V z*%Qd9pxO3$c>Tn(;)1s8vLYdSDu?->3iefRnM(<6w}IK>U@iO_vD@>&p@4djRI-_5 zSrssSgfu56OjX!~%bygtfE7m@GM2s26{P7t_FDA#9H?R@e_6j4{*IUM+AeF*b1l*5 zj0O7{5Y+Tg9u6d1k&K%R0Gl%@1Rw*J@D#Ic zFl>tz?iFAEe&vcBDDPh*t~TxiAbH&rR|@#>q*dL{1CE_y3sM7nEy%dx|K%GZ1~K%W zmR1;NiAIeS6?3_T0u=ObJ0%{A?ZEwJg;I1L)f$kXD+hiP8)%e<}p zJGU&v?7-od#kpq}C*)H+-Hi~&S{_yh&Ml4Dn8cN@GZKHUV^QGuWbYWXOYf|fP-7cGI?b}SKc{# zankgDz@*-$AGjj7=U=$uV_Gk%c!IQDhWef7bO^=~uxMa6xkSkfkL%df!#S$qO%oZa9{iSr(74nu$q%U~(7AK`U&>D85SrA2|XVDIX~*Ew0;+D{R|G zx5FMRR>_TV0|13DJ|dn!J&lo84g#3y z8L`XSLu5EMQzSo!xX-$Rii??ZZ<)~nlHL0^-YP79e7tDTt~rSh6wdY><*%)aVi@zB zS&9>C)?{IF#P5s$j8AHq)Klm=t-_4jIO!R69G9g?qSAOnf=R2m$xpzrr@PiF7UN_=8%LCiyQ5+gAJ z?#MalpcF@cb&`9l!G>?gyA;+IS60h=p*lBKv#jM%ct0i&XzihY9MXruobF&hIZ6bOA)} zlu2MyFemBa`z3N&IO*gTho{5j{-j2k$M)+4GV%^U6DknMB&`STX>>&zss3?wH-mi3 zbDGHWq%!z;?~wHh8`;%w!uv6}{n8-nmS#G2NVIdsoPi)QzqcKki+R?G>>fZ|8ML^w zwzswCAy0w?NMp#IjJhUx&Qkl`LVfq0wBFG}GidmsO&v zms5?<71q_!Ql;t*DR@Z9K=eyj>%qB9U1yuMlvjpJB7r z6bTyyey*8t(_Pg=Wixk5maG8=9eOlg)kaBL)QKq#nPY9@=gf)AZ)$}tY{6?ZgO9al z;Q~I_Pt^P@ z9$k7Q_Nur&<4eX(rLqB7-GaLXvQO^0sJ44AyWcQ@;s60W*3^zEQoJic1}U;EqWZiv zQLPg`9vdb}rANEu=4HF8>VcJPAeJ4LlwT1^AUkrFi|J>8<1;yJSyNbO3KLc9FN{D8EI6f+STE5_s?AqP!h z$z*GiFbjR5?FpPivk%p0dK~8AS@gu8oMcHU-5_D!-)1F=)jY?}Dn0qj1I2g{T6=;P zJv_qrc_Obf+FrPc9Nj3DsG+<#6c&pW(scEajxmvI2&8gOcK;}xK+5ySN%!^jA!95x2upYFJ z!&li1lqz`qS_ixbYTxrtSkw4PI@>j6@6_)Gv~A5xmfeK%P_N4e!e|5bH!j9UoBmCCEc)l*^&Ac>L~w&b$2hiwix=U>Q4Fuent`Y)V#M zns_tus|2{B!GV`yZJD1!X-1SB5qsDDwFtTriv(~e->?!g^zjnFJsA{^6*q5S?%Vww z(uGRaF|xoT6Qzv3+rA`mX4BKc^(1ML^nlXMRq?7ma`;D}Y|55~F5x7CC*niWgw0DbO8Nq;~GE2k3V;Ne1(Drl>?YbfS*<Q zok>mBGT20zKxW~JYSe17SCCQl*3PBBW!oPT!%M_^BcI|*Q>I7vG?=1lAO`=?(UFSzIS%VZUY}1 z{S@3FswEPv+uKd8ML($qy@gGl$X-+vuv0T!C~;y@QdIpg$OubyjKYd;!DV-vwG)I%U@u5 zy?)d8V%?kW+wyn`v%$z_TX=un!*{vc>~Yx`vOx%G+UKHI!8rD#~Dyrw&Y#TSW%|3oVx7php?e!#0u0URk2oM zgGn#c7fMO|z3X1_cVc4%EXfh&r1b~BHPpB2?-+tT5&^Dk1?+;l>?T6=3bas*duVzk_MYKUN9|B^kthv7kg zKB|e~4ypSK1OrLj@E2b^M-XZEN7MiT($G^SI?o?SLRemi<2=yx9n-+lX=&UNeL;CtzyoBmE{|v_z>>Y%M+k{;CLFGblHn} zvsSm_JLl!vSowaZno`Z>{fP~qVB7C=?wYoppy3rUI$sXrOu~M%LU^otnxtx8-^L>z z7Oko2o}+d3;)n&}z6?Z)f%c}k3>-{L+#^J(gXh-?nye>t zmo?qCS*_9TACq6T-6!sj(%y(ZL0uNJAb9fM3Ldw+TCz88al&c78=lYj_a6L!MY-Sq zz*csDGu99^69d~S!)SEsuD>_}T0?xOCcLfwIr>)m76`8pl6b&=A=GV2I{?15OeZFy zd@7+q^?fVvjtAAAmsuAdV_r_3yeF;~AAqB%NSCa*@FDL0*Kb@$L7#)jnnH&@prLoR zQkC8xXROik$yWONT?RG7Ri{vKa1x*NC8fkv#f5+VBEF}D^r|xV(UDrkR20Q@n-%&b zAuY3GK8NPC?wCMG%~71&&9xn?L9M!@>&Qak*u?@7^fwXamnQUR4!Bt|Uxdgl)?K%m zHI#VI>h8-Ib*U%8>b%>T&|Acm3TDHDsUVv??ALa$%AohbpTftrHkZt`Fkh4S7aVxe z9)mnc5Cj* zV-tWTmh`!pq47(!8V`7X2On2F@=V@|EX!uxMEe?tY`JR5do)|B^)vi+;T1Te|Mwr_ z*uBN@Luvpx3P#X~di0FH5F!Hu0$HlMSG;F4%A=l9UHOu&Kh-J~k1LZL$U}zc*Oe`EeOPFZ0WS@ig z6-7)aX<=2g>oQA3ZX@z}*NrBLU4~I%kFa+2q!;=xsOXcFJLPE*qem8u-9+oN=`erzUsALSJsR zh&Ex{e4NNt$*SqhmzT3>RVk!oDwQVZ6<>X5ZAT@Wj@}o9E1{vA1WXLyy>pZ_g_Ki0 zc5MLzOJ!`e6_HtZ@a4Mp%_s`DVPA0v29vR4tRr%T^W&d%({wsy^)V!kxJ0Yu!hy&Y zl-gkkWxVAadrf0fG>4u|(PyzI)JJs_@QNo`GOByVJ{XSmjQ-=xeyu?1q|~{31myvB zDU9IY@x2d1UBOsK?A$|zL0oo4NOIvm5&)1he>zIcm*Sf#Bg+~IDKQ5ko}h~?VPD6T zV#-~2O=c`clnk}{k|+W21(R-!o*}C)+AKLZGQ}p56b60udmt)JE`ypvVuj|WOiT## zpS{qPy3VvPq4(p=ZtbJ3i}Z(}aDz1mzCNJLwb|{UkED==j=GeFjXlE1E68T}C|?{W z{77V-w3;A_br4o#mU48^0YnaQSczSe4ZOP$2lBuiM`DFCmJ9KMz;uL2phZpC9fo_x zIL7zJ`eZ8X8@j1zNdLdn)c^Q_fwQynB-&+Q19@H3sdD3dWnjvJUH4{e@v1a0rO@X| zqfsDv9=4fdDu`TVJ}7SSSA7FJ800o%1YT-8D~%2mE0Tlraw;Kw{jDo>IF8Gc_dgHZ zRu@AcU-P)^e?tqrylr)4M;?FF3QF&epSHwe{S+0a9nJt1>dqO@Z$l(^DYEm-E{?k2 z0nUH&L_G~z;4d2Pz+P`vfvum>=VaZDZL24;cF*_|d5qLg0I^jR>$O-?bpxs%F}3kR zaFw3lqx?0$xAHM%nW8_+80C-YQ}9BVcnr{M;@t-LhaC@AA%_FBNtna1M+&1=GL(G- zUS$;s$nC?MM<5+{wS%(t9Tar^b>mT}*+&X7OELf5`l^ERl@_v{Eq>A4`~#@DI>J_Btn;eXoLT?c+( zA->NAI>pPZ*m~s7cJONyq!Fe4v0I>~rovtD&j?t^+ui-udv=Pa*y1S~@gt{$R!D=8 z&|YS)XaIj8C3dl5o{RDvLF)HT2aqC=)Mu*Ea&>i8ZC{P8r1%v57#gyoArVpb3`f8C zN4H{1u0g^dE9IIfrP(sWg6ucXa0PkUX||Jxvy(=MEFq17Q!JV^xnNax%H0Jpx`a2s zh+<7yp~59K{89!wX$av6JjGTOq6MBaMJs_r=~uPhg^`%k1qCZ2&YXy%C7?>Ss+?G> zGT)iNZ#_1hyDFE&hj4};uIrT2Lb_dP*<$u3)~AV4-17{nn0;2p!Yml`B%)_|3J&Bt zKhNSZ!EaBJZ&N;qce!@jm{~E3XeufiR&%4OwoYl(kHkLAO_*lmETPaK?ZF-GNmYHH zF#A4gZG>wvHDatVlhWM$qk*3q0ehirAE1N;x$js>R`!h2Qum5TwZZ(8RG3MAX4|e0 zBnHDH#w2+nOI4J45^|;<9-8z?wZ(MK!A``PJOvbo2^ppFyHldo z{AHX>OtiF2)tqJR?M+R3Whm94%oz97gAcDSAqa*%W z;GNi0t8dQ@{Y?@@WwQ`h+j=6Wv)&5abq z*GfriE;c%>?A77XJbeYT5NL~pTcl5VX}si!u|2!tiI)2rer5IWNH9d>-E(OHatgkA z_&fBa>n~_&sL4@a$N-uNUt#Si^gJIQ5@(ZPME3{RE#)q|Y#MOR8Rkf1>Qc8)dSm3{ z2ZPk({I-KYIe2vIHDr%nq^84dZHa3t>4gTk=`xYXjUJs0zXWqudqX z052e1V)I-4DO}*Jq?!+J^J?cz0un_Zfife^w&uH8d=J z+cmnV&f?VDd5)WqGV4GuR_Dp;F#%z&1jM=U#*PH3A0tdHBq6uPK@|l{N*Uw(Ug&39 zFhzm5X8f^h&iV`7awLk0#4}=GH;RR`iJ{B5geTaKh6bKQQiu>SNbwShxEn((4oH#8>)JptA@Cd@fzD9^ zaLP6r8JEXpHm_Vzq?8NB$!3l8P)ny#{2KB>c0Om6fk8h-}i`qbtx?=WAAX-T~L$|Vlx;#D#OlnUbAH!zn>9&r6VOV2tJCtE46 z@)fC>5x9=%-v0hrx&~{x^4=0qx-(Y|;|7rq+ZvF0+ZeBz#oxqh2B271VZreTRPYK$ zbHE0;V^kG9O#PMjbXuDs6x{3{X9A{TmEa3bg5bFxU>tAxZrb;;-xnh^g6A)0=^+#5 zF3EkM4ZtD=%C8fc#Crcq!JhD_9WycOr%bPebG{0_5?vUP4 z1zFKBVJR|X3EmPwCe*mZBC8tqXyUmi+JVp)KwZa&9J<`C(lPLHBx{vArnPij4C z-#_Y&4g*!&QN1iMSvNZ`i|oRm4b{+ZMlA0Sl}~0dX|-|}dT1PG9-8udt7bjbn{gcm zkb_)_ok4?xgPB`NstHIJp^}rF(n6ct`FwE03WzFXqWXKuh`yA(y^(LX{bB}396+A_ zmK=+@b(y-%5_%Pb-{_zIpZ7N;u(NYMNJ*l=Zor$=3M?v=Jqr(N`H?1S`k|$x9r|!j zoQp_+0XUn0B*8|{0O@H1DB2fW>}zrgdME1?SWHlj_me80BV|aW?V-xXA9t*8pDA$5 z+i>wUc4=+LXs_7b!S+J|bbSayI^Z;szwrokuoI(m83CHQDJOatm+P+g{jLz@)_3$V zx|9$5dEFd)32b$5ndoiGqq=&(n!y~+&!k;t4z@+aa<@fh5%EINaC;Oh$4b+Vx*-%DTw8)wW{&&Ri&H>Ru^$ z5|Pc8Zgr`nh#Kg1@{c)3f-T^H*8IaO%J}_h247$~i0l@0>B^ok_nLP8sd`OrF9{Kh z@|dk2H8n}JCuH1aBw^W6Gl7S%eft55S!(b1-$3yG2LepIvBHIdL3ob1nQK6{CIrLj z9$gvue_3$uf392q7)_S{;hy#54ebL-Fb20@F`nzj>tS@8l1OfGH8cy0IFAL~3j{bIWV*3L6oYE~u!ZLkgDBy-y?92Cc z8Wc3KRi5_JK|9{Q73tTsZ<=%zM~K8L zO8a$LH=@Tx_-)BKs%=xqK^L)cQ?Z|b7XvrW!GKsJSW`u1z|RFfisq#_qHVhBQKpKE z;N@fdIJ$Me<#5(n_E=nZymB{mKXkWrzk~^_nG@*cWFcs=a)oV^hl$baR>4}&5Df*vSqem8@o*A!knyJVTE z+r-7b=z4MOkX9$W$1|Vyb-%g#@0z}E2g}d(Ljl4-oS&V!cGQ-9S*(|r8>}=s?OGyV zcQ%tWn(Abggb6T?$ZH*5qaR(<<_fK<-00tyKSGeYpHwG%JQKR3ZEv-*aqrX}848oZ zK?d}3x^0;_5A&s)PC}<+ToRUJnY9O$mA(uPMMOyd{Y~dG_Viags1G zC=Ve4HI++35Kn^Y9zQ=)Ky@Bkoo>IombVd4S9=DvJPS6!Q}`9T&3+-*Cgqk#<_nbT zW4@D3T(yGqDWfxsQIicD>M*D`E$b7A>hh3|GX$!HZAop1tHh5eS5^C!k_}J_Ne>(;i|>x7 zJaO)F#rcH8gj3f05w?bAykb)A-8FaW(%K`sCiYk4<0waYR>F;qjJP?}ADxD-`} zLYqXsYZH;(gM)meJLS7<1=q>TA2P;_J-nt`F76=mA4-Av@4p?Mmd*5jy$on~;#4LI zy6yueLkwbUHxoU=Eb88Pqs9kK;ecna}iG?L}yY{wFaPw)fWuq`uDdwp}M#D5`8928ga|V-B{4Wy!Pq$4Z|dmDZdb; zs!BY0c^gHMacsRdebAg|P>Z4b&X3V_8ubF|PD;%T3I{lBHkt3b|F{D)f51QWj;2AE z;y8SX+@X28&_#{;|3p!&B^r+ip^u^*#|=Ns9rqTFv&B+wZ|MT%gGS#X*cq*!upIHI z&xUow8kvE!XLp&=ovGFRyLtX3iV@KBx@RhDU^&K^d=?bzYht$)A zT}o}l&wLes3CvvG(6V2Nne-ktU)Qks`}E)`U_@>E=|f5fvpQ=OCs8p2bvv_6oG1JR ziA}yXAF>V=D=@UJ(rl{~9ns4&KG71o<)G5JQ^)_F%J`mv3{vJeFvnpUF#6@fgFh-Y z^d@aCbT8TY%O0ce;PlVF*BIW5*W(b6dl^ryuf6F-Vj_Ek2-RB^93D=)s7^5J=X$0% ze9o|QsfUW6o$m|qh>`T|Q?)hqu!Ge|w!2|l!g2?;V$SyQ!814GB3j%9)kYJ}#;$$6 zZ@bxBa&P9B%4Q*HxssYrSP_`z)H9vu5_Y#$`$&(0gI~X`E8b0AtoPGg{Gc9sY38SY zeE&bhlP=o_Rwnp2hx~qvvp?(7Ierj~_ZaqYM#sK*gIXXE+yZ+#v&&B~wpHv%Dx-)H zq0ny2BOfmr@u=9AH~)i&|>ONkn~ns0g>v+Y3LYR zDXhTmZefm7;wNhI8b~SdQ<1ft@CoO<+t-baQ|D#>j)5gh%Tl|8U_nKnES?3=`lo~4 zhHram6K8l}+~(8^%in%td_GJ;zHh{zB=&;r+L7Rm?LU@`z3eU8aPj<4S=i13JKG(E zeQyTwCy+Ygy+0x1Ohh@KB&~S?YAYB==An4)4Tufe+<||KA%NXX64?TbU%E+AyL33B zN-2@%D!AwWEY9c&&!VkqC~+SCGG(y+ZOPe|6C#-d;@x(I_n~|i0jRevv~<^cwA=0# z)+H%A0t)NaDHL`b^&YdBmoB#gWgmvj0Wj|&tt@{W=AY5>bG%6=>_uZE3Gw7B)(b8H zWo2M@yf2$5i1r87M_b56H=1&B$4^Sjw(h}(+xNop_^&Sq1jSr9XKK46I_;ARh)Vth zHR^&ujtL@Mt*lz2KzbHILC&;l?_t8hWMX;Bl97k-7s{K2x~*$7*ENh{pS3e8l6IRk z*39@B1qX&y#Oe3>G$l&^*%8@~SlLI3#|6>a(JE<{7vc4mmOqXbQTHsH?H6Fo~Lh z1iOOJ(!o1bA#ZXuVQT0B@z; z;v~1i4)kk)+!xYn1RuxMpJ`(J&zrG|8gSm^#ZHC5A$5Dp;Xll&_POlb5GQ5b5yL~k zkOb~+LZXhZBloMjjN$1$LM+aJ#CpH+%UV|s7kqX1K^*N>_xDD=5s=oRBb7AD3%EIz zosO=No;vuSU~DYrvF%eC0W5I(a9PzKDN0(jNxF)UKVH9xzxv#t9lw;HUS=mas#pA| zD+K7|ajE=2ruhMzE{(BG^HdJ}nLcZ3Z&~FjexOB$xBwWvUq!D_wO%7=igewK1Tkci zas%8U@MTSq8LETU0fW}7d-R( z6d?>>zheBSN4qs62U8|8%j3elM(A45>moxgK`Z#M&K#qI%y_uVf@w^|8+E# zku3qvehs~9*`lDu=$Er2AanHEfj`iZd7&3oW&ESgeo>wu%x$dZc>4L$q;7jT``txA z-CzR9eih;<$Vkp?aPPu8g`G{h)sv}`IX<*_Ki6-^3W*+&dZky z^(RHt_MLSxk9KTHBAD%Fnx`p+gn-8^ATIgP%|W8=4V zc7l3HM%oxe5b1;{lnMkc{sNXBsH9~3`fgSPbiV@@?3Ko$R|Yl>-3@JCaZOIl%&DcTeX@mJ>CK@|Albt4T;v;h*U?S;YBQ?lWN6P9) zebmPaRw9k!s6uk`;K0;m+~}RT@V$bp>}cabW}oF;z=KC($v~3n7@P4@AyzRKMv0s; zmaMZGD}92qs)>|w8rK~r^W-RfLJ`&gg$!jGWGlq8&pr*QJs4*wH*mq&inb|J7q>2c zO|D24SDg!(EPohHmoHc5beHRIQTQQ%&KdJY$Qkb$<(U~#l$~F!?6}}!1@*}ANWd8y zQGylEX;7r8T2aQSPSzB&CSsdEP(VY3DOy&>-*Kce9a~QDJ0^#Km9I~T&+-AXH<^`v z*johpYEGIdTtLuua)n%_-qE_?I$DTZ$mb*0&21Z)=*f)ECKX!l=xTEEKuPpw4G-jY zf^*Ab4YRlfi_U)9duc_eoJp~kkH9)G!n?C9(mzLg?;Z4TuAHX1>ZvBqo)&UUHXQa zd81Rd`bh;pU*vqIi?!X$NVeg>jscg2R8EzoMQ=6OwDZ&^;No(k*HMMqIToC4xswO? z&^fbpvI^_UmwS_hUa8u^2QDn+qG77;2de;V+^B#F!|&A^*0r_!p3MU2S{QWafim?} ze;v6#XYd!k=R&8aTk(T;e$DsH5pm)S(y`!2B_EEDY1%^aO|Pu=fE@GhoLNdIjp**L zT2|C?$LkZi=ojfREs1yOB)&o!(5l)fQ{iive-^i_irCX!@C}KCHf*l`Fv?Nm%I^kd z9pq(%zLYY#q@YA&neJ*oVrhdpjX0Zma-nPb*#RoaGkEN-zVzN5tiMh1P6Pvl&+?N9kzejyMn8!hLp{JvKC# zjO##b>r&})Q*-Lr=;g~O&T%cPHjSQrT@W`ZV~8pfIYQd--Iv9~gn8HtvEK-O@Vi^q ztW{CKvWh0Vp1@RN(LUk{(unNNc|GRcAa?(u#1!?~v||Q0sM6oX*^86J5G)0TkjTM> z7?8pmL=C~H{gI*L#>X`06rrtZIM?6%o7>b`QNnJO-;exg&?GrNvLc4v=r_IlTfOF^9W`@*o8WPc$Jtlysy5q7i*4 z91Gw#9bO6&BW6D0i6?cJ5T7S-Mu8;jaHg7s`Jvxd$ny$3PtJI50>=c)Pa)=wUh+Jujonb+|N8Q3HBM%P2yg)@1nuXpQ zT4zJB@;9@Bh*)p*kVZz1k1t$|xdT}jX(a{683SG9EErQCu5}H6ET1G0(6n>@_Nr%W zArMTScGAlo84#!z*g>9i56u`j9;}(Druf30kvyh#6uz)1+db?}wkGy7=)R6%S}Z;_ zw3scYcd^U=vsoC)8)*r(_guuD&2pi&J~&d7S*h&s1s!Ycs%e4$kqePr&n(H-%TaGZqA4Km z0xYIZ1ezmFH`YEtzVt;0AmQAvY)6JzxM)6gmA7+;a!G^6vHn_+AqL%NV*t z5=$Y(_K-ERY5nL86-4C&ys+?z+Amd>33erp$ zdHts4;Jw-YeCBE3b-itK8v_yi!Yo&T8aWdk3s$lG94rEwFt~2}tmTn{ouImyPK-hc zu_p|2n2?y(MrY+Qn*zX5JW#Ly49BuVCB2=+4ac`EV8iS~+2Se9S`mqyMmhprm}7zQ zt!ORzpw0p3(qVQDDY_?Z6q-kkeCCI+N)n#je4zy5j*A0u>7S9@7wESN2ktDHgvnG2 zHq$;Vuik{!oRk#AYV+{gFyVea)mncIz38M(lX~l+U=X;q%K1)r(+$!#(yHAZw7j@{ z(8;SbYB2S_Ee~?aj+_9#q(C^4G;S%1Y`l~J2N00Q@{}x0f(rg#KATu5nDzaYQ9xlx zye&77h#Ll+?su$n|0u?6(42&*?+2GyR7u_;qPc znt|HjRGqR~Ee^j$p(y-26n`fVRp|F&2c{ACF!F3iP#H)r9CmxRezVO0+djyA!~A7y z_UQ!N%Dbe0dw|ZIbJ=N6i-e2An!gbi)w1C~JzZX`H?>kv#e84_gf?w8G!sCT7dl&z9) zrU~%8K))1#e4hxu%294`atq&$(O=ItNzpJdW^2sa>+8&ak>Rg^M>`DV=y`Pk)8}aH zFjkXXSqk(TC8Ds=v>1?I!cQNq>7^SCnt?!B>p856ZB-_4KKb!WvdwiALuaI9mL56GD*^PpdhsB)vAK>SDf8uAZ`c>Q!h=zME{0qtN zfGH8KrP~Sp44!Y5Wr-;!LZMe!;tidvd$lVgFO=C5*0YHk3KTMdq^Kzgpp^~y1jayq zZHBHhacT)Kt!_h)1fEXm5s-AhEAt(1^X3lSC5q-r0G(5z*Mdzpe*-wwiLm#>a7}g2 zRsi`xoGlIbW|-TJ-=GzI+|S9ts~N*^Jc_`?AS`@qYNSw(c(mIY8&OhNF|9W|12VSL zN!`6lnSzJ#%^p6T^B))<4-66HAm%{0keKgbz+N_8FOTSD5T7HUE;p^mWx-J5l`L}d zjG`;SNDEzc63X`0{9~lpT_85@E`fxP!*DdX*onp#`MPIa#v?qIBaj)Eai)jFUbS%d$mlQ96)u01n;@5GSiZYKTv7u&zbt1K4Zzb|#g z>}k6cVf46Ra{XXh!P|0EPBpXodH}VdEoVoBnQhiUx3&&igeo4-uFlvh_~m5s#+B^M znZ9+^DH`3v#Ix~|f}PWG&f6n|$C3++69J-*mlnmZh!a7=J>`pfa?Pxw|$xqz#Zyq z8yhR$cKg1%!y|IZshI)qvO|1lmdkMF%T43I(*lBOZ_`?u-5onyCOfv#WQe3t1t?h5 zl9H$?fVZ*bVG%#kX2xSxgo|}4NbEbSwe>_UopLAF42}FC@#r?`=Aq770;&d$tDq5l zztHDCubXHgP}uk1Xf4~`riF@N6G z^ph_9mLaSB6E!uVW>}#1iVlBIqx0cpzA9+q=YdaF-U>G7*7<0^!j_0AuyRH8Mv?pH zJiV5l0bftWCsPFAZYgE5!;0ysrfsw)vl9Qtl`YUto(P!w&6=`kks@rNqvN9|r%*qL z4b)M`WwOMuKIvJ;O5brQs0t=yUCcWq$K4813&q% zd9pupn|Ln5C-R;HwlW!(U zZqSKa3-Y3jDfkz1Evqgpqhmej9f(hmM%?up{G-oOV>8^T{-AQP5WSpko}{>zB_G#d zZqFG7+uhTZK^@fca_p~$rS^_KdoXNHM4ovMraic&yKP4hA-|(v1n(m5L z3ZM6jeY1Limq~@{V*d8qh=a*fI$HjBJAVbscI(?|=YjCea^6Sx_am!Lre+5x_Nj4d z?*&JWxeTW5$X%41xyS?_^Yu#AKMzL7uFt{chn}lv>)++?jUKicNn!bl-$6;uD=oe) zE~D}VTg}I|5HP9j++NzYP9U}=#0vChZd5crJ z!s6z$XjsE=bIaoLvp1oRxei*fLO4Q!g4NZXl2GZ|)E zTLO7@XAm7d5RK)9$+I`>-S^|Kb@bl!480iH9*@gBw;SoLs* z8jX7Z``k{h;6NIq1|0SiL^3;#xf4+Zla!bR$KFK0*9&}nhzmW!8|MnwuPjGB&r4GY z83!cV8@R`3f46KNtgqgXF1qEQ`4Wv2Tk2ZM5Mjl?W1yvSNAOyLy*aEknhs0t*vza~ z)y4kbQqj??L*91DWeV41=t(_h=Dt?LkC{b)VHxJ-1d(^f=0n|C?k+jLjScQXXx{U* zO+hC;G03@{JkgitM3Xl17%hvx6KQk|(?KYdE@(U~pUyf=R*mQd>NxJB2_;$qrGBM>AEv35?PVucDf-wMEwvtj?OL;T1PpfDWl|6%yC{1@&- zPqD#zkP&I?37w-X#aJiMohhuy&`~4{g+fF^i@P&O8^yxwc84QLE)0RK{HFNF$m)Jza#o#$S;dlPPr_cqD zjBfl_LYWP9i?76|#C1NR;gvJfga42652Fvv;XmRG^8YW$l!Nns9N_#YY>4M)nERLI z#-1oAU`&y+2-N>oLKu#p{8Lh+psI^VfyprajwJK3yfYmEuy6b}}->*^R~IBo#%REa)MxfM~EdHU(!TGD^c5y6GXQ?(fj< zaE$z{vo4dU#7{AM(?d^XTH+?kPva*utotZG%KjECXxsG zZJjzr*tV$hVJPh3{WvkfMeibI44(6D7E~Cu`tfQ_H8k~W_bFnKst_chX*Dr)uF)e_ zBEmx@r)k4`L(qvK5n2&5w3!?J8nvV?>bgNx zUy=Gr^Sm9siH9Tc`FWzX>S<;TTdF<%%F4>k;nW9Tbd5!7N%rXWSeDEq^TH)si;!F% zQf=Fy&3^RWb=t`|J~MzBeR|d3&2w6GG8?yX`Wdt2?DpUwm4rCh(KhV{xnrEE8jy5& z{j5+WTeqgkprOnmlc2w0NQGo`@iD^si{XUo#2|T)0O%9SVX#-j)CZ0yvfme(N?w2u&zq z2agE(73wO897%&IsXE2Ci;ygys2kaX9TxSY#S-KGQFu-%cyS_b`rvT2WY0L9kl!jG zYlFXC&U0oiz{=4A8);`KCtznzIYnof-zMZVXvIb&GCMub=_}y&Hz4|OZj=|hK6w^3 zd;-s@R+)jd8D+1ARjOuVdfI)_A&nOJA<;5V}W}k z1<2F|5Y}B!P0@hHt)Ctcb13!hwV5$+_CsiYNi}d!n2?g$?a6mmsi3BVax-KNE0@36 z2KdHZyk40^sO#)8RZ91iU{Qbo({;n>mN}bEyZ_}^%`hPHBHnR@Px);49iDw+=h|oV z;^GH)ktciYeZIG@YD?dc(Dj7+A$QPa2Wy?Et*E8+e9ch~QG|N3PqL*Vkuh%I|4RnQ z4`9CY3xis=nLu+X+4=;-z~UI2xaL;%Sv38aDYA9A{<{AXtl=IgI$p~6*SD4CM`5B0 zY|IUTAswKe$5fu&TO{2mrROkaRqXDdnBi+B;DPadcHIvG;{roX?r?9Zs<%J>5hY($ zD%H2tsm|`QI68SxGA0mu<#)Ho`FhP9dO>gZwtj!m+Tvqjw-^%W&0DD;ko?nJU~M0? zfMkgyvKoQdo&e$Y*Gs} zh&5jgO(ulBmcTE@(kzh<&+CQ72L5h;E6x1TLu;DBf8{AfMc=@Wjej=&j}M#qX9Xs? zD1jV+&{5M!=hHmC2F(&?N$~ILGu(2zg;?%Ag$R!_5VC zox=f`U+H=vS>#~GJC_C?g^NjaEZ)p*NP`D}q~G;?0AsYeCGlV76XIh5`7xK3^`z53 zawbVEHg#eN6J}SI)Utl^r(^;mPTkckCUI%fxTW zxj;AU;&fBQZsLuPgnOCCtbJTp(c{yMoI;L6pl-4a4>MDO+~m8BprEdt?t!eH*#>id ztj}Ds7y^sTY)1jQ7Es8SjO;cX7LLF2D{(NL>r|c}K;Cn0llr~E?^(Y8M;Vj*a#+Eb zSeRLod6Q@XX&IuF{(tN1HC6-7(vJo@l4z`{HeLD=1;-1(!SHCVE+kr#Or~#xD>7Ru zq##}3Tx_kAdU9s;X3t&ePyfgWT(`gY<(>G=yyw0Af`WqpB9h%y{TL{716Mf2*S)gAoO|DF(gM=%!8JC{?0+NP4wYR=yWb zs;lA04Re)XNY6-`aW4FZp-O_0z#+SiDKRH@T9%JtM75|Hf-1IJwQro+M+9-Q5GmfW zPqd8#a97pzYuVh1wz8MAG`>~1Hgd7->^;hg2x}iX8=1MgFT)Tm+Rk9)HK@Ex%j7DW zCRU0~w=O8tq;OK(6&)fksN1+5o0_(5UAsni6K(BPYIpjE?zTuR4NMvbpIW2T2nQC+ zqp)jU7BRA{J!We33|`x&h^8wZ)<@NH0~t;MNEqQwN74hWxzmE{(OZPDiGTOGuL2|X z58guY!tfYjUWSeCI<124fJm*Ez!Sn(mpAIdHSS@Y7XDduluj?TnU6iwI8!+9WwT{x z#r3teDe?~O)f1Q*J&F_YwbqSSm`@liJ{Xc=y2Pg_mQ5*(wO)VSAaESg36XefQy8}d zAU`ul_Rsz<%a6af75ccj@pfaW(?3F5=8IiP=*nlp8pO-{~0Lf^+?u)htIXsnjxn* zWiT0dLFR{3_V)h9!?~anKv6NuO3<-X7soe-u(c0zu8PK=i#~EQv?FtdDF0Rf$O<`l zszg~ID69f)1H;@6<=a{;=b)saS78ychU!d1Bl!~pe}sL3?lts?&Qe4>5TqVSxL|&O= zpO*zGA5E#ma5)Mr-RL!$whRo;m87iON@)u>I@>|W6ETl85gr-J!6VTDUi$$VaVPMB z2HN4`s7baWTEvE=CsE7!FP8Y_&j!E2>%OvwctFm@q-f^lcdN=P4}tS3K%1at|4EZ` zxl~SsCo-+p+n|5g4xnAv=1_oJorT+tT@y*FOL(M7%xgs~(~<-uYOEDCi;dI18Xq6d zu`w*xk>F9ZfWH&yk;2 zigT~X#&US82G8g?LvOl~xS^ao6{gow| zegX&W$)y`pty}KSRt#Fr}sQ7!K}4b2WF zOML^kfZ+T5A8#hx|B!h9+s;l9atI+r3cdM?;<8_41<`87G+D5gd?;vw+HV=@hTsmiwv?cqp)o^YI z+OMU-(sV zn(^9*J#{znelK3%0eyx*NCWio@9ih^k2O*+k5lzkfG1|5@5hhV?bXhLN04Cz^l*8i zrwO;<&&$ZYbg>m!pv#_hE@e0)575()hZ=Nq9U6L5Yy`Ii2S0(f_hyB2Y|NDt6( z==c{jKwy+^2ODSKYx@lT&kRzdr-Na_A!ts%uXqDmqcmLtq6n)5{}Tk&AN=vPZE}(R zBlKy=GXy$CxEkygU_C^zU3f!5_$Ws37;d1zpCrA}U9|1cn^aYe10ad>+p3_aSbn^Q zYk~r4vKZpHV+j+|7|$=DE1r&99bOlN*_o$RKyYg{TZ{A}t<0iYi+Yv1jk}%Xo}!Zm z;kAlqxAEXj^*LT%Y}$e{-rDktNf0PmiK|kd%QzMyzOY7M3O4?o))i+ zVg7kCb9+gQZK-eJsUXU_yctUpcT~6q{{a=RnCa2VQFRxUokMX>1r~$ol@n=Hkl}(X z;CHv%C9i56%@wc71cwb%_H2>zy9vs$DAN|Nl1HQ@Z>pdZS~6-U?nIlJhWYjYqofVgba@^9}_gKTy$R|m$ck!wb2kr=U zS~OR**W!W}#|qDd4@Ptg{a$0<&ib;*`~UI5bNCo;?b^rCPFXY1l&g$_8DTJkwO`p9*7=|iP;S^^r<-{&)QlSV z*IN6xD{4EusBTOH!_nxm#cp1eif4B9ucpcS3rvTel>aRT!EpTt;%$VMh~=*sG8H4s zIFUY>PFO?;I*2!y%$~~!=tW0=d#-YL4Hc)2MaW|LF#FQ}Q)vv4$gR!0FYe|B-u<%4r1*X*sD7YZ(ihlkNo-qKn-ZayI)qcE#^ zk4sHaQnJ3+THeqw;yl%~d%j*MyC`bTob)`o8T*k;3O%)>zhHI@pfs(Wk&&3#LP$u+ z!{gJ!&gJJ`$z*ir@>OXoB3^VZ=hv~FQ5vsNp`ya9>R_4tR5@R55zjBIlDx>w@+ht* zYTdP+A>4?Mdx$Y3`lkw;uCbpkkcm-BHY$5Q)@X!Df$0DnKpv4f*fmCLmc}%R&GvxP z7!+x!&YUn(f{;i5bP5sF-j(df(Kf z&+i;Kc_5fDcW5Wjy{BJ^^u}l{3I*FShSNokpHGImbs|4US_)9-upO*`qW8q+QgNO!fO`io_Bid7%|s zTDQL{%^9eB2u=fgA5JSeM9GokPX<3%I_`0Fa#~b~UCGvx+zAAhIyWFba#0z=rRy#2 ze#?s_Nj;YY2~&pR@oV^7VY$8EA)q;JHe7J_Opf~p+hYat!)(T{fV+lU7%vAS8kNvO zZJ;k6S5{g90*ieuqV&q;q~;+$x*!Nf6C51AX$PG#uZa?2 zx6fC-SN*Hw%>Qc6JbDXi`vZtTRwCen!BP%6mK@)<`w+Z#0 zf8V)IneU{>u-GLHwN1c;(u}xxxvHt`0#DZ4oLEo>Xy$i8#ptuJ>VmRrAzgh^Xz@VV0CJ0|4hF|}) z<)P(~>saDZskmkjv=5*db`O+21BDCrZ&Q0pz9>Ki)T0mw@^Yxu;LdT302AP+zs7;J zcgh|O^U|}xVnocwmgakKT3v#i>-kBqZA3+R*`u0-Kl!M{z zNKqS8-|oZi18}$|zgneeOx}oWP#E+t8FjypbJRKi)x_2n+kB-jZM|gXQe267z_Z1r zRt&F35MJJe9LOy_iBLehqeV!LF60H6DZ<9`8oh^L2Dz|z*SILEZHt#35!~Eu|5-as zq2OL~e;m-5S0SR<$13!OM2pbrH>TRwZz8*D2IBVR5BQ>ZpL8UauRdjqY|WJY z@X$AAv*C=mw*KN~K$7DIuf#yXyEoR94|1yoXD!qt{P^pUk?W8OL3fcQ$g~t-wm%yz z0}k&|3$jo4CvUPky0MCCZjt2#1>Ng-+c$?cH}tv#0kStvq^ZH+--aZ0G!jn&kIpWBJW|PB_tH>@(tHm;6fZVARGbDc zY1eW-b=BTZ<8O}|tN5<30dpMS_cde@!M|Kz&jNBpS(KU`+lienVp^K8j#q6*>wHrW zh8x<8daeuYc(%4(WL4z4KdqF?0+DvZTpqPe#{Re)&hU!_+I3WpAhk&H4%fjryGp$8 zPbVmkC7i7{4J+(d{EGJU?CFC1`OSdIy}|bjTRE;8Z6(l->S{ba72hAYQYe}RgFd~` z!Y{paA`cmPV$y)JJH3r%R~1o+u5k%{Pk4h-@D+hB;(=*3cM~^R70xMek|80d%ravi z9yKX5t?6w)-neF%hu!@O700`90zrIS*mEysf=J|^S6+ag@ji8j2nE?=bN)A)HK{|F zpoISQ8@NUN>78KUSuhNs(8WZii+;Rdr4@^t2ahh7SWA4s^5UO__Dj3=AX}P2$T7)D zVWc&$@biKAz?g@RxCtp@Ez%eb51+r?^V}#2KsV_4ScU{vVp_>h5ugAmBM~tCG$`T- z_8yw=Y7vo*1%n(JmhJ`HK{a0VE%t`~!i>jtKWvG{>Nuu*#rF;9q4SHB%mO(4+I~~L zP!V5JjMax}$5sK)!EuZSOWgIEO@KDt&&6bf3I?==ABZZ;t3#WD>}J@I+*i7=;|X}p zffEF>TnSqHfm8=$eUTMtV}?D+EqBbVF!4$wT0*Pi{E9~w5Q?oz4QE!s`W9tl{G5N` zL>*ph9aE)3DQX08*zODLe&uIO>>O98@r1r8yezu|0SX0@TE;n8xpfx;%7`kmqv-8Z z{y-vLlhpNjPNCtUb7GE0Y`CKxE%?ZvjPbdSITbWoY$akj5n=t^Xi5> zyk+H2TvOiEy=1%!I|v<(EjYr26i&l}uUjeGW?Ryka1NXWaS0RUw1-7oia=LHcxn#6 zAkUTkKtcckVB}Yqfg+Z3@ccnMUx!;}^BH)l-GnWFgKh02F9NBaoQySlOI3vLf_G<= z-gd^iB0m8PkUd=rP#wg(Q85ZVqbJy}VPlo5X`2sEWtkmw_)BPW=G$PW_wvral&)6k zjfRqylh%X?a71lyR2_{`$5id8)Q~oy=S-rmHQ1@?>yNQ}^O1XZK(6@2Qa#+KjmCX5 zK+5d>AASNC6CoqvkB60rN$|h?E4lwnfZY!?$8B$IUO{6qP zL&4uY0p^H&eT;)X3^#Jh%jw!b22A`?ml$O6j{#GpF^LS3Q$nnTAnfendUwpiLP~{e z-m@B$u-P&Dp}9~-su6`4upasIwzqrsCoMTP8O+stEVhc|8ufP_~KCc(6a||MX5fBaN_)fbpSa3obtQUB>x_#;9`MA2n z=eHU3+J~MBJrGq*@a;L!&%ap(;z2$MIsne&XZB9<{~07pfBnmtU6JVhW!$#=TR;}^ z{S659{-NbH#y=h(p4m5t|K2*_ghK!NDt6ddA3(Wp)_(U@%;!ow26>81KH!);BBR9Ec3rR}4pwIG5{;@se`@4l1|KXes9+C-~A zlde403QHA6g)#xh9*GiiZ|y^})6);4iC%P^ClLYz3so@%Q=_cpn1HBk@)rUx4N(Nt zSohra)fBujgZLc2VLy24{47QWgL&=mgO8DdZeP-~t z<~c8y)_9DqbG>>#uDP)nft^@$Ru9Xe1a`8A;fF{>`a5=B3jet*cN`u6n`2LEsvY$P zVpXASo~npty$Qm)IcuDq!0NqOq5@%s=kOY4EpUu)h1-AIrA9jG_>nAY0GL?*>mrqf=`V{KqavdkqY@*#8Y8=kB-0`FAv3!okdO&Uy{I#NdNM`2e_K!k zaC#4?SnY|HuFRf9GW8 z|Gwr{YWUAJ_tq!+FBLWPFvTQkC@NxMW64DfW>eB*$;7AzIPCkE?uU6e{98VOyd9n` zaIba-If2RD!Pt%Vl~-SV-&aCS2i$+}*w zOhro^D-z#8ID>r>qJ`=s*N@e`sBy%EF~oF$V{f?IKc+-@CiIw!XzbCC;PjynWHo3h!A5}X!o4@TFos32(bBw*HO z$ED*Ny4<1rrM&+gZ)MRkB`M^KF|Cm=oz*LoxvnfGP?6vX;2b~E}$<-bM*>(>_GdWGvm6o{O?LF6as zkGHafK^`$qEJa7cegE6Fx=Nvefsu-SVrm9kWKlL7mDlTeH^4QoFfu|Pr=OUwm6M#O zjf9_0JqDPWQb6A&aF=kPmYp3(OA(v(CD$RO)V?1=6)tqtxBlAp3LVy(oykI_n?g2~ zaG2W6*3!+&ME*233MBLvvGzB2g?jIrYfTM(6C(?n+COa@h?&|4iDB`jZwS&H*JrsV zQ|Gl|Nt7;eaSulij~qc31w$5*rTCJZBK$@2Bf-X_Hb%A&@e-$HD11bE=6MEcigig= zlP@FLM7oLMH3UXbphSooqc&u&3U|rck|jmh4Y?ct;|vlDL5_}$t_E9fcM4y`n-E(VZ}YiaJIO`mKFYT}Y*So6Nw{vOyX}m>i@oe*(q`jjEMRld z+ykO3`0Zh8Vg>IkGzo}cal7O8+vN-)k|!-2JPWd1)dDkSZI7UYAaNq)OEChoQdSER z36PP33G5ygZ8obL1AW#kS#W0Myy(S}Ym(2NjtVH6!>B2CHtg@;UOYlZGi(YXLCQhU zAX14Yq5SK!^`668=g@wkIOR+w-3@dvpaC+`M3pf!Ubn*K_#hG7Lq|1r=QN9fn3~a> z*mD`k`u5KFypyqp3Y02M5ADOIw?=gdW=)-mL3m_70^9vDygx8_7_l@**i><8Ibn*o z$xki>;nn`6tKTZqQ!G;ekC!lc$wHHuVSJi!?-$oZggVD_9Tt?S7J$|4qnl&1cmY0% z2{HNIAchqkx1)~@Bo65P{+;!83i|svJ};tODxCzTrSSAkc?69sZV8HmvF;+)e^mEn zA+A}zZRm={NjKm~Ho!rehkL{19u$Z+K_3;MJf0>oVABul9>#nwLCAfnQ;<-CD z1KqYR`&=X^*s$c>8588GEZ>;tE~>yH;RJl}AJ7o^_uoeuirKg6X2`1AB0x%egq47} zb73IK-2%w4G8#JWSgH51WyNu^q|(t?eW8E4HEM4m)jwckWI4zst!@zW;()?&JW<+DWux1z z;QX5V;f|4TQRZxx%*+@fq5)3+=}z>7D;}p5&R=_LpTyuk&BQf=49A}!w^zL|oIN?* zzC*5_yOsdYm@RO*e&?dYoRfZa5g|6Ls^C4ai_Pa5P=9wp*+tzA|LiMx!tATL zQ&pT)Rr4%%5VOd-NxB+;resLU5S0 z!ctjjX-ViPWhs$(=lZDPIjJ|@!>uKQLZVKoCa9?uddhe;w@t$Q_IA(UE59ujJvh`s z-#Og21$O7G%6|JR2cTnNw&N2$`?^S?eVM(ghG2}Ff^|)e96U9jM6uxHtkKpR=aX&4zi;1@KoYVXc;_-{Pchl!XRSs~M(*1U8e8SlIS#UF zd%+R?=&l|rw=G9c2w0{eAhoEALIo=+5*}k0acXzwFH(xYj#rqU#XaIvNOx0?ahbF9 zZSx=IMC>LR zs|01-SZ;#9fdJ@}!e3(ZcD$e#rjIlxT$C4tl@L?v(aCvOhIEQhK2E==Kiu4+oq7~XJGW&kE0A3RI=2`Gh>-B=FeA_kBsYq?nWkRcM=4+ zev!DHXP~T+L4n$6e&AwoTVID)I)Xhf>bwtx;0k6;N&tq@T9Z`;a@z3DueAda2g8%R zXAO35RK4RO3QkKH?^7ApyODEPxM<@r|Fqm4Z7EXn@_ZWsOK{t30;gKIYb}MqdSmtD znadbbC0_Ous(y6{|Ex1}aMLZ@f1LEVHsRBjEUPg!b3lhH@6-pBefOypr>1Re7m`x- zkV^scrU2_p!K#L}J$nCEzj$uP_vN5U+CZ&o6`7GQJ&enSC9L>yQ&t=}gdL?vNgbAb zkhS5pa9o;e&<^Tc7#?lRI_gg8IGwNzm7kxQF}HRcWA(iMyPHwop6mR(fSS{I)$Xrw zp_CqcvnFUiCy8bDl!(CLvR4`5K8m+J>Al|L5kRZfMaSa|_%zJiA-A_-lr2UlN(6YK zpzNtKX+o|j-8o>mRQyW_Ejc z=HQejWBoZk_5D`xt@gv-!6B9D(Y4`^n&l+JF7g*)cntwY{&jw6gk(E05Vc#d=Xfhi z8W1R7w_L%vfR+jQq`9z+rFSj!(r@Xhml4xA+XuEF{=_+8CHlLONOA)+y+G3BSMf^e9&|78Rdrrmpo&*OPF6zFeD_u0|W)ag3) zRG=rJNyNYUSkdQuz14#ANZx~S=w0Jq1_+{9ntUWAHbeN$XRbQ&RjUW%uWqwamR_2&X)CdeqU8iVoih2VnS_ zIRkll8Ys<>Oc{@r63=OoFD<&}V!X|7zGU%L@8h0+z_Xthl)DJ*vT|PkTVdnNt zs9o*I6@g?rG}nveG|+3u3^A1|?%KX^BRG}WNFT`uAD&`0lc!>dYh~9Q6rQrdcguVD zI2ES6w%eCosz$%xjF{GcUz`E876?jO+8)P zA>!}#5B%y-a;3V*eH=$>buDC-Qq#^rP35czuyIyORChK)tanaCOedS7GvD(f&zI5%ffq)eY_oegYrP~QSJ(;OJC8#ZT zs${}dDy{`adOX)oYn1;&7|=LnLOq1~6DLtfNu8A%k=@>dP&IdPyQaM<(oG2$Hjc>d z({i^W=>B}|i&8ESB5?jmWqF=iT&^MzQ8EwzNcr+!M@^X(Yf$=|wMlum>a6;#Cm`>D zYuzbE?(j_Zrna4Hinf{8GzP*}@>zbzVo;Df*BbcOttq&)(id?aDL^Btmzsr56Wvr? zW_^4k_w>%%|FE~p3V4O4Ni7Wn8a8?>O4~z6g+~Cy$QX2!qka1Y zCoET2;^}t30k{;;g9kOegPnAk=W1H^L*>1vyabGCpd#T6W~mHHeOZr8bpNGQ*MjRN zVhJLQDOyA`ajYj7%OgvH(^c-L0K~pO))yfb&bp1xzn%7fJ^(2vCfoS*2!D>#md-gR zA16JdMU2A}|2)UHvzve8j~x5_qAw)$Q9|)|*sur3=9l-qp>%8EtM3YK@pu<~&3;{W z79ikMWQz~`u=i zP#q)50$f*T<;|u%@Y2I}s+h1jB2%?qUpwc|IXWTg5r-Yx_Ne2y;cm3q^yz&wH=GX! zyF11CaP!~zHiEtWQuxi(HD){g+eV1av6a(0K3C^l7C`zpu_;-kjHw8=T>H1MG9-)=|=I|62ucD{3EKJ5ArZYJp-uzg?@Vr_!PP0U7S@(53H3YrluX+ zfi`tsvdKk@arM9KHnm}2F|OiEyimwYpPo|no3*z4TAm%PR_}z=sp*5t}+f2P9r8OFuP3WyPk!>`~AJ|?hObmq?S5jQ_OfH`H>vAT@xEl~!GJU}h`{_T+^_XG1@zB>Kp;py-OIYJ zm~X{~ueuQTbO@eZPf%b+E`5-G?pviiIIyxJY=QtpiHQ!DPusrTh58BhFgYz8j!a=HM=;2Xn%P$JU+UZ(@&fbV*wqE5|{E zVE_P*+Xshx6E}X+SJ0m=;+HGrT2YW~#jqGadZJIHuzt)fDG0+Nzh=^_pittRg84=;5%l;PvLivBxPuVT zTUusbt;)d3H+JNt-}n9m#|~3Kve`H|S{uao8(U41WnnWGr5S5N@EYl@UnF#vos4MTgK844JuNO=>2!;i4=EWn49vXFyVe5rl(Qu&iS@ zz0F>|hJx6=5c!OA!G}k_#MKX&EtUG^OsxNPTr#b#qp~rE;=f~1*eYioJ@whroJvhk1UzsI zA|yY;uKfi_b(R?@sny)-zWspXwJg z8OxPjnXGy9Ov-FmA8sNz0ka)5QOdOIScogLN~YqBDL~m=*rWtGlTp_cWiaM0bBK{f z%zVzFU&yFyF~ht+A$w|fO{adijZg^VfEYJhDozSQ7&_1?0U4DUS{}oNr2?-=66axfYmTUlt#0A6yml+b6wZsJh#4|CFa4chr1}fl9Q5zP)k0_v?8&*+A zsKk)D20$bx*sBgSu!m4YG>7kOy6z+izOe3-Z#8ydYYq(A231>74zw|aB}mKpkFKv@ z6mb}A4~drzs0|23*L-=Oj@4;5w1VAnvwzSjNZMRpEDV7gIgQ#yeGUroh}H9S3LFIH z)brPE(2uJT5V=B{8rqRo4UMNu*eU2>Nh-((1+b*zMT3N?=U_#w4+$MXaSrO(HT@+f zEJG;B9;ClphE634mBfiK2ZMan7qR1S(s?kSV=oBf|B`kkyi^2?9u)?`*Z}M4Cs^O57q0h>V?w7 zRkM6sCF6(}abQa^EHk}`-v-xFVw&H70oWZL)?UrM^JWwHNh%IHrDpU^z`o=j=5v@? zyLZBPJ#%uSD2MJ{ySH5{lFp*%S>W3GE!#8HC0!U#XXOvzDzUiV{-OJtMb};A)E;^- zrna@NE}%Jk9F$JMj8qP5dMLcu$a}nmclPP5$&YAP8&+q>u-)X@FXwF6v>@2X173EN zb=)fPrBsBl9iDZ-gqccjuNE|DU>n?3hMq}+V6UXBmW ziZ3|@#z#0F#^K=xO8p0}P>BFy_|(4^jjwldP8KCT>w=}e_y4iKA0R^%{yEr-AB~44 z4!*N2=a?n9`jCETM^7Thy@N#*0JwZT90VDt7ASL7Hf?3UgdNDZ=1)Y>hWq&*Y(F&! z)m%n@&i##?n^$q{|8C4TBu?=?8ou~Gy{jy`k#*@|DhsaMtIA)97cP~;{6n4!}aGI$;OFJ;(1?A&guJ^~u}tza%%9I&7hUMij? z22)lbspbr>ZAyj-S4@9J5Ca+O4 zjrlRA%YAKR%_swktC1O^y`=Kl^3PM|pxYXk%u!oZ^%~RCd)*xE`GrmfgI2BF!f%m4 zZErG7hZ3cW9!n>jqBCGg8vsz~$mK8llIk!_lh7>Jh$-9JU*M@NW-q01&VD9RT0`;0 zoi=L<%oA^WuI!hebk@p>{s!6_UpseGs)ZA2C|HQAmSGmxm_tWE*l>()y8wwD{iV)& z5dHKgHh{J`wPv%XuW!s5f&ovX->d2W(7siMl%FHMNRl(+fu|4$g1c<{8|?0_aB?z`F6Kju$&6vOn)m zKA3#iu1-`0UoCq%&SDjR<8R554}N4-N=M4A&OmbC?O%ej^G1x30+pjvepqQq=lm>% z6Xw}gaZH*VTy0H188+QHJ9@Fj>+!r@`f_I!D8`J2!iw0xkTW>rgn}Wh9$)5g@>F2S z6+DOi4Z;@+2E0(N5?B0W=W>7^+aUDulz!afqW2_ZnHduJ_=Yq&?n- zf6(NJ8)^LDpl{pz&CtFd+gm>8UMNXt=ljv^k;|bfox@nEV`LDp9XT+fPjC)*?19T* zJu0`2{_okRm`hGfX`6mC9Sho>*PjC?Ks7JZSm54h4v=p!ed^0;Ukm!Y@)fRLe|$2NWyjGyPa@s830b5*H9?m4U5D8Ib>f#JxFF?bc?P|7O1GL>rFCH+gNjhHy?Kl4DKv!f!6liyuu@D1cGtLz&_ zv#azzGy3&>Ewc!#GVWvk@l{83JjSD!_&&4z)w*2Oqx_97%NDy+^lRw2_22ajwqv!} zt^i}yXNq7zJy)lZ!J5Hk+Ezm^HaOEMHv!zc*Ewe-8*JmJ0a^9Q!Q0ZVuZ@jOFaocA zZTiosLQZ#tAvHNhYSm6{6>7dvlxlg_$w=B?;O4QgAR{$NVkh;5U2)+rRaLW`6tn`Hg$q2;Btok|B1(K5u8=*e0HDOO%XJNf>hzDOe}O?3K3z~=kT&u(HY(XB zR-AkJeI;n5V^z(9N7`Paed^@oV9Z5e__namr{8Vrpovq93sqx>u)-MbkU5yWj<>zC z?0I)Q_%-f-xTGZ82FViUN)u}&Z6c|lq{AA6oHgP(Dvz?MthXFGeTT+QpN4#-Pp zv!|eV_ZcPVzi_Mr<@hds*bJLfXru3cC>ok6ZHt@;FBF{&&$S(3ztjUTw*zGr)Y<@PF#=xs zBZyM$hJx0D_`K7@4OCSeKRHA9>d`lgx%;p*b}@Ih5&;?LUnw$N|L`ZU%YisP7We$m zxT|BXI#UI=4JfAaF0X;!*UvIkYqN*%>t4orDZ=KE2zqaA)oW^P6y)%@KL95C|CxB~ z(fl=;)~~Kd%u*{*^IF%vY&x$=D7Wv@$qom6d!PR{|NZ`Z*}+$l;cFG1?CSVb|LHK7 z*V|nSmi*F>ure}P!5?#&b#GqM%qKtA9(y~CmUp)%DMv+a&+u!%a%N#v=@2SzNgH7V^x#ElzDkeU^@cz^sW8U+Ha}R1yn{-5X z{s@7`-`G37?DxXbgiAaH?5UOaw6~v~uF=%?G|e(^s_+!)uJzqT z8FQAle2eTd&iqk)GVsaA)8+Z|k50*-=4i$r#n!4<9~K%ESS9)RTIVUo-;*9pTlGoz zMu>`oz4EM!`jMTF9*IkA+3HsxAM$4zhxE0h-^{pEr>tNxtDm_nez!*THi!GVZZh8l zR_FQ8FL>i$`cc>6l3jMls*{mAa@Wjik}F%6K1~f1InXZOA6Hw$yrpk9S3;uvl~32o z#SWwe`s=)%$eO=){U@KC;=&oBGN~6G#is808noJP#jDFJf8}V+^I7`*fTqTUfBUQ2 z3z(5-X_NC(K*#MF8k$2^3vt=l=!aAmr0PcmrKah7xr==R38>Sj2r&^dA zm|B{e8JL--C7Y+FCZ`$M5mYhx-$^+pL&M3kr+_=@jZjVk*FAq)+oe$A*vI?E$rfn_ zkB!pq=qKM<|JaBpxgh2k@Yp)fDLQN3-^WB zUH<)diQnACQ@obvo?89qi2Ei_?M$`YCCw!h<1YFB^04omplIadc0xk3y-540_rrQ) z&FR9&*2gGVrU`_TvMl+D8CP5qN3k2GIsT+%F}@Jo57C)Y`yN9~(ZCn_0r zySSJ&iwKLKRQ`FS`)79L5*F^Ze;-tLr)W;|ovS@9MKbJqY2IDWY01{hjDPAyHp(tP zcenPW*PEB~4}M&hBI?Iv<)5#zy71f5&wo5O1+j_C&7CfHGAc&)rO!_l<{hzDD(6pF zbNKM;bLqiG9n*Q|Ui-iM>yk#3L%$}h<;>46+B!k*lAo1lN6SeDNtHk$<;6!-gj2eF hCIe5ZnEH$Pk)GAn$qA=rc+3neEsVKTRbBnvxBxjlFi`*i delta 41762 zcmZs?Q*hu-^esBEZQFJx6Wg|}iJeT6Uu@g9ZQHhOPOQoO&Z+xw{`a1@uIkz^-PNnt zUTf|7J+QD;usBYDlZAz!AJ*B$$;`+W)?;H?+ctKq1?At40ZEa;b6gn7PjA~Ru&g{7 z?Lx~feSgxPAIm))c6*#wwtZu@vr}fz-d-pw;p?${6go2JCXbr~Wm zPj2aUjzn<#q8A-cRl?lv$IiknX)=<7jK#muIxzAF25n#OH!ow-NE2|?RV4a6+$crj zLUEHP!>L?W3Jf!4-6$aN{MaaFDHi*;7VGqRHeO63Vaf{HH}3j`NG+op5M)`(>9=e~ zJW(9{R+%jTuaP(ua~VGCdf^nB=>Rh|ML}~$u^Kl_UdTMpexSv>_C$%?l;SWP^;nOhk_b9yTa{MbK!Q0kct>EXd}5Cp zA`V@y0n4kj%SOGg^jKQ(=I8$8tet#$0gNhia(p_VD+-f##j-;iducT5d|j#&d&pnp zGqsaza@(yKYs{E_#!2V_-^quzd)+dPFA{Z%DUxvl<$Uxrgm;$ZXmP9P3wgRAX;ymv zmVdfGH0Evs6t^}JCt2c$Uf2xLyw7~vPZm3gub_lLiG&F8!$nEuXhF&+tDDE_a8qqr z)y__UK+S2eTy#DXdr1V;=tfjv^Fb7Ki7VP)LRKdQTqX4sO)7+JK&Ejw@u&@ngtE32 zC7*IWHNB=;iY<{NI*ua~ciKFIXP%so*>*mJv!&%|8$Wa?!X(gxqSS5?Hb7UKr1b%I zKyT;puTB+BC~EmcJ=jN+aDUQsP+I}~a~u(1Y~GJ4=a0U<|NS%-{0qfYLY*)h(9rh@?C zJZk|*26c8FprlIwc}jE&LH&{UnsznMQ4aqzSxz24@rv7AWFd=wy!TdxHX(#p!er)F zNFF-zq5tSCI17Q2DsUV`fwCd)gz^iRNng%qGjlM39=~m5AZtNpX(};=SH#hPMOf>lda2STwF;ce6>ZBMbT-+hjd+}p!fKI!wP)4|r2LhA zdR9(bNU_zwh(-ST!8r%kyR|&C7aH@Np(S=a_IFDrl$gcP^rqNx8WNuj1Lp5Q6fO~P zQ??DaKy8OofFa12IX|#B##;bn)&*|3dGUJv4dZRoYKL%e8Nkclqb!WhiH9>Q6hp7w z!zNFi`x6S@))CSHdY$f;WoC~{Yy$DzI2=-9@vB(Op=ZtRSGsfs4Y#qUq^8ck!2Sq7 zLy5G}fIlX~k?>#vq=T;ZQcqV-W(lHd;{2ufIz&FStqU?@VcuH3@=`0H*Wh|DI-5Zb zSr9HJhx#uGw)q2uHTfeNZDMEFMe>}wDc8yhD5C7J&ikE_7dK(`-9rim_mc;Kl+!^} zISDs_F>0@{P$j(|(~By50V#{pQLjUKn1{4ZDiYK=9Sq&rv|hjW{j_qm)|cCKeL#?p zI>-jqVw;)A2wvjhq}CJAsB+t9sV;k!3Jp79b9nz^;v&Ga+AqMtB)sk5okIsBY(T%u z>CB8`_859RZ$72yGD9F6FhcTQKU?_2#M9IbEorQZP12HoqyWwEX9i}SVhJC#E@mTQ zE|lvGzI&eUoXwkZ(`R=-OiXJ7tuYF;zuE%#+s|x9=PN+Ca8wo8SE)wTKd)M%Vet+8 zF{-)9Bg-+PD1&P3O8v)$EM=t!e{>Sk@=#aQW>!3!hF})*Cam4>k0M`U4NlLsqsUR* zFqDE>EI|rfFq9m;X`-D5XMT`HpPbdXlvcqAa>6t)_*)2EmK9;Z{L*L6F;&bHU5^IF zGkZ|BP)QCJOhg8VP!ZI)t7+9!-m{5SE#yhopT^=#_;FR$|v;}(n*wKZ zA1AWiBnkF?+2fh?EDwPlJA3ipT;JSRJ4J~TnZVOfqdK)WD6dMJLyhuQN^!AQcW$vm z3-Xr@y$PUps$E-JVeuJdar<8Eiy_!>h|0v?20NNaR}U4p_F!U<>dcj|$MhZ~Mi%wZ zQaOOFbHc@^tqBR*>IZ(Z|K4+9bEu@9kEAAHFN@7fr`mnAXty7?rkMo!snu$UUHfO@ zHF2n8>)UPFI=fhP^V`j|q_p6@^oz&hi-UBP;RAqB_0%+d!H#d$LtgEfEN6gzoMvX- zU?O=G>mBZ|)8qMeFNG?w?<`|bO0Mkmbq>axcI9jr4{u$i&9A4@N%GKbw`_J`RM+0p z*u|MWnd92-kY?B_w!XcuVuIrxqMI_7_qp6%4YzZJW~=TP3CbO0>;@}>U9&PQ;rXd^ z>2K7{KbLB#2#Z-x@X{gNUJ=&p{t&7+d>;OnQvTMr8L%=1D3oP|h_n+Oe4?mI4?w6{ zb@n2>+@`Po-cWGZ=(;bm=!T-~rW?DZC6@A8@FKwPNF}Q*AnS&$e)*Cai@B%IZm9_{YC`yYcitFC?;H z$&_Ku>`eb(M)}{$-q;$JHL;(9vT+|S2L$A$(GNil2E?s#1rr&BIHqj3d!y@fd6s<> z{O9g^sSodg^&7*wZ6LyzEF#2D~3|4;?9;#}91M`nee zNt*E~$@viKk*d2%qBhA4*&SrGWJm{S1v# zGt|v`R{9aN>Qx*J5oO{VZ9*;;#Jr*28{MJiBO{lUE7=!B*asSjH{A#EC7A*BV+uH!_n^au-F!R?C6=#f7dwEws6=Rc56 z8K$fh%mM+P0&nT03q!1}yTEgKU*;;8PSQ;vdQ$EW>*r8`e$*TtFeQu+k#?))cj%0| z*DM1%^+Mn0Z3c2e2glr-i*Cpi)d=WywVHs;Q~}m?IoK!unzyVv9Y-%#0lGUI5idh8 zbEfQ?M%i}qS_>MmVkcDx&3|}LO^2ghi`~? z;z0MBgd%zM<~7+_lTFXA4WQcPzITvZe|q|h`98-=F=p3JwkOs0L0Em@Bc6BVv))qr z-(6MLZ@N@B+vCNW>DhD{ibpJnd*4DXgad9;1o)EcNxea7tNm@_@JP2c>v&Pma#*k@ zTQF3*N#coB`@qwEC7pbu*$9j82o5wG*4Lg!W=qF}1V{SVzEn#3EDm1;#~f1JPPJx5DQ(fy zRG3(R2R~nggq*<2#i?Z6$a%_ zTO9^;QYoQb=+#iz3PVD{_&c7>lC2>Q(mjA##_MuI) ztk3*rg=!?<=2{9vp~p)pXHT=ILMl(zoX)hCrF0~cfGanEIDAEX@r^fGeQQ|!n}X}z*g#BonlLZjJ4!-;9nGB243)W zgKtO?KueVh+qTt{@t|w(tk^cNah}H>p`Wa5T%|PA0e6&! zs?Caais`C}ie^?rLzRhxb|D`)UKSzC@YOh~tNj@h$ zDE%7OcJVynp2 z$G>N7XQMVT6xNTWdOwsy{IG9~1M;{~p4zjs9o+aEVaZ31nIuiz^0Hq^Dn9agJGx@# z65o`ZeMU>$Gkr#zQXeuD3hm;C+N45eQa$&AX|^H-&OFKRD%!^f?wHm^rmpeaf9|n~ z9sCAp_Xh2RRYpo%9s z^Q$&}ny=X(H-j=?qq`a4oj1$h0RI;RN)UT44?k;vWC7(_YVn&w>k&`A8G)B zrn-fVD!DzKEm0np&(VBgE+R7)#qk^)gSCQ$y&{*4~8XZLoo zyJeZ1A2p=bn-t#Q(1@Bp8w%_#ilXO~@psQ(Bj)=Z{DnV>C&x9{PWZWCXt}p;FgeNR z-3kuvOHmEnq+57T;jVchH6ZYY&7Y9)%oW zVdrH3Kjo`nbpz*3PIzFqbdJoG>-VQZMe2iIW{KW{+hxku^W39<3bl@gj+0rjUM7=( zUlBp4QcY?kNdPhQ9u(*pzXg5a-6-oITjAtDidHko$nRGJb0)inU452h7A@#AfW)=vhEuN7p}ZCXJdt8UDD9p8EpQpN+OFhYieSekvW}VoLY0LEJbv zr;@Eg3`5FFe+0Zj3+ZnKfl&P=f- z`vAR}U>O8BI;Oy6jKuu~oYIOo*+U5>C&DMcWseNn!F@qCs~v!T#B{`#L>k8i{Vj^6 zW^4t)f$u=*-0#g*^W!UZHB{NSg^L6As*K1jLG zT4g3IlB(_qpMQ}H9QlSe`BwPZ#lITM2FV(2X}N7h1qO}^*_w$edg*D749Wc;NG!rc z0(G%(vP#nWtu=tot{P*mRpnUa7A$L1XU||Wc}?ZLNTU1KT+D9a+~i8_3Iw=RO4MhM zZEL0lHj9X(@fE!M_MWh#h z%RJB@5|Rv|>T@*9kL4)W&u-_=e__AC*U?nA(UoYHNrWfZaW z7OHQiz@l{IpH~{RT$Qm+k4%=}0CcfBX-uY%J~YkLUr;1_x(Nc>y*qD+ShNK}L`-_C z#`KB@Zvf!CT!TVYgW$Pog4{C$xe9@BfZX|2V;`<-$jzdDX+nWF~x!{`}3 z;`*f<(tiMiSkVy_*@hPs+Cu;=%*vzM#XyjeiIH*dKfy@Ou5U!w@eY7mDZVsEXXL!b?Zs}t5eNo1_yBQXp{A9%MTH>TG21#lBET$Vr0s|~`l(t5l0X^} z7Kf?O=ek_GR~7W5$6<0FX|t`ZqgWVGrp&n~aHu|xJ9YcnE(=7w)6pUBj6?bY&G7yx zwhth^gDMCZP$st zcH0&P?{h-vGjL0s)vFMuiN6CMBgdWuZ*L1k&nt?Z#RYUza{!)u)d|5098-3F%R4;` zHSm87?c4&r(^P*WSoE;V<N(Y{7Wgeo23iW~klgwZ=RMo$Ff8Y{^jv)f5Nw zJ7qqIl;l{S!16TuV#BIhex`_L%GGI=mD=oJMU7_^+|$8yeM4F;6Lh=}ej#ruR|11= zrfc36JoN*F2hKNcvj#0H73@WGgGXioNY?p>-ivv31-5%% zOnizov6!=X{VdN1c&zaRvT>O^vw$Axv#3y;)F$MsP#cZ%ikxq-nf}0!%_j$CZJC-{ z($n27r?TuxHN<2S+01;igPY~Zul70ORYmVQKTSxHKFkZLt0-y{k#3=N&J_-Ura2VH z8UKZB4+V@ZpKI2lkQanTDx5z>S4|0^-%1qA0=Y(M{v;{47SWae5GO2YrT zY`Ds0BoJ5hstgBP(RYfD)~=8#t4tV&KreMJ9%AR&niO?&3N%t?;jv!C(}xVrtP0^A z@TU53%)^g8$3}e<#fCYcr+r^r@%7^l>4@n=Ll!>^|wc-%@dmd%!7@}`=?!X#} z22Fq{oyZPWKGdagk4e@_PGfB+@ER6}KCPhw2w*-@`1o|_O+G@9KW`4X0?p9t`WmNh z+2;6k+jxdiKgh9|xTo!c2Q%3T_=EHh$$5&QxVIuW-8P0d4Dgj^1*LK%+FcsSqlU(v z{9`UbU<%ox)Kh*6F?@Gtw?x-q32dRHbbm-m^C3TbM{R)_jj}r-1!Y?v5%TW769zoj zp!&i%ZY?55I`3Fa(NiK%kX=@Tmpn(MJ4Zm=!6q#(NxjC^zqv0S&J>G6isb1XdpeUu}AN*&Bt zSyTl(>OWId?|iMf1Gwn>;2xu%`LcN~R9Q~62i+I4^_tg{hocYj-Ps4`A!`cw!74@p zk0ZeFsowT@xjDF#H8Q)@a<&)aJjTWZjD_DQDq1VVlEtYC4~FEHf6Bo~E@W0<%%Kqm zt~W&!C*+rpcdXo@bGYFi;P%Wg+eD#NPeMR|BK47rrw)*9ombBebfQ}?@G4g?RDcIeNR=zw&KH3( z){-)OU+J2+Up!^6B>AaU=cs}*1Tm{qtqV;^B8ZIPlEx`Wkz@_M7iHqDDQmSE1quwjUb6t>xdrBRyK?kb1)4$So3rS}2VF4)T zR|#C3v0!gDg*!?lAzv-wYxuHq)BQnwOgQFrkN*Vl?f*&HnfJ1Q8%gB})O&m7()^ak z?UY*w&bx(I^L7?N2=d(B#mX(LSh&2`wr@aYW)Vlt_g?04+KfBaIy6tgb^UrY?XObN zPficwt_c~gzd&4G-%Jd^g2V)VVFH~9hvVxn!DPt(XB;tzI9%XI=f<4ZE%#P4y#Fjf zi70WVeEeRBbnduk;MxX51}-h&;2@Z+Vgh%bHVF{~yG^Vzs_jE3%$#9IMpc+oSTtG& z5kg}$!0}B=jl0Bf+cN^b3?w&Q{fOH8{M1%BLOQy`HCbbSO)o zeShlE%n)$*IxPV(U7yGIVu|~qqozZUq2IHsj@~+3YtA6c552>-P5H5MHL}$aFPqop zLLb(S#T*428hcys-yk?qdSd_Ax70|H$k%}kD9YIf5uo66#HQQCFd zHs07RkPR#*s1lD6e!gJT{W$~iAYvOdP3YKemFAJ;uRbB*!7f6@wD4)f&mUEyO)w`W zch|wP<7W{`cpsbkm5H2CJGlAubf-zAVD;?slgkPOG&GEx36f;<-EEhlaj;x1FrlnW?3GGE0}R@T7G~x+1n`8}^9QD|M>RGfSFaH`ex$`=)x6f0x-@ zxs9v`J@6+5_VygtmX|Ke0Ezz3!GGt1^8Zoo*x3_>{Mi6**8jn=3F2*SRLrnLc3THaTA56yPihtR_XK4}7i8(ZpqYGnGO5&6f)jhLcYw4Jet;9&49*RONxy;2F zx1tf#Opuazvj@t`VdtVqK=7V5hQk0qZSx zmR_6I?(~&3gcn_pbCG?j-YL&K3p;%qq}d~v%@84C(D|ni5#FlWM@L(vSXg-mnj!Gm zjked@1)9H6hH)$L*RUQt_#zb78&oyb4SE}-%TR{BjG`4_y>zmC`)^cv6K2cNg)8f{ z?Czx}`12e33#t9xD=W$3!-mh{0Ij3EKg$cWBnN7|0V1$c{dG+`9tzKN1LCC$sODJ= zY)unAf|;Zc5S?8*u{?8{cZ>T}(iW@vA_C6j>q{?4h z4N4V_Vtjp=&qB*H<)@2jW35l74iSf}cUD125E*(Heedb;x*?TXZtvWO@-9n%t9?y? z*-wUM)EfFyv!*O3c0s7Haek@0!rpQ3hPl5VsLlvi zS{R91%F_0ZoOgPW1~0>n^)e2j1e1JUfxWO5bm!NuLTpz-wsmB*5CRUZt?2xyH;YwL zq(ppM7DY3)*se2UGUsHJi;}hFLAfTH>73J)Cbj>N+WgFq|1aRfk+?rY@&DyJ337IU z%*eqnSp$=*YQeV5LmDnX(VE_kT?xv*O&E$^c_F=V|RJYd7mRYs+QYO zzIA3B{G;IuFF2|m^kj%N+M*{+vK|Y!a_Bx%R9ZcJ9WPR5?LZG&N1b(!Z->vP&LsYn zYl?bd16c=uHT~{RI~X%ZJNi{CjVPrKP!4jV_dCv^*3G`WgSn!7&IupO>`YfNqodhh z%-(`wmc+|aOIBjq6OOh9J6up*O6~S2l1j+SE0(~Pzc)<=iglsh7Olw4#3z16D-RAZ zBd|v3=84(0bO(uHmudy;YSui5yzQ{IdOLVC1NccP)1xv$lNe`A#-l7wH{23#UjFag zjW+xtN`o|Tak1E^W=5G_>faZ~>s+lc5*jc(P#(zsjqr8V$eRe+q(eL4w4!IQf?`1t zYp&*NU(;`gRtIYaDyi<()4W&Pb%`VSQLy@}7U@`14YNcdZ)Icu<0_#3w@bm!^}q3s zit1HjY>lrY^e#7KW!s3)9`62SqFyPGH8Y5cY^83x z#~O|)@!VDL>&pEFvwox^6AKD6UQ;Fs5?f3;-h2?OQy%GXaREE4lfPFMrqUZPJ)aw2 zpsC^Dq=}K?8x1O!i=YjC^G8k_CL6wPAEv?e|_I!?pr@Rxy zv%_+g!NI}Ow%1U382I~lmjTnwJ3gbGmP}sZ|Ej&(HW}gIp&Rv14{nV%OFxr(E)N91 ziM7%s!mc+2-DBf^6x>LHm`NcN>z9hF96}@pEke$gVj^rB)~nS;ZpgKFp-_a8MJhu` zPvj=3Xf6F-G6WjDu+78}O2w5|lG1R+>W{9usA0@Rx~00s9G8AAbuMXM@Ll*=<8$O> z2+9>vDkYX9mC-DzTJvxOW=KsJn5#IK#g=(4l_n81r)di_6sIUnmSZeQTVph5Xp2-A zuP9xXBP@wqqcx{*2(PQ?l-n-3Swl5P!WJF;_X|^lm;pj5O>ix6pAesU41pPtM*FDy zocXe^mBXW$(Dh-YNDrFc1(SAc}2YcEafS+6vov5UTays*57>@p$?Z!pl`Qkn>{(m6xreZ zTFGe5kN}vlx8I(RT7jbxXK6&KO54^=&P`wbkq8a#CvULbXGJd|iCKM;-Wm&n%&c1J z*Z^w9V)D`b&R&3CN(vmKEWHSx`oK#)Jc5;21{Qa&#FVYO<Z91khd7ZPt`3{f`Fgg35Z%2W)yeHQ(q= zQ-%7goVHbI0*LPL>iyS=q3(?pZ*28FZTo=ij8Y(lFA3+AcKEod z5MSNF*QNWUY{ind%9`|ck?zPraRScDCL6n&5-=p|DOau}#>D2u)`}q9w*CsJ3?2dZ z0n#d^QK09e6wGw3JUx}JPjxo1Av-TbO@uh{-u%)csO$>u^-Jf zlzVj-c$j{fV8nh+53%dc+vnwR&>yQkky#JxN=}2Jd!%-O#N#zxz@C!cPh7zmyH<%mk&PVsnR|4yTv1@oi`b6C%Q|IrSGbZ)NZVHe#WVpgRp}V}M_QrYaRJ zHAFW*sBv){;&LQx9y>2Ssqs(USm5$}4H_DWDHxQ7v{$qqIe%5e3dADVy5479e~F`H z>K)Td&K&t+OlmL(&er)M1|AlX5z+c6f|!YnN~SW|lKn!HrV3H_^e9g;u1m@+VNqrA zp+--HeckelMu?FXr2w}nhc8%$bHUW!gR$*NH>?HU?6)u-D5$Uq7$~jqZ@`+C)|xv3 zid7_bh}g0{yul9kKL8F7zE$pd_-Fny>l~?T$hQX3DSxk*!b-&NA8fU_iFx(?s{Cri z4Y`{_@ETtJE7upJhGh-Tza}86NeB5ZxJ0VLlg$l$hCdcsN4@ z`k>>#%d%5Pa{pokg=@)6OM!70zagqKJd%quoMCl8&M2KuFUnWYLy60AeZ6E^dy?zo zsN9*i45aX6buVYBlh=yLUfvZK*tE_MfgG6yA7HeL;rBh}6 zDd07-Q^w=!|9Uzyg_gKuQ0MC(OHwdW#I=O)=!ZSy()OztC9UPK;aoXP!xrA{?{2dM zPJz5~Xhi~vRCZMeI3T`7muex*;x6b?X!Qop>!szFxP*g=`3KmEGiDWJTf{Cxf_{p2 z&2R%KP>Cx$-E$p8xwkZ(pSBx(zYDnJy5JlgMllWy*;BL4MjFMo^aYeMYv49EV}l|GY?kTAH%gYtjfy1OGTC`3L9oLM@{~x*Zqa z#|rf*(H(U@@$6&W8ZF1RM$-=5{GFRpxdL0}y~KQ+2$(HjgFD}FCLT@8GdwuNaB|w% zydm29Z)8Io$g?B1Oi+nwv?Guff2;7(tu=Wrx zMf8NX`2yVo0RkHy+^2T=YL!z^6$6{9vM|>7Aup=i93NlOhPVhoWGXQ?UUQ?A?OXnB zy0e;G(LL^?Tg`o_TQZ=g5rcg~kPP=%JFKM!_Va%Z``(!biV1bawB66^$8`x0bYHke zZcSQW|EDl5Cn6Z&9m`XN_t1j=XsCO#-}%ogBP2pUkh;#X2WTr{uY>Fg!8kYH+!Hw2 zA^BU`hEv&uX4k>FiF&@(?q;K|lcx)PzYS@hWSdYo^y4CC84?KbaZ zvJBOITk>o{Y)^ILP?bi1c+8_Ck~YU&Bevhmk&IA_f4Z3TT}?CR;5?WPvzfjvPVaJC zCJ{Ya#!^SlXl+kKIUCL2y)B~<{HvQWpC7OVoGqCC9Z*7*Ud(*W&DSa%cHd6E)t@j| zb%bu+#toqqL{>3HAMR{-$47$xv7O^T5mc9}r)g5eyv{xAIY_%i3KLVeWdBQ{BnT-B z@C9yy{vyjJ&?6YsH6#g?_~#7Tus773?cehJR|TH%o(2!0v;Wq{6b&DQ&Db@GLyf=+ zn6W1YDc@DON;}PLfplXdx=!a#yaba%=k`nNS_VKVdaUnr_tsScY_#W-)ceD8kb?Lk z=iP1gW$tdjwAg<<2P^-h>PjY{hGSXS0m6;-Q~dc80^HJGlf8uWW=ToDI=I)eDdJT z3C|AyWM_VYmIWQ!J{XP-M&N_f?1gsfUvB?$l zcJ3`DjO_7yXqch+;4+;JdGiZKx$JfefwJ9r<^Orj_YhX7kg4b+K(-B7i6%zz6e36W zO!T1tjV>cNPM}2#C=FWQ4-SIffNzrpLVe>dKk}Etq=iKrkA2bF&#ASRhzQk1v6Yuo zNa@X@3Ixd;ulT-LDb@K}L@h&M2rjTXhQoF^VBdc8J*@4B08;+7!ZMqBmgH{-A_^g& zkTlA>1;C6ajhB4DEIDAuIf0GLry4{V;OLBU5@uORSU8nbCP6~^ue-;=*JHC&2!C+* z=j6$x_BJ%Hg@}4S`uaSB)wzKa<%UYP*zxT%i3b9~rG~`r{5W56rIjO8OW(mzpPGjS z*adn0wi1x>fp8h;ruIwY-!(RpH&C&Cs*#Zd>CXD^=$sha{@3R|N zlufgbr8#@!lR1J%)wgmC?tWo&UjxDnm+x!>*8yZ(#4T_7rwTnq#Qn*w>ePz&~t zwj>GZ%k#(jhqTiJC;p)yUHnGLj~v^6%*Eb>ST;Ksxa_UEmz%U{Ii**>#hgq-RK@~! zf1@^$z_IVAAOi#vhwJ6PIPH(o>+rkeS@b-clcW9L1=n*lOU1BOcT@QNWw4x>em6*N zuaDm0owa~+%LpG9{Z;(cHU*AE+7<5$?YKjpDy?rd5qo@EX9=O5l? zjhpc?7u^!tZS@aIGLAtiZu^mUmFS3Q>O9729XbB9Tay=+3B=s)JN@AIxsT!n`RyVeQVTUb;fumj+Iv?7aXdtR2#^}R0w}dngH2z2i#v=a8$|{k1 zdUW2Xumq5tWWO{gdH<33*!DPtUpEe+r>@PY`~sh7>BSVGkGos+fvc_E6Hp@Hnuoze z5PBLJ0J1b5&t3P@RK%42QK&RMTa8(emV;wsoTH535sSC(jrLz&WAWKT}%r^SMYQn8WOeVZp@E zVSIb6NvzKDZk}k4S}+m&D2ggxxCxeNlxR ze@Z`5n2-M#z60MD;mp51kY4%z&!n)x$YF8p;TjZ%#%!P3i3R;TVeH|Z2CzRXzAcvU z6YIn8ByQ8wQ2HNs?1O>1Y zPZE?*={m9#`yr3&X=m}3qAa}HA?cctKD2!(5F&S>e<@m^TMciLr#rvJI&jxk3jT>+|voeT0 z67L0r_?VJN058uYXVB1rC?=Q7n=Ab>dsFEb-q4W4LMdc5%V-qq*V~WDuD0x5Z6w>2 zJ0VAK)vJVO!!M+F(O?)rASE3v?XU52le{GiNNnRiZ#}O;_PrI>R%@3mpg#-kSDVGZtPU~ z1HlfXfWFE^hpH#-GY_Np>lXW6K_N7*l=4iZ5-31S%sd0JE0z zC51q&QxZb+q;A20NDa`^E1-hsVJh}*EveXdV6;+3%5}*lc`6$Ih_%yTRI9l+XrnU4 z<7Ocefc`m&LbL5q*4z{*B~Da-cs3sS!hPdn%RSJ4|D0)Q7xGp&hVYm5pB~s>n^s?6 zLX2(n(Y)YKW=y@jd(HM@A|Dbu&(fxsp7<5Z2G|N7?EC$Jx@Ul3H*SgG@1@AXei#++ z0I9InNnoRh3whz77`;=m)GJ537z0&|g<7AGC49|Ynai>*sK%XYHIl>D<>|f&Qp}zj z%Er)8ihqntj`}BLJIeCzZ&vNw&hVD)NDc*2eGw4)4Clfx>Qn@aWd!{i>0p5&mVS!; z<>dE+jasZG?+8Fbo+9p70GhyHAz?I?*~>H!J3AE>NRlpTnX+1hA5G-}AB_J=>&#ZH zxy*-bO7jD!4<(wC*eT2*o@17tRH0*g3Z<8o@`+LTEA#hdE`i_InVqHuMI-3;8&Kpl#JbXiN`>T8*wZLUPgTSc&GdA+hrUN^dItO@&X$q zo{^yG3`=5$$%=>0xN_x0*&BGmf{K4iZJ;;K!>T2`tewaG_|;dio)kS|*0n6DLjdl#SGzoG($?O(mmlt+|2ijk;pwa`~B!`b{Z8 zVoCA~jxbdwUs^@Oa%zIE)(+xC0vk&lHhY7MlAH$Mr=N@VNO!a#L70eqV(_<}P&T~D z6#&Fw<>uu`j-x+t7iFOT76r;PD9FW&@S-IX86>G>XzAk{oX!LXCJqcQ7w?EkL>woX zP4XuPB=!%saWPUZKy~3bB0>1R5tiINDfP_kjnMlx1vi}s0@qy=LLxS&&llCpct!+4 zery2wZ|}wD48I_Edj8p--l~T(bVLp=f;pDlNIMd^G}~U&(I9_+F9Uv#Fp z96FUn9Z9B)5w1p85;K3_hP*vuk-G8?P4&@u-G0W90^o1H&qv4hrB_QuW|FVM!%X7z zFN1N;!2pKqH10nfslw7C4!%YiJwGbaCM10f4NX1nTG0Hdm;lEc#-HhYD*ud8`!#^a zQWJ;HJkU?C5;(;Xp}bXX+bWz-ndP5OVS#sR9s>`fhIBAQ z&qO;{C~<5n%oB1*nKFwE5X?@Zm--m&yG zBCKPc00M4qs2a1O)!ccHsCC-=ec!^5Ug+)xJ@313;rm|ovtm?@e~JfteyGyz@ww*6 z$kqv%bb56Yi7;tM_A2w`3vIz91XVc-Ghie@*VOalOgF%<>)UdxQ}C z)~Y+@q=)0+xO(4ed{)#C?pyUkzC2$ZbPnjw&>q1eA?G#UB_<+~dZdAX-hfY<$HM2$ z-3+STJTCIdIbWWe1_^pnI5hcA{GzFz@X)VlVFA5dXFf608P!vPyB34X>U7m{= ze2KtHeEmLr@V?k;)NKGH)oo|=;*mt@NvP<7n^-EhHMJ-1qQ#1bN5Q)4)CyQ zW#uGg)x1fd-pBZNUiny1xihlvz14>^x&Hv| zV6@>(56u^=8V05O^nFua(#%v~4;L4ymuT0c{{7(Rjp-PsS3J-gdJ5a7Gu3^BpK{HF zqzV4L!r{gfJ+_rJ!WaNu`Wv) z`TmF0F`a_Xa?F)BJRZia}0C-y@5VX4SrQ?=PIM-ooa zUL*J&>QUx*0I8b1ZU^bA0GlzVe7vmqJNmw_Be6A08SKd%*A=i2<;mv>4=~NFOG~+LqpgSJT7N$+4-$ul(ug1Y zy40P8f0tP+tv<&Fkv1D~n5#pJ`z8s^*@+rp2Y+UM{;_eZS;vy~MHO{=O^}SSNYrOO zl(Iq_cY+KTZL4wDEO@&#h>)|POmaFaDZ{RAg$Gb54*LIOGn<&#oP>a*{Dtzah*J>L zs>&OB-Hq9JX_nXib*V{LYjM!+ZWT^J<@MsWc%bLi_;a>X13u@f&(^ksr?WkB(ij^XXg` zBgyZB?gUs4nKvra_*TDQZpK<0Io8y3hp*z2XH@i~-uw|Csf$ue81?!%%6mfkRbg$4 zXZI+SOGwvkl#yJ%ZV@h>5>yI%=q@Q9sNj=P5&kB4N_Cm*lZE=5u#e%RDgQSG81|_& zhL5UNo2D`J(>VrTX4EoH3onr~CXLK^Wuz$jzx6YVTNGsaZ*dU>`D}2&M~)4e#;R@4 zx{xMe*OIoWck_K|SUamyr(qKtq4ob^>mQ>l3%jmeG`4M2?4)Abwr$&3aVoZL+qTV$ zZQI!OJm22uyzf5e$NW888|%K?9IN-yud(d#fhc1yanz#^H=3=Kc&CjD%=pjlWd*P^ z|4*}5RTW+ZRUIQoa%{?iX>3-bF0Duc8I9#NR;ygATFZg%IdA1OKnkqMKbQ#2GW?Ug zT~fsFOISp7BO=fL4@q?ahT`9AHD1>>*R8Dxwd(cinr-OV=Sz_d=XK_jO-|;Uo{yf7 z?i=se5*{APjFMy;BLK$ikHKD>XT7t!h}9OLgq~zZ0I{=Dfw)I3JfMj~ioD{mAa|59 zqF~gsvoI_bt^E5RKS2#fc;AN-G2@u+C`gUlvP+HIQEx;nk(iZpxC~ksw>zT6shk+nX21kG2gK=J)mqLJ3vwqo02A$UfL34p^slg3C)L1FG=q_y%2 zCwzZd=O8Or!6b@WI=g_&c9zHj`+FfegDl+AYg&5gK)>hMw8(af?HoR1HHx&GSa;wI zT`IQpSNV7Yr4<5etXFD8amvDta%I`F3R^Nw0HF|kaTg_FM5&lUtrAH&5p^0&>83Ne zl5&~mk_~l^7C`cCoHFA+?{SIqoQ*eSCehNw_TJ)6F;b{yqgd@Z)9Qxa7Wzk>sJah%QlV}<@ZF6 z*;KI><6tD=0e=HL*pbs2zhDe+=r=)iOq(0U;Ez(O4FD&8tpel1oZF%lh^O5IrXAXm zam#+$usZV?k(%(u23y_OzJGR*e-lcO#wF88kj5i>`t?jh6lb-sE0wRqkH)TCiP6ce zhB4hnDetoi(D|Y^J8dqEx)-rfkQNn@lCqS#xUjIhmnH49A`PMJ1vmKs_xu_?q37HI zT27~C)&S(!dAR8?+JMlDtIu8rHa_R@Ztfx!tkhFv&E{2JU}xRJVf+d8RfMn<%wkw> zkJ)y*<6XK(45>FlbDq=6$zKO!(-!1=vvi2>Mc9Cr<#D-WI?+9~_&~@g#xd3$kYI*l zgz}IiUS@WGG$Mj%-R$4vJ8?XGWNsq}^2v?lb^x%(URHUNsw5-aVQfJle60x=v#yZz z8IHY_aVQv8Qz>ZoK^!-{N zTE6Og8Z1h;+6ic94E3mJAS&Ux^NBoI{FjZA&z&+v*Vfpmk7y_qvn6kktT z*lz83TpH~c|CJ;P&k&kW?Ez)1v@-huA$}KIVOL^4C;Sd4QABmhhEx7PFdO_W5q116 zPJcIPXly-SGaa_awd8oZMVI9ZWFHM3zzHC(z>Iq?a94-ra~6hK%47eA7MC1~9(wR$ zgLQ^YJuW>aBdgK`BA0M0TK>xwd+jfG{pU_WNlC5bJDcG^A%=wUUSESu@ExZv#fDfg zpLtB8!0QvkOY)07NWt+EH)f3gaBy#fkg%UWr_$R%|8s?|`C^Y(;>hUtPFjglhYlct zQV7h^k$3BwixP8DH__AC82C^SA_*Nm^N;UsJwURjm=dQ=mg_j}E9u~2#o0k+0n|Dh zZe!WNU2Wq^f0q%kIjKWL9N|DU`6i$=eYK~1 zUEv^l@0~YML=9HiT;?&a^s~x$A@#dC~oe{3T`YB7sIV2fOxe0F0;|wrS9IdtK9~Ak|m+raeqRyvz!G{v@7TWdUur7?smbqi*pqt*6c(i zaIf4eaDWAu5J}DyF>18Lx`ZD#OJva6SJgZuSnfwa>J4$RdZmB}DdnDwz6z+M4T5Vw zW$+9`(dZ_FLqQo3U^pUTU6rS7)g%xUA0^>9X2T1)SS7UI3o`+DLThA`0hbiuNdU`@ zws7AFm~ZIoJEYBw1esd*)5~!>9H=Ygn-Aq~U0(_Sa?m29k3r4GLV=7NYMlcDY%=Kv z6HM!+aEGurb#lX24odTND*$G3c!}ohoC{>Qf}j*IZWxGgd=(Srbkza=US*r@%`k|O zLp$FfjEnnSkXKhP`A6Ue_4-y(CJk!_5RC!K9SBkjWj3QVsWN+pQE>;3Jd+1L5X)n_ zgT$1uU+n4m1X=gEkW+-52J?uW9=}mKZ&@Kmg&w3IZ8}v17PcB5*?@OQcCvB+ytALX7&$K(fy*6T%{j{1*fc z{HzCay(&W4lG%tW@;1X{?;6?!Sj6xNUK~nmL#VX`u%W_)P5nWI>heFgx!Kus@V=a- zB?Q{1Ss>D6I|+4;k${HGgjrfJyW#UCRV&K+O#EWJ8HPRhc`XFh!Sp}#$!h(RY4R>s+S!tY&IcS?fE@@duPLi&rCd)?NA_}X`lQX8bU|od5 zTjO06Csoo~Ny2$1M~zR)hN>dv8E4{`UL8U9G^}*WV<_9bv7MO!dy5_k7kw#;iBTrF z$P{+}op)(lTqiy1nx>v+-Cv;AX>9EXC9b5=Fr@rl+k~U);q}XT%sI`fY_!R1me@_c z`1IlhfSMf<^xr0hDIS>&z{2=HdlX#-S?i&HaflC^ir%2rpKy zaTr{5V}!StX!3t?2v;+oo4ajNvdT0yf&>P0kst!E;^M*aDLEn+4ocYuydo68n|(Sl zJ4vOS_OD$Mp@E8*<4#}NS^HiF`K#iY96_UAV){sc=-5k+>hy0Kr0wm6K}QA{=*jl{O>e`Zv2j25E0tQjc0`OnyDsO z^*Y&zNcHs8f^GT}FfAT;VmR29=#Jl~rB^-dE~F139$#R^8oQGY@#_M!y<>=BlF-3# zeO7Uf1Jk775F)XjZS$HF|J@C|wyJlCOra@rp9bq(tvrGwa5mlLj^yWxB?dW4^*qwqEyt+q0uoR>M!ZD;Q#}=ApGX#VmEHX->@kjYaV>#SD{d{gdqx2n(M&*ns zWEYBLg`|bG%MmF}L05#-SLY%|{OhHHWG_z~l2;i-B@&-!UtHWfI%gleK??E!{zy<@ z)_PTIYHy#7y{k&9Py3-qu=3s>H{Ia*WRnv-qKB4(dL6$2xr_jL;HR_az?(?*Dl({k zVRyRO&YQl(*Xx<1c7#~fpLb|QN+h(Jjt7EF?v;5`>+PK)iyMVz$_;cG(c#(^brqh5 zV mR5X|B2zj;$a`lZ$3-5zLyUOAWUedLVYBP1G_KS3@+XVKReTGT(!iLSt zPL4L0DGcjkMUtB9wY};D)3p(kqLj@q>hLWQl6g5i@S|1Oxe}n);Oh3_>LtQdyT-ibC zUKwbtSwRC~y1tay56)4V)< z>ezw(oVs8im#SF{%ubuS)|ZAaYk^@cBLZS0fF{A;XFvCBB|tp^l1u%yWqazA6<1=; zt&?Yt9oYsX-UYnaRtUc+#J|N-@)%y%4IgQ#(ehfdkebPc>Na%Vgo+o>oC1QHLTmzF zqxtg-T2)JN5Xw8a5X?Jblt|(v>I71JT4BxZEyUsg{6Eh1%!kh)uy~VZDEj*GMB}OU zxos$a>J%}QOva7@t;$<-M@m5;EpKQ7>+pFc{h%el@=K`B!i1+>OJbANqp!*dvGd+v zi#Deul(IvHZ94>vi%zSTNkIe%fjP@{)N&t#xLzc2C8)bW#O@Q*?fr0e4jk}4XVqCl z>(?!O@I^CVR)|=rj~qHr(St;IA%gM~%;$0-*jWB9n_xJAbx^H2M>t45C}Bz-?#PvV zig{{iFaKNw93~lYs>QPf!@tV}D`|O7>b~va?K*c~^#+W524Kw9K?rL6;njY4*7r}= zfn9t*(HtBzo{L$zyf9R4V8)DAyla!=`S4zS78?iGiD^MGjI2O9{HbFFx+qbi;#>Qo zQZj=pUnoC-uAu`LtvW=x86JUQ{|Cqf%=toPLluO>K#Ra9jTBZLGurm#cnyTMsTa^S zGvMaP3*0(i$UUN31y#{KC4X8CwnW&Lxj>kg-?MEXEY)RLf~ z<78`$4)bH}ji;>^+nHs*{){R^0lL&ZVM|r zm<54x`0x;tO(4~%h`tX@?+5x0Oa;8QZML^##-I4E+HQZ#u;3b}vL+WfNxzl+VQTQ& zsYU(*Qq>|*OI%8Yw#ojEb~GNW>7?xA+P@9U6%K-VIo;@7v;%SkmIS7t=qoUJ+{_6Z zE%hJ#h*)DZGD2k-*K!feN!G?Re#WLwddk=@qlMCVmYr2x5@jyWuIRT4F1L|1_)v^s;GwL(T-z!@y&ZYUP(fpe3>Sm(e zJ?fWyq-33ui1p;%U(3SBU?DH2Q#&^|h_dftU*lsJ0rLV}anI(z9&{{x_}JagFIkBg z8eFw-DsVjw<(2g*5SnwUcpXotem3R-tD7Jut;~E;SGS{~a$>Pl0N9i9%vrdVeW0s~ z#OBrQop`%YF$1ossCR)Ixy@KY-#ds#P+i09?}@Z)r<*ZKcRe=FK#w7P6xrr& zQ1GcaAD$MG<5B&FO%zXSwA03-}?*^r>wa}!(t)x zl;URd7Wl@+<*VzT^Ii$?u(6@^Jm}u*x3-Tyq3?FRgxfY$B;lZfZQDe!78h<63{j5? zNRDomuMC2V%d{d$)*PrI!UvzZh=jxAoh2gzHGXcp$fANOoGYF?n*e;dBny=agXmHztvfl(asm$YY*&EDiw+N7`Me~>DCdec2R3|Wzf-Q=zN_NNa{N>y+2<6fJA;Q zCjYmUg4TddyqLiSu>P+kiSGZS-M*o7x@C|Lm}@~3qf?W!xn_!0W?M4iFF;Yw3IBZU zxBUzM-=ZG8$krX8FV`%54Rj+iSKwf5KXtG&#$p!w=k9J=A47IsEjwwqx8h`kdk*)c zZ)X6vsrPpI+2#^Pe)ZfBFWxDa`Cb8ZTGgiLNi^)}|idnbJ5P9pZEfq`k-TJh%_3!#k!YL>mh^K;le@u?5t15pNSI z`v&JIO4=Z%jA)Ot)v-Y1Z5VKpkN76C-r=PCpghL+7~|3=suidu{NK-l9-D!%9f08T zX>X+wO13ag?#~Ppxsj9xITgCG_8rLPNiF@zYJZ#dzF5rS8S5s)0*hRk(=3A~dxi7= ziuITz{%C^(bN)Bg!_2|@`+s(}+3J=qDyl6#q9OY@LUS#XHI%yS`)Di%eF0{17zI;? z5&nOWg&=;bhfe57P9OBN9y2{m%b0?I5X+EL614`JcmB z6NQzihoFS+5`|u1g?l3s{F=DVZl{JnHM7Wl^2dUHABvv?hA?dR8!(J$!cTdHL^%jF&TV5?Ub& zYNwJYcv7z<7+2%6?Qo&B` zvj;%OsJ3HEh=4D^ad?l1$0M;d%**CgQy6H5Sd!+bJ7>tAf+An8t$*g67cdS#vv!Ve zKHlkAtY3LcXGepgpUe7bSpx`UI;z95V@-H$ptWku{50Lj4_2M>?sR7lhCrHed1P!( zzusGJv()-MBuGRIS*ZCKA1HGGTa@;+F9PgyU1Ng{2z7zWQ|UHVwLOA=Biuu0q^RX= zpL^k&@(EP5QqxV}pX7W`A{ZP?!Cv<5ij``^-rF+#8x+@}>}n^4M?-r?z-=w)2)(*g z{jKKRjl46>30Kd^i%UZdk~LX4U;D!=Q4&$63`)@TOcR^neWtUPkDp@!SHjNk5#rI+ z4#3Z`ZjWvHYc$+oL37*NtAAMz`9bln=KUorAR^~g)Ehgz2I=!6Wp%6JZhJ^-`UylN ztKf5dTOho-IhO_5|F)wmfhK7*wKE(%p&YTPc1YSX*~n`_J+?G_qryFMd1vv0J#(t! zzJE{wcR0%Y$q;t`GjE~@Ads883{KATH&U-LhcpB~U1>3MN(1Ha%{xWug6Czt=Gnt9 zjF&hh3=D{YDKoltRpd13k4bg@Exphupe=Ba*x}#EsWZCG3tladi*|HinR(arNLn2@ zmsePc)9iOf;PCYN41oZ8!Y?;k!0X|R>-7u?tThZfkD%t$;sP)O=$V#RwKW&%pM&;J zAGA2pPJ&D~q;Nr`99PXwDwmJ>k!zW=uXo?{MqbB_gk~~t2!U1yS`(AP%_3qC@r5lS z=&e^eR!Rs>Db!|qphJ>U2dw}}DRjW;2~*zp)gDNQ&gr#oO!}*vt8RfTyIL3UZ5YGCD4(zN^4 zK${Jg&X!qfGBn7 z!N>U)XkX}{scbo3OCP$EFY3Fn?-LcR4pC@3NUB?YjUjt^;2BfXX071o{T58=NiL|z zL-xN`c*iuwi4ej?|8B5ddhC~r;7#tT_~`10TP!tNtqcW5I*hDk&KB}PuT#D|PcCFb zKM)Mh%h4m@alhTS?l|lhE2(o7VkBT(*6?DLtL5rKyw%)GpnRv z6U)&g#!6wn?=&mhr@&hkrPX2y2$C4=QV7wOnFQ+-EH$I-n7XVBd3wW?W zkc3yj>0GPPOWg7U!5lul#a(&d7#bZbIyyZ~RC;-3Z}wKuR*_&okXa+d4m%U+yh-L# zk<4L+Hn@eU7lXFgr0*V{fs2k=V2)`em+?JuvHXk zwk?8(E+zIB#oOnn-v&WtKcj?KF`blP_h0PS#sx9{cKpH02(f@JV7dX& z#3VWD?8!xjj*VS~;_+GFAIsk|F<-^cs^%HG)j!z{6YceBZKHq7mhQez$6bXo>Y!^; ziOFxpQu4rJ?i%TYU)&0zJu!MA9p(Kd71lZ%S_nTGf}Z_Bmc-&f6F@}udDF1pFI~ipDJGWG55&gHk5vN#-5qIjn;e;*aSOABzV_Ds@Yo5%H zJnaMW6>P>mKV2Q!^{qCSum|o@pPoPH#&kCx(~(z?XM?eGNAOWQ?gKCL$GLKcBvi$;S2P3R3%pZY|uO=V4 zJpC+M(l1IH3ymM=D4*nYYZE>yrs;<-}uTuV&`s-=d zRl&D2i?ie;u(|ZaXtvtvyYv#k&B1-a5t%_|QE|F>yo491rJa|0VUl4}R>Txy)b~@` zZx2!wMymv$=4z&Uwvf&0l=tBB>9>#>qi*Y~<8K`R)YbW0126r<@Rz+LuL-G+Km_c7 z!{%&(5m7-w)kcq`l9P$`i51HF76*iU|00$KN6vG_ey>SFcgA0|I{zF%r@?a-tHxL% zck!IzjRAgDG#vZyJJ+g!OCxeYoapklh$!~%t<$*m08`%pV+t}7+?{f6QJ*EaUpJ1Y zau72o2$UfAZXvdM-tES%;)Cd&&fbPu-v=Lne`A~J*&I?ZZzEQ7J2_JX2GuR(36*4w zNblMTNHcK!zszj2vR@$q3kAsw;UNXTQG$EU!Ml`<*fd;*T9L5tCAa!GIWPFoc-=6_ zkbxdVQEPu*O!j5Z`_M`qg&J9!gq8#ixU}dCP@t_Fxx%eUR#}5pA{Eu^L1$NUqEeBR z{AeQJ=~VCX*LWuQC^_ySlyp&k*}k?KVemXDandfPq%~tCgI8Dr3P9n-IkUB3xMXYc zjez}PUvZ4-4(GxTsMMh#7bV5{U(Zq=B8x2RD$DBpYjl3O-S)M2k8Ts#o`QIlbvnR< z;@;mTomX`wTXr%B%uHYO48&zvS$^V=o2EpF5A$dZ!6N7j$$kkn5iCb|@4>itT@4U? zSVGN(H6YNA3Vp5u3OU~L7bAOx5Pe>QW(B7VNfphy-5fzMkeCJe3*YKufeCSKIE1-9 z_B~O1qk%XUbdx@S{7~GG&Ar|L1!9EV^S3ET@IN1AvdORc;gciUB~HMGrcKHd51yPLLbPrVC zY0bWY^wvz4^t>YLf1zgG?$2-D`)~E4-x7=D3=`86Q)5bTKycoxkU{Dr2n0aySA9bG zpzoM+=vll(aaJuy3t_}xzL^)QHsmo7?Ocy7Il1WR%Emu?v` zA=Q$S4z5-|UPYYdFgQW^qL8)h9MyxW%^7B>{mJ@r`S|CMx&mE)!dwooA zcldv-zeyTtU905?mpq!K@9&@838iKmNI5ltT|E{vMtpgrDsM+>z+dm}3$B|DV?+U1 z-i%&%Z6h{6i3et>neElLyPob3e>Zlmdu&Q&^fUA|XmqMulx&Zl$KXd=xM;RJuorIX zZ2)MoxX0xeT=s{|A3m|#aD3gXTwNe;7Xj_=DFsa!(^iZ9kBqQUHZZ4RTw?P`B|R^I zTVpBIDI}YrqvfGV=qh21GvcR1i!;z^ir};u1dNrM*}?02Qr08>p&xY^44^dIK8T>B zbF-L|mTp|0ThEgc4$$62zc=ER zQi(G?!JEflPT+`6az4k3R%c46%gh6Su(1B-VXPSa@S$}%f{a;EiG#POEp}2sgW$Z% zvfg3_;}P_CsQ&)yYh1l}37F_~w+I zqBOmI*5C$TTWKfadVk>=tyP6Z%@z3jh4SgOozve1F~$p7uD5emRZj)za#kV#vOFGvfm$@lsaZJH>I zNaLo?JUF$`u>E&MByXpmDgar_*tM@eT9BA!6!GUH@MKb8DJQn!DxoIY8o~ajQvWZ_=YO;7GVK_KiiXoXR^2+UOUy&& z|1qWhK>qajn<4V{bzyJw=;@7QR?JTbySa%qof;}=ab->Kg9*hJE|4+^Q189aZyBA_ zj=z>S5^e>@Ir@EncktXV9zC78RX>nO;IR$3HbVi1x7k%YX9!Bg5FxNgfY!)Pr?;ye zJQ7Pr!#F-%P_h?D@a(!|6W!{cF)5Y^D5)k%Q|)7d<2g3u@-80#1S@KRR9+5_e;EVhLaW1IxeqG?JI zWvIgA+>~n>AE%rn1#^ z9k8d{+HIZ#ZM!=id*c28$T^9PmkVPY5zFcQ$ZM?)Z+&V``2E>J}S&VwKbGzaNab99o6*A1*o`i>!NJz zT9`02H#f62s>N6vbMpkAx~+CsP1Co7#p+T|AbHQ8IQ(00vf(gDCi!hmN7q2BeVOAw zOu@B*o2j`**A7_aBPRMoG61x3_8?^wyG2r0JV-}&%NGmKKoMCv#zhig5Yh-!MBTrg z-hV~IR%ERZG!wBz660D5(KDdC9$Azs+AqU@Mo$=+FzH!jX~FWOA2h~_jN+$0jjcAP z$mt`MnKx#V$ar9)#t!0yD7gKX|D$)Ih9ti)zSYuyl?ABc88+L5Uz(238YQt-s^Xap ziLjM>;4ILf1Y@}-+9*0oK#If(nYl`D{SF32LP|9ZAQmkgK$58KyANy^dLyqrI%Dnf zli0?$O6FK&1)dLf{^AzSwI!?pt%eZv9e&6wk%$8eD00JQEwjsf&o@`yMzkH^`}Du5 zOI_8Numv#q2G`c{wXJ4$5gzTqxCn^1Wu~-q4KRLzHA4-y4mOa~@vMI}s}z1U009v0vEh%qh+f6^(_`p;=P(L}o6 zC$RBLf2W~L)+Hbaq;d90WOrp4+(%dJxF|`*{ab{T7l`sFfMqBhhO_tVmQ7F(XGx%mfp=#&EUzn5Ad;6F+(b)r}!27u26e{rFE{qQmv zTeu1F>-oW{IEa_BH!F2<^UO?DuiVeRS&z@r zcCtA%omQOh*5RhIx~$j#06AAUqWk;~o&%K;@!xyT@t=DS#>D*lcj8;oF9lR2m{HXs;QQ6P3qrk5KGL~OUUu3n5OE>CEuO6+<7Y( z+w&&rzuHc=Up#YOIB&eSy@?pHfPxw8%krvhCQB&pBXelxjzqZJne zGJsVZ<#emn6X7R;=8otW04qgdP06|v>IMao@tSZ6u0Vky0zmSCcnVNbg6Iw)3>J{Q z20&eiGXajbtgpzQ5P?X2UX=ZRX>?O6v=l2)-K9KR&d)#cC)IROV}?D8Fr;QAOgR?H zq^J^L#Bs>3BZ|yO9B1UB7*S8EhM)?uSM3^S_7FiF)r}Lk?BZ==0A7{V^P1*&BCTw- z%#Cm5E{&YbJA02)0zz8LQiiT>ZY$Kpi#9VDIrYjP)YAVTo$*#8)2$Oq6iFNvHU)>s z3oBNx$0jCiTh}g;-Ar416?(l+$-6C*tOL?Ug{M{+)j|P|bSl2&>SD{e!nqJTRRG?3V$fyN;`{ zJ0OzlMes!MHhGOYFpYa^r}+(w4qBY?|Gv7Y7Pn8>9TeNhMHZbKLAgoeOl^7%^re!hrHPlLOtE z2*grYj)8j|OK)NlDa)V%67DI?JqzPy(06+@{WzC%pF$o|ojs@p-pj-VSpfV13h{TC zTePRNJ>gb}r8~&Ad~F?p?3e-bhJn}YS8poNeoI0XK%zsJo~n>Gr;966>MlrETdVo; zW2ninsg-SVU$GfIMq=ouq^>=Z3%n$l?>hCq1xlCH`+gu_*mDpsn*x;}?WX^*TzgfIjvR#GWFx@_lx(|DzY8sbZ zMAWiM0GQaNwCqI-2}qKiG7*k+Of&3Ci9%#}T8k2FiRR-%H+)={h%{99f6l;yE*QO` zF&9Bjw3SfxRL`nvLTq1m15an1EX<*g+5#ogMyEa2uxdm&Qi?rP9NWc`j)>J70-&nb z0mt(l{4IbXe2=%!1HzN{--_fPKUZkqGhuigfR)&44^WI4SL?+&xq{}-esu@OkK7fS zYurXp~syzGM#YOL$sFTJ6Wmn zQS$-MSE7({T}{onPnjsoT<ZCOI^7)|4`%_Aos2?Fe3nIiI%PGxpslcT1} zE>oTneK%#ao*KkSX=FVaasF!?Rgh%`B(7tqHhql9BPMB>Z)}AA^mgobmgP)ZdzT&- zcP>AIfQ0!Twcr4P57RO$bj`z*3nAb&F#<5XN7vTSYb7Z{kE{oT~Iu$X)DGm&K((Mr*z92vfkp-YAQgYsMKL|Hr zz*5yu%KHIk@n7xt2i^cc5(ki@(Ee{E7NHvKY;*aj-YN)4Acy;Vfl+#RG`VvayK^HC z5AZaiCLLFUGsclyo(HGwm=MlT46N%}8O2s!v}Pm;(nTE>Jmfi zcJa#1hW2P~j^LR`Ub=33UXl|_O)U+^6ba-Aj!GVb#l9@IMc@0MsP5u#M%GeF=zs4v z5*{lmeARHC|1P6!j~v_ZwVn;EX(`etke~~0G`B+V#Yn3#j#?29eS#4Ka} zgdcE!eTb7kh4LIXVRhSHgj6iwk8o`_K8|>Qs8#A=CO4MvoL+na|DTi8_-`=uf6X-N z#{b_5syB4Le=a;9Y$Y0TwTq0(xmL8=c{0QzaWoRR*J-alN+W?Al;{13pRExC1AFl$ z`7MGM61v=+Tf;mD0y`ZNy~hW$Tt<_pwz%j@d(?ChJJFT%jT z|F2Le7J$0qxC33{;D`22l^4f>o}??FEM}maNsgGrp27WUZ2DJ|=59L$_j{N~Wj)T~ z4yvah-U(=*6w?{{yquxA-7>3yjuds1%@^if(Rik$>E2HDiMFQw&XuT9Yt*w3Gh?4K zZnn%le~vml)X`AX1=LCkDn~0%(XNIp)RUTT9bu~PO72!H%|c42_;}~WELtkohJnt# zB(L979ynS78B8+ACgwkja)(Svj*IJENw}Gr0lqbI`^F7c3T%_r`o9m8jQ>+h;Q#P| zSrUQ!=+KbU^wEf!Nl>Hik8a8SP>zibh~S1V+fZYN;%pp_m(OS0%jnf7hal%*lu!V0UvZ zAi!BjdC@5Vz6n-5|HJFV=F}G?uk3q6RwHz1j zJqi!7Ton?Ijco}F0@BdfXl|XjXkLngiot(UJHci`TCu%UdJ(Pp?vc#JN+$di%BES1 zGwt|Vxt5704T?M=+(_+rW!f@e3P;SrSYsqRW2Vk}t+#F3og~6EB6jm@ z^MZH8!zVwh0#3bWHu~tkoyLdnC*S5i<)feM#wokZ+!5D{@^+huVs+9W@l}dLQGonb zo5gj)c+Q%)CzjBPC?WKs;S;u_lTax2FC1q247|92JWp(*w~h^=+z2IJZ5&;jRA6n}>!UKGyX@635Au7au=E@yU4$nG@kRe)!rI1hT`qhs*+hEX z_fzG@4)@kwt_zR4zo0pv3tp0ZEfEGLAI|Aj=dIXq>1vc)VaRc`=HQi{;sd_J5bT}O zfnN`E4nHSc6Ok`CzJbU_T_&@#q68cebDvG+md!>cihKKj?X?$V$QO}j3Xe_wFjjo#wY5@L?QI<$1K_9(Uv|+QVQ^K%e zH^Y{if}WWNCH1C5vlO}g<5n8A?OM+PN4-Md;g2k zYkJNBe$IqXr!TXeSl($3w3gq+k;;@>LP9|hrkNkFBYVv zr%6kuQ##M(KBkpedC8$Vg)sl?bSE$Vy~xoz@3A}ZtLw!8y{)bU-&?%F6Q(l^y5V3H zgkEi*(67sp5c>z0R0QXqFhmLP4G}R&b*~EyN_4o)2t^Kz5?`l&#_JJOC7LUDq8s*^ zlgJyksNi4#DW^P^Y6a$Vr^EiPBzT)9A(AEe&%l$Rm`wmn@TcAnvNS?>5qilP94fTi zv)#QR93Guj6_m|MLOjMl&K~Yq=2kAhW(%jpKne%{@KjEbgA?dZP@B-$@51f&;&w=WvP@K_e9S$Mt2?-A-1yy3SK_g%L8v3M z_eh`7bw=QqS&w)kw7{d639BIxTi=52%`7+%nWNv)LMNsT@c@n#V54~qKY}p>o!Ppp zofTBK#Y&C{|3woT%2%o6T^g=VLuw03h2(~qgq{#6ky-=SbQ-!Xq}Q$g@$P+qzT}@% z4@9yw=JnNnDHgU*+5A2_35fsOazxP3d~?ww#&LmDpeN@s5O2v3zT1ek6zCIj%6qDK z8CS~TAUg|{kPJu(=SQSRXW49r`I9>4Mc+t2Q&S=!Kbs}3a+vP@;Mm}T(Q(0r_sNB@ ztcHk*sR)LjKp{t|c;?oC8QTsjo27r9_Z zKe5+CPC*ye^_k{qmT&0P=9=WTndw+DhNt%cQyr@Oq>EURH_~>T$)>4J+Zk!m8GH;| zv4+X=rwLxn{K$jwK%4dZY6s(`nz{16Y?kdr)Q}-7Q5rjGe75KG@c?93Qdl>*XT|dYg|3R)8=uGrt`T6sW3Vc=#{f1ZWPSGH>;nT z)|PNRCkgF)b;2KlGmgtJ7oY0w*N;u>#iL;Go(B**-CRYfmHvJDL>D@PATC`hkrL0i z-tis3;#;%g5S(<^=3C~5p~#)4&rHAI$AqT@a}OKD?PXAV`;Ki z##w=QesgAU236PQ=K&RC(0iMB4d;j|O#Ey9_P4zlJDKKVFJQI;Vt5eLzV=s zNwEMqP)s}9uUani!Mj9A-CJaiMTDXiiaxGCd-@<1uK&JYCe^UM_=AOy{wW5!0xQPum%*c4dzr7kgXCTg>-D zi%cKk!a*{43!H?G^3#1WD(~A}zI&LcQJH?l0B6UjHd}E;`tB2#m`&j@JV-9@75s2y z%s|0zS!qcX%5mvliaQv*dI0-EmuFJ31Xo2xq0I-79lpX??6`C=SJ@b9HL)UE^a?|I&z!*y5-qZS0=kU|6raiTl$L$jUoPV*0{I5y*|Lax!ukA65*WqbRb~Z8xE#;k8*oIA{=urFp zy$pG4!ibDhx7(B6iK^4({}lM=y{OZlk zV6h=mp-5Y^5 z+(%e<641sIKn~_6N#;P|QWX2hi+J+!MS$nr&WJZk$jR$6@bm3G`yLi1-&5D^;o7Wx zx#sA@+&$=p(&*)2-8)#2wZex9aJ_;5+goJJA8H7=UOT?&Y<=4(-0&F*eK<8vgB=Y| zBYN`@@8a7rD8cig4TV8s!&; z56$!sc>5|9cQUGf{%`rg!L|U$xoLZSzp$?h&k*EUYdYniEMwv0g-viNKpt`c?u)4N z1^COxgJ*;pk9R8Ow+`5#!zj{oIer}?cL*mwmL0|CoZ}`+r?(ECPNQFUXeRehI5+!8 zHK_M+g9ZdRn(*J_snnm2Mz?NPQElrg8fq&bAB6R)Uj+)pAWT?7*U-C>jzlQ!XGM@E z5^P5)aGaC^5XQF|#`#`0Nn)iPdc2+@gKus3L-Q9u&C%^=E4ek=$2{J%%*TLNf2oPj&ch}$& z945FEEVw%?|L)WOv~Rb%ZqobNp=LCzTz@!)2Y& zO=uyuCBqPPsylYMaO4iQ7lEPzu{DjV`9`y~>d})rsy$vhk8I=UCVUg#kUie~+y8fV zJgGo`|C#R_z5gPIjgqI{(-|=SBP{%n1IJrG3r!(f=s?~P_W`{4e;{skNJRI`cKS^% z{5|oG->c*?p}Ss%&CYs>o&`KP6(bLc?vIY79^Y2wXha$+hPIPWcWJIA89G@)FEbN8 zU1JX#O@nsM4o5wpj%F?Ddl*_!Y9ltL@als5lJGp{o_-wq6z5Reoh9MIgz)_qH>*ge z>8Ux=XK?#Pe-qHKxXtbbo~tzOiFGR5P(0@^XHU5hYOyAtX~x;Ua7B4m5ZSALL-%T0 zK*~n8nclsFqW=ccnCv#Ki@c$Jy!kty&5HHTXJ`ETR+*qW!1y<~RlFJ$S(U+h@!`G7 zjSnR#WLDEmqzVc^I7ElOr=|`=$B=|K1Csxq89s?c*6I-?yB?FsrhSv}_?R*r3JG;W zz0OXS58BgQ&0&DDt#%}dzUpNK?W2rzaNIhqLRt-m(K88zt>pn^o^AWYi7n-0|BZ0J z$4A4X@&CuFgA2sXCGcN7eU&ci*RML60hSq;d7;|pOP0yivXLAlKU$Snmj~inr4R`` z$@LJWh;U1TgY`?hUYB*mAxzrL65_bMYb22?QWN=6Lj#LoX~s1Xd4@J=_WkiyxNLdB zY*)b&SN?rx-Sw`wOaG0xm%%)l_(FaPkc!-O`@zC?nyOJZyTeUoM$pDH$A_N*=h!JC zTcFHKvHpuUvrv1pmJvCdph%dxx zJ>wa!R^wR$zTPSh>c%qqJ^@}9mnr9Z=tSc`i9~((#u2v^8#Jyslkpq+7wGp&KqXf6 zdtj>DaK~}^Nx2CCTEg=;pMZeVz8}VTXklD<4YyMxql&(kzZ;#*WCDEd!=W!_-eG0T zTQ$2D`w=y&;|iEm@%}^SE$;+)8{$Km_tue%hQ?LBeAYKwfw{5_+C2@$vfb4`SxsNL z8RHcSliLonx@fOjr75D(@?|t>Ku~^`6tn^omf%b&5mn`4V~BBKvBqB`TcR6BD5otV zp>&r_RiU<~U8y_Nhb1#Q&%7+|D@9Y(vXXs?huTyEgdZwr%jh2KGqN<^#@jc!Hu|zM z@Cka|UR_e&NSua}f=Jsz?^7+IbrR zO56eS_chPUIB(qF%U{e2B0`F@_ws!zEqYL7id^T621Qz74>AJYm$l(}6#S z3h_o@67>0rWjArXZj33Aw{UiJ4Z5n#v^>8fPHQ(T{eC@I^(|?8ReR$_dK_aX&YtuY z%Bvv&rpgqUOCSsWe13)lJ&oZY-e;uus_RDKD=6OhOwTGb%(FPblHJVs69maX{)iGF zZ_Lp!J;Lp4TI}ZYsdH<>6Mb%r)2<*MZ|uMrfa?rnq}#Wp6HL`du+=w@u$741Fy8#I z=_|l=z}fDTaU^!6!zud*2xo;bW;Qbk9A6Qog#|<`T^skX`Y4=(&dwo6EI!>wV=CO_ zqWKp~67=AV&4$s%dh}{R#sD^NON|sxgNpgFYc(asHB+LmeauHu{a)9mye3Iyi2x-1 z-cM;ka{u7CR@T0O{)w*p3iJ1AWAQi$MCu``!VMxt<@FSDiX-aAVTA}dIrn1zByQ_E zKpAzDKu5dH-(TO#w>je~5%aGZ(}}ZMeS5~E4woq)$~B3lCEmQ}k+hSXI{C)b+R%Pn zD^;Xjfe=(p;-+1u2d5$Ed)IJO=O+_Vm|ONpHUQ=s^t|ew#BtFU^@QIdH360m z%1IOI{pb`j19VyXS+QcUiNlRf9!(zOhbS9lxDb=pmW8HPub}}G*UHUo`G;jBh@fLJ z%SzSx7?CvP(Ctwi%gdE5b53Jr``7Lk#T{Vh(K?SUwk;VlE5&!p2Sn6^ESE6P|JJ;S z@%d9f#4g_qa&4&~K@(T__~StR1LsYifhoi;hRsESxAZc#&G)?3h~Epb_$_jHDt;E2 zx;$=xsCR1@8-L%w@P96dK?6k7%kFWg@WS2e6?{<=7-U5XGG~K^#aJ8O za3zQ~FMhe z^gc)o6?K|uK*Co=a2H~wMJHQj{>eCYxJ#7kz}uA_f3)BMBzI;xixaycfQ28xo~F;z{!!xUnRsLs4PFI7uh|I6@3xX>&S?Ah>ccjpdRv zXzIO^5aLVrk6m3nI44rv@e!rrm4vK+|IsbK_%wC1I^pHDLEtc~zPW#h-u_9ZrG|2C zN>-zbC5=b!^(d}B6ik_tiT4aO{q%MQ8ryphU<~Xvt)MFl2Y*$)R|Cl3q++qR$BSBs z?isnKBp$@@n8)dsKMw;wsPV%TEv7^IQvPj?0ZHMr^7SI7u|QK z{&8V1`boSdfW0@#O`+Gap3&XonQz4fU5q}#@03u!y;P5$fFtSRnBM1*8Kqg!1y_Hd z_Z-z1;b1C`+b`O~?hw1|FZ!isVEiU|c~tpcT!q8)RD0wIwS4eF(|txSd$+l2hB@JM zn57zB!{PU!PaW;;38KlGh$ss|6NAC9m0#|>(K~hCwgETJlz#m;Ef2_~1`QMI@NPxu zwiGPj;5BgZMC3->C;oh;$I?fTgE3(%M1TL!@{O7#LLdymTu8@5K0SHoAO0~HSN3;foQ(mfC;SH{`aGoC$gXt$U?V*z;aTh zhdYN<{6KZd{1cEOePKi*DfdD1%o!Q$@f!*E+e3{LlghxTZoJ|-6nX1_v=RS=L0AhF z$%MpkY<$&=IL<7u1ukquoMxZW?{(cDBId_OCN|iY#Vzc7HO`YRBxHpuod3<5wp}UI zv@f^qz}_ue0&t6HhzGczs70W#og_@?j%9_J-Ai;gGi z7;smSFQsPpsgA>aA)v--#K446j|X+wJi?r^BJLw}?M$mfhpo z5cot#mFkp6>Uc(rL4;-44Y2GV%VmgN{r22bIqbmNV-ZC3*QZKUqxT0=WqM?qK;Cwt zIx}&gwjwv^Gm+vwefMhdz^^eM{(TdzMFl&N51La zH<@o08r8&XA1$|yWdEtKYfy8{!8!g^nO_w}(CL-AI~Be3K?rc*jL&qx+>Q99md{h~ z8DBencwEObqYapg+XH=bf%9)<=iAZigt@JyDWzfr`PiM_ON(;9^y>o{&+y$2@!4%J zRLxH>%d@@^6{H)DS9ooFHS+FX-x6F|s9_88p{BEC0 zakW!W?^=>vKu{FUKtwiXFeX$D(Rr8*p&KT9jDv=+&2gO*H2LYeV1)jQpC1Ce1I}&G z2MfHh`qcc&2ftBD<_8w#KZ!nb%s2AZRE_z>6T!7_YEM@gNO@h2pLNo~`|4l4GVMTE zXp%V0$1tw3SDRHPCbP~V`rXC_M3SgoZT@%i5{zD%zsbw7bPQ>T{Fyj-a6pCHdlxYU zQc(h8MG_<88*0k@OeY`pLAdq|%4{-Y8C%9Fxo`y?x0{EjqMSRvW_G9?3ctS_Es+^c zE|gu{nj2c&;$biGlz(r|EC8~<5pRH=h<)zmE3HeY(V9kiZQEN zHqwccpPP%(<43ZMONnHI;zZK=Ud9MuvSkdIx;=~oz#<0O)R zzwc&B@|R8$6VtM3PGUUwUtB>;72=iSc~4iQzAHs5jxcLGtBIqM=IoTOD#;2fZLLdQR(l6hSZ07=Cf4&wNAc%qqvRdRXNJdV z7i?xR+*B7%p;JtQg+Ne+$-t3#Qh&Gkc4Ey4ymwwP9pcp1FX8X*Z~-@1jsl|P3%~(2 zL1zQI%cVELE0TX2FkShjK-tS=O!0lm{vcV8u)>W;lq7(WRKrN3=VPu_takl)I`Bun z2Ga;!K2@}3YeWq@oKc2U3OKt7{ouZSr;63^`%C3kX4kxiL?P(*n$n~%){Ual7l$;|Jx2~LT|}s zWeCrIN@v`lP+_#eu`H#cQMb8SZpM5`{TU_+C(O=aYg_l>(QOK5AP@on-%z`Izqqc| z;arJtyYEmiu1qMyD)UF-q;P!Z$h~{H*aj)Qqr3=e6~&Jj7ppjuuwchf#r{Zhr@JhsgQ`k~-#FEzoxXh{@Or^06jeN{64f43aucZ3xJZel zFjlacbyEE4Yn+MLa|ZHs5f?<~D8q6v2qdr(x5@l!1NzbgN$V))Fv#PZbn2_*=CD{m zjJHn{d0gs5)coT6g>Y3csTTvVf<=U|YDi`v*ZeBp0a6%Ls8f2H-GNmUE*3!=3{ixD zc_Z=-!RHYProcP7NCu)X_*`u?9C&_iS8--0nqH(dT}FWm2!Z(?*13>wEjjQr3cjH4n)QrmY5m~n!(>TU0HPBApoxHqO1l_nv|$NY zFI|0wZNZ%zw;vdZdJ~aub`zUIxC``!H)!Om&_=BEdHbU|mU^f!B7Ar+0- zaO5S{4Z(ZdVXl5eth8t3y2y?qTG!uo(WB!2h21ji{SaKiZX7rEJ1b7VI(q8Eb0iCAC=*-0IsLAJ)vi2^6 z>(1e11!1ceh*sa_QWEPh3j@%ZNmgpldz4~nKOa4%QzW4i@7HbClxAR72iqsUR2&wF z*WnNcidz>!x7q7Pn0_HQof}CJCMi7|H|=<`>eKzzrz?02?{iNiv$8@5*#KD(wZiIo zl7!pgp%^i~?nN6%xm^5xqn2Q=@K5PnQ?x&@>=J?gEf&K}jd)!TQzHje;iPJVLWGFq z=#Ewr6&$A-SIs`@&x~%yHMgI&s}8GUXgE5n^9i_uc)D&Z~jZ~vKL!-eKWsptW6h1 zXq5ZHRh?@r0JI?;)Vm3{sRdcLFem?j^9S)qd9^j(QSt*uv4s|>{q!-Tk<-#}=)5`v zUUoD&hSLpIqj@`=4XTZnWz;*VE-y9y@aq;|*N&u|27gQI5fTrzS=~$}{`6LzAx+~K zLoO(XG1Q(oW_~*$l^62S@>t?cSBh!u#wXg#(E9@QjB|j^4{V8mPmO(-((8m?sc;TS z80hM#G|%pPVTA|z=Q*`yZcItGxwr*N^QN(5m{jK!H~2Ym`;mk#*Xk%)gG;K`P7g#k ziub_|qRio4RXg9aFdulwIVtb1VAFizqEAB%

6OR)m6R2*bDxl~&hMQ+rBO>l7q2 z+yFoKwze*9M47^cN~F)6i88S+ZLBq7^OF1heM=9%xc>mfZR{?h!o5qp=CIJ3B{hx{ zri3J&eGt()Ba&Ih8zcT~V@2q8(Zb@Vpwu#3UE+%bb5EsO}2Gi{bjLWwNn1cz`$rBr;<7Sa}J&s+Y%tMpn=7KXW{*KfSA zvIQl25651ZPH)dI4@<*Tw^QtGMs>-RRZtlvdx0GbOMx9Ndx6uNWaa!1O@<^T&5U2I zh2S`gbZWO#-Uu?WVglla1)N*p4$R(Kq=z@_3f_tBKxM48BI4^GC(8xuI z%k{{`j_M;{bHL-T>Uj7lJsVle@whOa%* zCMB%hRDMm19q2qV4#FV%OhyOrsroVSSa2`BX|ekVWr`4GcXf4r5PsLcYx^lT?$O#1 zKgh+WJ8hw7r=Xa{(jWr59r8(I!+@fHThJzH?Wid{IgExmDq|r~l zX(^p=X;Zlh;H})gvHYv`1+Mdvl zBq3NUw7ft9tL)>{otwR<)pb8Y4cp9hm-Q%W()~LSRVDK%B8LCPMk)ph1B*K z2+MTqcADE?D0oHc9Pm@Ty^Q^XI)>Et;{**wslg`1&TcDDBm|X5|RIN_+4pF z5xkiC1t+&sCg=Nh0tkD9G8Ys{fAE_lQU{<-%=xRCJ>}wasB2sOj~2xenu(J;c|CvY z-R4$gEtOxZ7!g%Yk}hA);^ZADQWkeZ@G9mKt?iOQqTU^#C(%NWuD-f}8NuNefx622 zh_4j{fDb>irl(Nt%NWQT<`=&#|JwM%u)FoJ^ssd!I@0dIj4jmVt-c&<$A*3L@u>Qk zW{tsj(H=D_m#R@i~}d6d%M# z{h9iGfr%z84EXBpWC_sKu(SfmOBo28b8z!n@^f-=NP z=9X3hqW}L5BY=jZqZ=B>`x6=fc?T;;YR>;XYTEc%QVZ|{bPPBU-%FfE|JTX${a4HZ z+r+3spBcf>)|D;qqG^aeFE%gGO7Cz(fhP3yV{Mvz6FYEMl9Q!gS)%GAM!97N1h}LR z$nTiGa#I5eWEYNc+oeyQjL6Q{lbJ_e@)X-(e`4! z6k{mOMOAm)zaFtCFiVDND8a`2*gN- diff --git a/suppl/ocp_structured_qp.tex b/suppl/ocp_structured_qp.tex index 2819ace..77af528 100644 --- a/suppl/ocp_structured_qp.tex +++ b/suppl/ocp_structured_qp.tex @@ -1,7 +1,7 @@ \documentclass[a4paper]{jarticle} \usepackage{amsmath,amssymb} -\title{最適制御問題に固有の構造を利用した QP 問題の最適化計算(付録A.4の補足稿)} +\title{最適制御問題に固有の構造を利用した QP 問題の最適化計算(本書\cite{fukatsu2024python}付録A.4の補足稿)} %\author{} %\date{} \begin{document} @@ -77,7 +77,10 @@ \section*{準備} \label{eq:ipm_qp} \end{align} + +\clearpage \section{最適制御における不等式制約付き QP 問題の KKT 行列線形方程式計算の変換} +\label{sec:handling_inequality} 不等式制約がある線形最適制御問題はQP問題として表現できます(本書\cite{fukatsu2024python}6.3.2項)。 これを内点法で解く際に必要なKKT行列の線形方程式(\ref{eq:ipm_qp})を解く部分は、LQ制御問題に変換することが可能\cite{rao1998application}であり、LQ制御の効率的解法を使用して高速に解くことができます(後に本補足稿\ref{sec:riccati_recursion}節で説明します)。 @@ -288,8 +291,201 @@ \section{最適制御における不等式制約付き QP 問題の KKT 行列 以上により、最適制御において不等式制約条件を含むQP問題を解く際の内点法の中のKKT行列の線形方程式を解いて更新方向を計算する部分は、 有限ホライズンの離散時間LQ制御問題の解を計算することに変換することができることを確認しました。 + +\clearpage \section{リッカチ再帰式を利用したKKT行列の線形方程式の解法} \label{sec:riccati_recursion} + +KKT行列の線形方程式を解く問題は有限ホライズンの離散時間LQ制御問題に変換することができる(本補足稿\ref{sec:handling_inequality}節)ため、この問題は線形制御の効率的解法であるリッカチ再帰式を利用して解くことができます\cite{rao1998application,boyd2004convex,frison2015algorithms}。 +以下では、このことを数式を追いながら確認します。 + +本節では、次の有限ホライズンの離散時間LQ制御問題、すなわち、評価関数が二次形式で制約条件が初期状態と線形状態方程式モデルのみであるQP問題を考えます。 +\begin{equation*} +\begin{aligned} +& \underset{ \mathbf{X},\mathbf{U}}{\text{min}} && +\mathbf{x}_K^TQ_K\mathbf{x}_K + 2 q_K^T\mathbf{x}_K ++ +\sum_{k=0}^{K-1} +\begin{bmatrix} \mathbf{x}_k \\ \mathbf{u}_k \\ 1\end{bmatrix}^T +\begin{bmatrix} Q_k & S_k & q_k \\ S_k^T & R_k & r_k \\ q_k^T & r_k^T & 0\end{bmatrix} +\begin{bmatrix} \mathbf{x}_k \\ \mathbf{u}_k \\ 1\end{bmatrix} \\ +&\text{subject to} && \left \{ +\begin{aligned} + & \mathbf{x}_0 = \bar{\mathbf{x}}_{init}\\ + & \mathbf{x}_{k+1} = A_k \mathbf{x}_k + B_k \mathbf{u}_k + b_k\\ +\end{aligned} +\right . +\end{aligned} +\end{equation*} +このQP問題の最適性の必要条件は、対角に帯状にブロック行列が並んだKKT行列の線形方程式となります。 +\begin{align} +\begin{bmatrix} + \ddots & & & & & \\ +& & -I & & & \\ +& -I & Q_{K-1} & S_{K-1} & A_{K-1}^T & \\ +& & S_{K-1}^T & R_{K-1} & B_{K-1}^T & \\ +& & A_{K-1} & B_{K-1} & & -I \\ +& & & & -I & Q_K \\ +\end{bmatrix} +\begin{bmatrix} +\vdots\\ +\lambda_{K-2}\\ +\mathbf{x}_{K-1}\\ +\mathbf{u}_{K-1}\\ +\lambda_{K-1}\\ +\mathbf{x}_{K}\\ +\end{bmatrix} += +\begin{bmatrix} +\vdots\\ +-b_{K-1}\\ +-q_{K-1}\\ +-r_{K-1}\\ +-b_{K-1}\\ +-q_K\\ +\end{bmatrix} +\label{eq:kkt_system_before_riccati_recursion} +\end{align} +$Q_K$を乗じた下から2番目の行に一番下の行を加えると、次式が得られます。 +\begin{align*} +\begin{bmatrix} +\ddots & & & &\\ +& & -I & &\\ +& -I & Q_{K-1} & S_{K-1} & A_{K-1}^T \\ +& & S_{K-1}^T & R_{K-1} & B_{K-1}^T \\ +& & Q_KA_{K-1} & Q_KB_{K-1} & -I \\ +\end{bmatrix} +\begin{bmatrix} +\vdots\\ +\lambda_{K-2}\\ +\mathbf{x}_{K-1}\\ +\mathbf{u}_{K-1}\\ +\lambda_{K-1}\\ +\end{bmatrix} += +\begin{bmatrix} +\vdots\\ +-b_{K-1}\\ +-q_{K-1}\\ +-r_{K-1}\\ +-(Q_Kb_{K-1}+q_{K}) +\end{bmatrix} +\end{align*} +下から3番目の行に$A_{K-1}^T$を乗じた一番下の行を加え、 +下から2番目の行に$B_{K-1}^T$を乗じた一番下の行を加えると、 +次式が得られます。 +\begin{align*} +&\begin{bmatrix} + \ddots& & & \\ + & & -I & \\ + &-I & Q_{K-1} +A_{K-1}^TQ_{K}A_{K-1} & S_{K-1} + A_{K-1}^TQ_{K}B_{K-1} \\ + & & S_{K-1}^T + B_{K-1}^TQ_{K}A_{K-1} & R_{K-1} + B_{K-1}^TQ_{K}B_{K-1} \\ +\end{bmatrix} +\begin{bmatrix} +\vdots\\ +\lambda_{K-2}\\ +\mathbf{x}_{K-1}\\ +\mathbf{u}_{K-1} +\end{bmatrix} +\\ +&= +\begin{bmatrix} +\vdots\\ +-b_{K-1}\\ +-(A^T_{K-1}(Q_Kb_{K-1}+q_{K}) + q_{K-1})\\ +-(B^T_{K-1}(Q_Kb_{K-1}+q_{K}) + r_{K-1})\\ +\end{bmatrix} +\end{align*} +下から2番目の行に$(S_{K-1} + A_{K-1}^TQ_{K}B_{K-1})(R_{K-1} + B_{K-1}^TQ_{K}B_{K-1})^{-1}$を乗じた一番下の行を加えると、 +次式が得られます。 +\begin{align} +\begin{bmatrix} +\ddots & &\\ +& & -I\\ +& -I & P_{K-1} +\end{bmatrix} +\begin{bmatrix} +\vdots\\ +\lambda_{K-2}\\ +\mathbf{x}_{K-1}\\ +\end{bmatrix} += +\begin{bmatrix} +\vdots\\ +-b_{K-1}\\ +-p_{K-1} +\end{bmatrix} +\label{eq:kkt_system_after_riccati_recursion} +\end{align} +ここで、$P_K$と$p_k$は次式 +\begin{align} +P_{k} =& Q_{k} +A_{k}^TP_{k+1}A_{k} +\notag +\\ +&- (S_{k} + A_{k}^TP_{k+1}B_{k})(R_{k} + B_{k}^TP_{k+1}B_{k})^{-1}(S_{k}^T + B_{k}^TP_{k+1}A_{k}) +\label{eq:riccati_recursion_matrix} +\\ +p_{k} =& q_{k} +A^T_{k}(P_{k+1}b_{k}+p_{k+1}) +\notag +\\ +&- (S_{k} + A_{k}^TP_{k+1}B_{k})(R_{k} + B_{k}^TP_{k+1}B_{k})^{-1}(B^T_{k}(P_{k+1}b_{k}+p_{k+1}) + r_{k}) +\label{eq:riccati_recursion_vector} +\end{align} +に$k=K-1$、$P_K=Q_K$、$p_K=q_K$を代入して計算した値です。 +なお、この式はリッカチ再帰式と呼ばれます。 + + +式(\ref{eq:kkt_system_before_riccati_recursion})から式(\ref{eq:kkt_system_after_riccati_recursion})を得る操作は$k=0$まで再帰的に繰り返し適用することが可能です。 +その際、$P_k$と$p_k$は、式(\ref{eq:riccati_recursion_matrix})と式(\ref{eq:riccati_recursion_vector})により得ることができます。 +また、$\mathbf{u}_{k}$と$\lambda_{k}$は、次式で得ることができます。 +\begin{align} +\mathbf{u}_{k} +=& +-(R_{k} + B_{k}^TP_{k+1}B_{k} )^{-1}(S_{k}^T + B_k^TP_{k+1}A_{k})\mathbf{x}_{k} +\notag +\\ +& +-(B^T_{k}(P_{k+1}b_{k}+p_{k+1}) + r_{k}) +\label{eq:riccati_recursion_u} +\\ +\lambda_{k} +=& +P_{k+1}\mathbf{x}_{k+1} + p_{k+1} +\label{eq:riccati_recursion_lambda} +\end{align} +$k=0$まで再帰的に繰り返し適用した後、最終的には次式が得られます。 +\begin{align*} +\begin{bmatrix} +& -I\\ +-I & P_{0} +\end{bmatrix} +\begin{bmatrix} +\lambda_{-1}\\ +\mathbf{x}_{0}\\ +\end{bmatrix} += +\begin{bmatrix} +-\bar{\mathbf{x}}_{init}\\ +-p_{0} +\end{bmatrix} +\end{align*} +したがって、式(\ref{eq:kkt_system_before_riccati_recursion})のKKT行列の線形方程式は、大まかには以下の流れで解くことができます。 +\begin{itemize} +\item $(P_k,p_k)$を、式(\ref{eq:riccati_recursion_matrix})と式(\ref{eq:riccati_recursion_vector})を用いて$k=K,K-1,\cdots,0$の順番に計算する。 +\item $(\mathbf{u}_{k},\mathbf{x}_{k+1},\lambda_{k+1})$を、状態方程式モデルと式(\ref{eq:riccati_recursion_u})と式(\ref{eq:riccati_recursion_lambda})を用いて$k=0,1,\cdots,K-1$の順番に計算する。 +\end{itemize} + +リッカチ再帰式を用いてKKT行列の線形方程式を解く方法の主要な計算コストは、式(\ref{eq:riccati_recursion_matrix})-式(\ref{eq:riccati_recursion_u})の中の逆行列計算と行列同士の積算であり、状態次元数$n_x$あるいは制御次元数$n_u$に関して3乗のオーダーです。 +この計算をホライズン長$K$の回数分だけ再帰的に実行するため、全体としては$K$に関しては線形オーダーの計算量です。 +一方で、式(\ref{eq:kkt_system_before_riccati_recursion})のKKT行列の線形方程式を汎用的なコレスキー分解を用いて解く場合には、 +KKT行列のサイズが$K(2n_x+n_u)\times(2n_x+n_u)$であるため計算量は$(K(2n_x+n_u))^3$のオーダーであり、つまり、$K$に関して3乗のオーダーです。 +そのため、最適制御問題に固有の構造を利用したリッカチ再帰式を用いてKKT行列の線形方程式を解く方が効率的に計算を行うことができます。 + +本節では、リカッチ再帰式を用いてKKT行列の線形方程式を解くためのアイデアの概要を紹介しました。 +より実践的なアルゴリズムの実装方法やより詳細な計算量の解析については、\cite{frison2015algorithms}を参照してください。 + + +\clearpage \section{partial condensing(状態変数の部分的な消去)} \bibliographystyle{unsrt} diff --git a/suppl/ref.bib b/suppl/ref.bib index 1ea3739..4f6b012 100644 --- a/suppl/ref.bib +++ b/suppl/ref.bib @@ -1,3 +1,10 @@ +@book{boyd2004convex, + title={Convex optimization}, + author={Boyd, Stephen P and Vandenberghe, Lieven}, + year={2004}, + publisher={Cambridge University Press} +} + @phdthesis{frison2015algorithms, author = "Gianluca Frison", title = "Algorithms and Methods for High-Performance Model Predictive Control", @@ -30,7 +37,7 @@ @article{nielsen2017low @article{rao1998application, title={Application of interior-point methods to model predictive control}, author={Rao, CV and Wright, SJ and Rawlings, JB}, - journal={Journal of optimization theory and applications}, + journal={Journal of Optimization Theory and Applications}, volume={99}, pages={723--757}, year={1998}, @@ -40,7 +47,7 @@ @article{rao1998application @inproceedings{sokoler2014input, title={Input-constrained model predictive control via the alternating direction method of multipliers}, author={Sokoler, Leo Emil and Frison, Gianluca and Andersen, Martin S and J{\o}rgensen, John Bagterp}, - booktitle={2014 European Control Conference (ECC)}, + booktitle={European Control Conference}, pages={115--120}, year={2014}, organization={IEEE} @@ -49,9 +56,7 @@ @inproceedings{sokoler2014input @book{fukatsu2024python, title={PythonとCasADiで学ぶモデル予測制御}, author={深津卓弥 and 菱沼徹 and 荒牧大輔}, - isbn={9784065356111}, series={KS理工学専門書}, - url={https://books.google.co.jp/books?id=PJy00AEACAAJ}, year={2024}, publisher={講談社} }