From f9cdad4e4fcdbd33cef0aada866c51b7f5e1816e Mon Sep 17 00:00:00 2001 From: Martin Thoma Date: Fri, 29 Jul 2016 19:54:10 +0200 Subject: [PATCH] Fix label correction pseudocode --- .../label-correction/label-correction.png | Bin 39842 -> 40291 bytes .../label-correction/label-correction.tex | 12 ++++++------ 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/source-code/Pseudocode/label-correction/label-correction.png b/source-code/Pseudocode/label-correction/label-correction.png index 5acf8626f82b0879df37117dba5fadbd9a6dc898..75baad2c8b0ce4316f72812c1a7f019302cc0cc6 100644 GIT binary patch literal 40291 zcmb5U1ys{t{4hLP8U{#?Mutd8cQXbmQVL2cC>?@ycgO~ll1_1`G*XjL1V%_p!{}zC zq((gWJLmtL_kGWM&U2of&(7Vx-+S)8pT3`nH_+FireLE0007jwP%R?>fbixg!S7q7 zH-p1k2ldTB?4_Y=a_i<3bjvR8=0CXy^qCg`K*{p&OAuf7jqc_l>sxKJx5n6(1`5?I`0YWwJ3e7s0k#eE3uzSF%))Jx6k0yDa_d7seGAnfJu z;I&Nu>EqS!)|J7#l9vOynSq1K>$6_%;#3{~7m!%0@r(dJOF~tSi(rX)!4hL=KTDmH z?;QJ-BxmJ$fmbeL_rKK=V-`BPM8j_0{}23*Mxfz)xAuG&KB-;v!nr6em>P?toZS<5 zSeP?BT#R3d*=X@u_-ZcbFVqBl@6yLAG@X*~-4*}L+4paWF`j&YV5;8^%R)3TX^y$^ z<1btG>|BO%Wx|}XA(A%_3#HV*8n_XKaGGbBkcqvwHu!gnErdo6Kv_8aiGY>8c6|4r z|g6LrzgxeGU7z$by0CvB1v{znAOM3J_yxF{bIPyebICYmHL zQ#EU#t`Zz#+E^O@MixUv^s@Ve*vETD=}G%EI?9OVE7?~>&^BvovA(Z)fh7U{1X8@O zXToLP*;_?j#cDYBq#%HGcf6dk&IeziX>wg2_HL-f_YwF(6Y4ksJDnG@q3jTu*J0)x z64r`@o7?^)PeL;zU_dK(&A6SZ{kVEpIs7tQyIr(h;KyG@fNZh;GQ)zqR_<$_oFs)A z``PQuxpQ5&nbCHM1*ZartzeUyDx^I zR?3SMmvHb3@d8T$n_qugAXR{9HX$?NAOQvyuo<(3(?QEF-&(L)DZW3HcFByLO&ONt zTHCTIp8VDTA$+XpOI-<@CjWykgaSSj=V=j+KZkzVV~Osp`j59^wBfd1E^S0pAJk#^ z>7d*8VVMluV z`j4{{LaeUbr%!|*bjLRHqallVmT^IVyI~|y2O?!6oXazkeqQ60TGio}Z<^k+9ONXy zv*#`0*%7w-n%>Ooto(j{^Xgg5gYTf|z3-G9zJ5dUH)~#t;Tl**RF4HG`t{R0qoEF06iCm=X))5cc9KUL0#ok8}S*Gl)FO-qC z@=4g&5w&`>$-dog8!)U$LoQ$4CRgt~@Yz$`Y<*4I#w>WR`?vUw9z*CEmx(`UDN1<; z5|m|M$3k*!!yNtL<>Vn5D6iC|!n{(7ia1N6l6u8=|3{t{~}X3Qfl0(N3?P%zK2JB?DIKHps8|RvDVZ(~0saTu> zmSxWHk|_^Di}aP4_XotRS|wJj_vmVjV_(OJ%v}p?x5&y6Oz z9I3ufw1m>&5j%1dl)wAh2;?H6qkFtt9(WS`dGou8N22L;XL^%$syDXnj+Qn7o=R=& zvP^3fEu(&nuSLL4lvk)u?r(XF>rh_-SK9y3kP`(bw^wm(LB9w4ks67esDEC)L`c5i zlIooYlr5|3fiXJh`!2Ez#w8Wkv*n=#Q&@XG_rr1otc^$c}R5dw5?Lq98c}Zuy@OL&N01Nl#h+;1O6(jHb`gZ$xP4@Wz?j!qyHMzgq4h z92EZA?1IHnqLl3K#kZNzD8<3%cHs)Ebsp<@X2k6kk(F)_K){tGg0`DrqiOK%x-y`} zdGWy0_rh)C^4V6s*h3`QjW^+=jYd`~(#fL*_Q{>T3mXWc2>lqQj?4)#bmVMI$jA>c zm+m*`eCti7v;GPU@?|30AbqxAgHI=fOszjB6D`O>jfdFfw=P+KyZq-}i=#*5e_p8nZ(p0ZrpI$946#C^@=y0! zAfrp{HJ~X;FhAYUbcs%iYdwxnru}?6W+@I+A#egnbg0Tgw+TP}n zW40?;upmwLUJ;u7pSu+}08n5QdPEu^FP>!-^Q%398I-bCJXDnV`HlK!HQR68q5!|V zx7)OCdqAOIJ6JO{zJHs56Q)avVjNc5?!B0a0f$`4g4G{6+;M=tAAGCP_?`W1y&+h4n8fXRCc-P680O^b z`X8w{tN@K{aty1<*5L{`zlt++gLE0pVn!kT$s30fWm@k&D{l$vsq6U^$384eQZ z6IkgK2Ms=T;1AKLaud*lDc=6r*+SqwU+}iZyDT6SBrkZ?BjQWaRnUIRo)|Bp?ij?S zJ+%+7?2!16;VB>MRREQZ*NX3j0AJOLw>{1au3Mt<)|&f_TRRQh^*h0|DtbaGpQw9U zss72@a1pq2b$`Ce4Rq2bEKbu1+MuPPI^HGYh~~hlkks>U4GAM2tD`keF!6LRiZd3J2n&8i4;*7S#E~*01~VJNR%ZKT@q$VIW;U;NYe`3Ao?D*vpWOeOJ=?b zX-A>SY``ACtrbD;z>Bo@2DCg5z%N%vP|7#jZrW}==erh)V^cjv)t?x9vpUJI*`=3$FZf{XCKbYUaLJuH?%QNvViy;BVdy z&<>v5ljZ0&EX~a_hZ8DyHj*|m%JxX|LSd2RKg_n`Y0)_(Hvf@W*)Wd0fTxkljO!8E zP6RpOKQjLRKpn?8y6r*kXeE7xVt8;5`#TS5eBu!(GE{}M-$co(XuENK-y|Krh*5C#K_D2dd+9#4DE z6pHXrTLOwyDGGVpt1n{_?Een&iPA8cQ_Q1|EF^wyc48gsOU-EEVABd>V2M%a)Qo=* z`bHKKxkP3n!1*Nbn5>>M9YuIjq_9Ij(;(UFBbT`o^^j*395+I{Ay4%tR5QE`dh76l zlq5jn#%?4&-v?~%EZ1p+9D~0!V@ODu{QIFM^(9s9<^?9*f7OK-uu*?sd|pW=*J@%q zxX&03)!&+ZOc_E;C@Qv>b8|R|nt5(mewuC%stKpiqt3K z1Nipqts(<*m!zNk-I>%>@bWKOchWTaB*@7%z2*)SwEhBLzs!OC6mAgO`~DAGL?=$S z;Xx$iqg7f6;ocpia4v$`)p1$?ob*_ol}r%zcNLtCiEW?9;`meZXSlTn)SNe%(8?NjTokOG0&aA`@Px!_+DqQ zHA7y-HC5)Xsj+x-+^2r`JXD5$m#Y%5vdU5TF|IOhL@NA}40A-Q<5bg_e=$$ z0{5qHFQB$V*sk`z)ux!otEp; zoCdmpl2m6JAe5Akz~-*!xNzzZsGl6s=}$|0_J(rh&mA9sTw#i)82&Mj@?&c-fK#m) zCvCf3sRp`?MsJF6zy{v!qGYmw4FqfmQEiYv6nT*UPNC7jvX#I4>PaIyOR@s};Jzr=U;|Lp-)V+9Oy5Sx@&(fw z`9Dh`lKQf=`%jGLN~bERcY9wre(qczc{rVo-p6V3erj!Xo3XIlwkCCX*H8E$8Q{S( zMDD$pR7687mEE2#e$yi~qUK__wRGcWkraa|L_l5uLK(Y^_-_@Ati3R|PVdQjNb z>Qs~~6EdVPtc_&5yLdR1tu{=NVO;grj@Fykr2lYtFinxPJXS z0RYHy6)#2GDvbZ|riEM)|I^JEQb6j}{Nc$7sed!W6E09U&#G>F!gDc`B=@O`-HFi_!f0~QZK4yNKd;z86mql<@JqNu^P>CV&J4!} ztwk76GCKLCs&3Y;#V8OMpP%*fUq9nOpG%u$4bM5-D;KIQ3PHe-IY zM#km1Oh5*w#jk7Y*7x5tq%Ca=Q>1inq8a<=*|V(ocM3VCHfM^Gr*s#q+BDdzX@`|9-pz-1f_=N`H!?+a zD37-TULvNcJLG$w&fTBE%x9*13jDfaaC zooK5I3l1zGb+5)dlaECoucs@`_;O1M85x zo_>gyvbZLIa2M`AIw4DlX#zf=cV!WYiJ=2vi7E){x!GJrHS3R*Ix%9n7t?0O26WNa#nbr?wIuPlHuZ`SH608XQQT5E;toBz282y6Q-- z@}Q$2nx)Y0LycN`F?!s0;+9owB`ZfHdwo&tUW9%N06EzyqVP>blbs@B8b6JItL=jb zhH?4!H3xn?g&xhy6i4Tkdo0B1lk&{;=?fPs4(c4e zfP`(04Wgj1heW1hOG-Cd#Ck#IP0Fpf^cpNbB&fxQ;A*;Fg(`2S4DW;y-%7Ur@v^8u zbu{eD9BwW=&_HLwYidx9Es|pFO(=}b-$3)ElCbZZZEI3_g2&rY&z2p7Of8=J4oi%`JlktPXW+{zR~=LLb8RN`$o<+Su+j-961L65NHKu+eA$ zR)aiN>7-d=bxBgfm}yY(U?YTf5m_@TiGb>ew&2Y!p_`7#4DfTPiOfCu+hvT_SLm$b>= z0N#!6zxxbI_YsAF%^iArw8Hr*xlC8(d>@yTvA*BS5LShN0UU563v0Eb3bvSPwjsJZ zfFbmSUTSUy)fD%7(eQ*-yLtO>H;f_D_yZe9=v^S^(&s6%@QLi^SAm zYaQ=Ku7JEwgLugM7xJc!Z3y(eREQr&dZRV4z|h;Tl?3|WK2>I#O3#}CLum3X9R4c@ zK6Ll$^K5nD86T$Zk94wlK%+S}BFZM;(vzS^2A{to=gaOpUt);&pp`%tQUCyLDn;?fpo=fOYQU>3twDqD zObl_n){=Vp6K+RavU>V6t$U`$9Oao|^cYh#9OBDMP{{mvMR=HO1P97! zOInNs@xM3gNbA-a$&RaoNITT25S+>e&=d&y*$y=z(jx+BM&Op_TJrB3S-h`gd8niF zt0k$A)Z5ihWZgyu9klMJxFr`$Jd@OK2nQwa`kQ+`j?d9#r0Sj6Kdbh{#?`6jBlP_+ zSDER2h5HlLhr1CulObw%^4NF}AIVF^p4$5hvqjTV)yLjFm%4*chV2m+4F>~p^zxhE zw69pNIL!H6W4L-6)Zy=ODKq^>k*yh{UOOpTiu`tBzOSCeJ!G>SQe1o_WzS1C%ZfJf ze2AF1apvTs$xQ$i9U9BRxl6^=t7Bl%@X}p=77jQY_6_<=Ah}cWZC>+LDyg6I48INM zS*9jsH6>}`YM=Y897<%F%6jp<;maV#`L}XLNwFGG^wEM`1%Nu4P`^@eV#6jQq&!v9vcNBZ(Y(A>EH};;(>D zls(2LSpLx${o-4MmEl`abxchU?>527yhrlMwqtny;{7DPsmU6iqGs91#f_7zP{xSW z2QOs|vo^iMy0;f@f-ot1wqCLV6|+Q0++`f(htFH^cK0DTG*G}Nv#dMqlDd+v(Mp2VB$%|0c+gP7VIz9mWBn_Fa;)X4>IcPPgj z$34mE2xxV!1G0*wMH&jC0KZj)(u;yRU`{BzG)@W1o(LS?N{>RaOm(BkTiMMs^rFPNT z99hp}JBAWWL z19J)E-GI*qyzE|grEhS)Gv?dfC`6&j?#YyJYh#LroaEapjwyL;zIyTKnud|o_wyn` z*j58%bmnQ(_I2vc*Mz(&@Gp-XuENysYdmf@NtcI6cY*~X#-$?>MmNS(f+4bapg{{%}&^FXl=hUaNiAfl;N4rk3KgYXL%BUcV z(e?=C2vJQQTg8H=W%rc)zXoPA83rDi{L_Gm0%$@kqlf;Wj#ev2Yppf=pOcHa$Q$A( z{z-y6Fj_?_?0ks_*1pxs^@rhA)6s&9&&R4$3n!NYQGe$QgYbfeH25|i$&O~EB>tn~ zWA}z@8t|fS;Fvrv+>?SMap~YO|EQ`BZvu&RbVPv#kxQJyAGs$E#FqkFT8f2cTfQXt zhlHX!ci?wZbL=l|@SE7mUd!cIybNmcdLxnpBGxfcMHUxwlh?o^@rpMC>KgjhiE4vi zlFUUlH=X_^A^F}>jL}=`OBq@8xe5#R?s6XJ6wx@@OZ>i-U1<1Lo-G(}TPY~-G%X7S z?A_DIB1$%>l920$X@T}`)ubH!Dto)iwUQnP{P?k4t;acr81D{UQEDKcdSO*bTM^2w zH?%y(;VA66PmmxH5ka~C?q z2?q*nK4ZM0LgJl=!IXelf;P%@)1u+ax~Sk8o^RLp7DyHt7u4;(V8W5M(fx3V_}|c^ zZ#0_&PLFwE9a5=w8wE-e`|ElNn3wz(b-a2Uqa=TRNUR7}NiE6^0!!{U@tOJB!Y}bW zPY|2H{i36i=mf;}~*%I8VDT(OypL26oWRY+z%{84JU zhlkXRcIfLiJ#{Z(+JqA$zsz1saTXl$OV%QM*6t_t#o7N0G4rqHY}>_f7s9PE zQU0uhaRPD*=K}bqSE}bX5u@&j#$9P-ieesG2nXVIZJ$6Io6`hEnEbJ)_bw9S8~u3) zIU39*M}J0SLReYw&^@VOct0K+gef+udeaQBZ?37+04?icgI=L2uL|7???!%FnJ!%25Uk4y>U+{gv^5*^ac3gW!-C?r=54DYeFZF_4dSfZDv-9#?Sv~qIdy5=xh`}eb;RiS9|B5Mw|sNq za46DKOjASMmE^xvzk`w4#`r@St0A&y&wEwO!26DEqur+Jk^XqmKEkm`;WtRqTJ} zYM}O!GH&hA9sV9%u121a=bT9RFSYYUjJX&f!viw7(`Fwk0X|fSvMe`2|3AAgfy7w=3U&hbKb%k+nzWLq%5=KDaHV|0FN_8?w9&yy z^uac5Dh_t4aZpV!lB}!`zwrFsLX(6apXe(N{Bsa6$6Ey416ELhOI8XYO12liYHMNo z$Xd%h50}6(R_2$@4)3t;1PM^NeDFopC&K7~OP1(0*fJmGm73>#RBOe({B@yskKd+> zWn+>Izzb~vU%nJwZ@nocu43`tCt4bM?2PYEYm_Gbl~ z8D6ECQ%+Se15iZ+2hSU<#TM4V;6cJvVQ%IW1DWp`;h&NV-rV(&NjRgeVz1f8Q0_z$ z$MntBd#38x@a)|M0)Lh$TP8a$yJPcwh~Yf)!V3go#YG)({*Qr%xE$J`n>+Gycmu;RYt%y$qS=Ex?eBgZUjt@{`|$5EWDC%- zsX*5sndr@b8Z9j$P2NxxrO3VBDIDp#o4ob|53qRjT4B!IV5wLtB>X+)>e3y(2LmQC z@2^hB+MJ03Q$09uY_6?zQK1yT8VFm{{Bs4CVyjT+!#|!qCsETm2^2S6Q+UiHN#+#c z6$v@KoWqrYJFMkih7!oJ__4qWLb+VbAC{h6&sTgko;%PR+b^vq>1F)zE~LHExZYB~ zIkT`U?Ugu?^cWD5z5e_LsV*md+f%@W^l6I_LP1HSAxN-cHx^it<}*M;J~Q3;w;<6E zQ_5iuzaZpP*C1*K$@dz>_p`gN32ocAKR(<^>C%A$CTSaMe|i0r@h|kcaM!=E3BVDr z(b@XTJL1fl;{meci!hs zpU5BJWlHwx#c49{s@&V>`0spLH>P(v9EQj^mt(AZ?PbHZ2R3r{)v7-cMf+DWR0$l+ z=7$l-I6AZjlJVbqs17=sOx-@#2_fz9JX{#m&z2EzTH)0Qt zJBJg07*`K`U5NHByu1i58uq0=SRsSu2p0M8=JSNVr0Jo@j;k3Tsa+Aj8@dP>N^Pc{ z#qmJJKWIxSwi}bXtcG0EPELXF{GQEUv#e(_K8{*PcNm!{UxCHl)rk6r53q_|#!vNe^lVWai+L^_zr#`q-> zqj>=+%NX;aj(|qPm@eOSrDlvtv2Zh;D6Z5-#+0kYY}K}qsZ93 zuoEEssN+5@Nx8yTnt?ymErG6wJF-Zc3KBiDKdoq674`e#q~nIH`Xp}LdX}IAlC4Bv zu|116o&;cknn>>v32@^$v7F0f=}bi{{O3qfhzv1<0kGzgp}B;_qz^-Hg%iu)fip0P zoAJ8INXotxDTcXf@Y!FhglTKMXNjew?n3}4GV(CB7@gX*p?3A~eYDl~gOb&|>9S?) z1O@CK+IhjH1g1=Wt-d{CN=&`#?cP5;NjxAT11IFLPfqSh5fT2>?)EiArI(D_PSQ_p z+4z{l3|Y?d9;vcDwjIvg88%`AB~Moi7@A@pNsk<_EYWRsnaGlAPgz*3yiqPw9G!g8 z-r|2ORO+^UI5*AU7@+sUwM6JHzq4boIIH7q&|FZ`g{X!|yGT1dwfVi`vSF4fK#Cmj z6~_6U#<5k*PQYmV%OhMI@Kh;+|8E~6Dwy0UM_wphh*stHn#ch4 zZ(ij`UjRI%qdJmbzY_Og>`guOZE%&M$h?r&^LWd=X9f3i#Z{mvU>quHPIx{8Y*ZPT zXEea!=%(2$o~@}kxo7D-)eE;YP|dIfo!8(?VjkXbwYTHU+U!-LiZ zEn%%cIuJIVbu-8AM-}PCI6vy6@4>(d;~~@~L+bjnAku2^5qN#PT^?-OW4Q55g}M&n z_%rlD0G8Guwz zC7unP^dpiFeo`2a!@O3bN>axq|xF5p;)Zy1ZT<$_1G#KvRWB=x@S{6X0h zNJgwa7^*$!Gv!{q$4txfW8^RkC2BX%jy&|s+5j~(dQ0V{#61MOYG){E3)SU_&-*R4 zu%xuw%HeIrBlv#vakao1gZkX^@lE>(dG*2Sb|a8{>#NdpW+8eBOrp z?Dqx*w)jWPVjx3#VutqnY(R}`P8U3f^w*g}dmoLR3ml#IbK4=b)b8bjmocbMurSlZ zRKKt|1Od5(WM3k?8A?#z!C~bSYy73Oe_d-4cl5UFtJwlH-f?9kaxz6v)iU}QQ#ooNi%l2q75_-M% zOWe+CA9pHu^gV?b-ciQI6@x?j9J@R?mg;#rY0~~Dt7`<1$~Uv8F(yvU&DQi*o9pml zLy)AAujM-_!dFo4z2eOY!;Vvh;l5dV81O>J)JapE4%V-#&Gi>h(n_lP7Xy^n`I9W9 z##sD3kjYUi;RO={&>%nJ`Cad|(<|!%9peE*_*foj7DJ;o9cdcpl9?AmKEWB2H^Hu* zuDl{$^Q6R?_lc8cvd^XI5I98O00dAHf*orZH8+UlN2z#TS3lB$ zzYK{wQ9U{cNSbcr3;cSLcXi8qL=d$q!T(ImXWfO%LYQlt81I&(fY&jw^#Inioat@3HyT%m_Vl2WS9rLCy z?g1;XwD3*39Sl!B2PRKTP(sHO6tU`sDC<_myBZ406M3Jnb4vm?ns#FH9Xn zE#foYi43E1lQNNT9^m9-2qxZIWqM9CYvN3NZ0cAIM*;PcjNO6r+IfCWTu!d+I^JmQ zOFp(E%?#mm41$(+?SPJy@$wh0$)$rj2Mz1y`L>*me&b*~Hg!)+UnswT`H<*nF-gPc z^rpXSjN5x&)iCxik5NV&`_3VFYolIEW@=_mT3?MCO(%7Z{`lG&?&4|A$8KlN2<TXjz zfO-nC?YplZUysc#yQ1+SQHs~k_`f`Sb5b26Jo=K~;DSxLatdp~fbgi2IcVBD?i3tG zZ!k#YYopyN9;P7+u?yHuI^yS=V(?&?+T9 z;vszvA30x)#e6}eFKS7-;zqkf^mD84pGmWFKk8V964f@>%4}xUp1&3!S?G5w*=CO! z*4l`7LE!nmmAs<(q8d}AFpsRJG$MNoX$9CC43)l=OS~ABG3QlAWO_l3DVC+EljNFOJ$yuvIGV8I5+;(XjxO9MW5o0RPAX6l@(T5q)*ktn`uHC( zE8k?pA0DR9kZdn`{bZ-)s*%jw_*lIW#SuNSbSf)**T5q^{e488Y!=Wo(_N>S`+4yx zm+tExQHKDB!l|>~vStku0% zvI*ygIZicFX2)a|i_S)3*QY8Y&Xd-YA*@sTbEAzUoe_SZ&PWF=N7DCcvhg2HaERBr zm!W9{#JmV_|53c8F6|d(5|Y*|qlKmloqb3iPr@xTiogPSJf3vB*HPh_344l%XfZAmJo!pGMR8mEEO&lDyzU$820^pM~ z9qz_69Jq+3O3qpvzf@ky%zKv&ehApmO+9j8`No{%#%~N@(PrHA^0vQAq3~MDn9b=f z^!;;p){n1Np67z?(jlz~+hC)OZ-ETaUBMaYDPbiQuZL&#u@?vBWvHgZnSzbbNAW2= z`qu29hMKXD7^n7voiJU$G4+ET*0*E{Pg-c$ z1b%DYi7o_x-Q2a)S7i%_bbK)=`IccA*+4=u@qDwwTe<1e!q?r3VfyGjs&9mIL$?a3 zI(e_zvj*w}BwW9T^X|B6r#@Wgs^DNSTt?BsID`#vnPSkXg-U=lY^xV6Rd@)w_ttkd z25eD7>-(K)#Nn;Z=b=pU^;?7A1dV9LAfTgjFz>=i#m-#vG>(T+;;(pW$>wXj=`%6I z@y6srXqp1xqe^fBIQ{A)b~c}`^D&10k25V}o^L%Wwszi>va7*O;#NCFA=h&G?zt$Pz?BkAbcHdAwv;BW4VJaC#H%_g{*TvmVPp)?kV-B|P zvFGQwcn7vP3ITuLQ$>v1gi8Hvi(NUFBmH>YO4>3(TWm0&Yv>kE<~h4w4?bA7Hbf19 zT2Lni?gffYDcIj{;O8$X0%$SnI0LYhYvg=}dort-i)==*@8BmN*~EJTg7T14z*t$} zu^MdGtl_)L0sS6a6<=_=Ydd>jHul4pDjlaot^`R1bN8_dPrCg}tYKF5R_eIU2t$YdQk=l-$e zF&2K=Q+};_#2KcLHxr*D(OocbY18ms2uMo%wvQpa+cUM0Lwg}G9PF~&)IJyy?8fV9 zwyY?6LKc z+p3YjJLL5hMRIb+m(k3G)=1iLJ_CE}_^1}g3XUhx1)*pjJNxM`YM7eP+bxEzMDB!p z8s+ZnqBQm84^o8~$LKA+qj?+%)4bofi#8o=bZTYGKwQ*Y+`FJ+zr!s zXN{MUuGb+(>Z5}}e!=jUjPKT(#harMyZJ>coQ;?Bg1v;N55|&D?W7+U47`k1JZ6{j z%!M96|I|hx`JRQb6XKe-^*mSBeQTd7m;(IabT zxnRxe&(mfQ1|*+rt)SV2PH0)U2)^H4*Mv`}MxrQ?dONfTzq{N0zVOq=S*S9Xeo#tP4(rGul~7NseQmH$(W+9Fd>#q%ecg z*OW>Lkc)zVqtE?UNW^q1(u(UL*uE@k(C%Kq>%!mCRt*p0qQvsGJ=Ci#(0C3C#}}9G zTF1~J&f(g@lb|IW<_2@+o93yg=pO&$2YltqGATbt-PoxIc~Y_Rl~lVS2AHLza?kwv$~~& zbr-hk>W*C1wWFB8bI%;xl)NHvtc9dlH=f1pxI2j=9Qoqqk;cL$6@xmjvmB9}Eu}Wx zJ&_Tgl~$>R)^aga!S+|VT)6a0S$QVMwrOsL*ibG(?!yOi9=BLwCWlRC3H=fKGJDSa z(CA})n!`}7@<>Q7my2_@2X;VfaMt0qR21ogI=`Vl&GU-*p5t=U{~ zI!8bs2#sz?)Ej!ex~0uWcKM>8_5xiWt)+fdMkr93rdvjMon0I?G_U&G`MhLL5wh#- zGrWBd69u`|%J5n3?q*Ofnt8*j4*Zi0x;<993DR zI<>d^iQ>F}Y$`&;rE7ahXbcS_ACF#zrM1-PHiMy2$bQ=Vz} zclH`+dM&WM`{JJUooU{nhTUYP^*mS(gJy*`sHCky1{-u`-uN@EP+}7MTV&tYRcWMt ztnrep$UUfLhBKtrHTllHi?zGxAp4)b^OT~+2texgW%ffKP)y$pk9DGDT-|fy(SB;vS>_W5(3l;8OXNvy6Gp|O0xV@_DEEjWwDSxS?QH|!yGO<-;! z$J23ju8u!;0ryU{LFc?BY%>f~q1L`L6I!63H8%Lc__|wH*H*~t!vXD-WT_cYaMgS) zcRYnu^9Bx%p`Qxp@|kJVs;?n3(ELv1aodSeje3XQHpBE> z3m3lbfM($q;gwoj6G^&U<-av#W<$`{FNC)GkKg{S<8j)l?0JLHM3`QijrCk|cwbc( z(S{HLUyp0^5pzu}2K(+>ArY56i?fl2BP{N+R{-gIuEUbKu?mfBE1jWn=50csw-smK zeByz{Oq_G94`7&KYH*#wO4)+Hpw1FvSS05dN)NoTjwDi**?`hjPY z?aiVgskL+G!$|%2CZ`1hi{erYKb#wBv^Czq@Q1aYdFr@}yJJlpTLan7QH{Xh+7r4= z!rKLKoY~P%cjIA_j*PqNvW-Fj4Lc9dcV^EJ*VxvR6U5^_l@0UfT$vQ51?%TR2cW6n zAW72TYz9k^YeZ{2=SD7`qNOd6LEci-a{`pq+E%w7Oqca$N#}s9`4uj5i1Hf=7b@_c zrt8nr4bbmT0(aBoH_Q)qS1^XT!O<>PvBm3E(m<*uwo=>bFf~ZHNwS;Rbn@(ITvy8G zobwp<^6-Xq3FzaaO^JkM@da9#Wn93D(2?k>ZK#CuE-cQPXR$&^f;8G)CQFD~nbL-7 zb3nqiXZN8|nmx*p4Z~2TtsL^pc1)SQ7~$zGb>1d*g8iKiN6%KtVc_kqP{nbRrT0<- zcaoK0%|cbGBIaSP`(sb|Yo{exruL?b;DT31)Y`CDOh$rhM)vHTl8k3m{W=;?*%^zu zMUaVx3eE)pslH@31=Fz7wK!k3InEZ-Hle-7aOf@Q;R~}|uwWL@k558cM*0}?y5#gB z!G8tHS8PV+)>`{hOQa)jNd;g%1}k6ogtPR0M&vFJaWDU01uIBj5h!yX(ChG_tW*Sn zT^RtFtsRqt{L3q9r*1u(lBD8`nVOMkqL6p^U9f*(;f||l5lTqACYTyM%3=#FYMQMq z{%}iq$YPD!(1Rh{$c%#t?T=Ne0o{)+{J{2Zh~rq)K_!qW%lOKsgQ?cxu7O>XrlC@D zH1*rLLqqZ05;>-u>e+QZbC3Rqk)b0U0`0DqnQC$m6$&Lr+QMea1eI|PY+>0OiJrec zfP@1U+7y&5ka3B}dpo5X3<<8L(u{D`9LeZUu8(1!dM*O+nv*r%>)@>dt1eKf}jvQxgxEd8Mywu_|{B8&~~;!sZN1 z+J^1y2T}Q81slz3_JnlPdnt~71b9l5YvrB`2vrAC2TnYohWH98CJk}7LmllbjJwDF z{KTobHkNU>#7c$8+hLy=TrgBVI;W!ZK6C6NwO-vD1qx?Y++H(kSEsnD;xU7?LAe2$ zFR3BL?0vU0D&JfQ##WzZRQIDfTouFCc119$liVSR%~q^J%in{Yb$^0W-Jj=+NUy{C zMe3mq=MUz`i$=jM$LfO}gPm@X3Js0ii)Uh6D~mA7F>mCVa15$$;Jj1pbUH#+PO7^%A>Q)r%l``gbi6)j)7 z;9V^cm#JSJ>jkrXr%41|nj}cZMRVxr(O)><{NhhjKM{|C#fj2j3Cr3Bo0D{ThOM== z7qw2^w{E$6BPuYqv*Pp!qCTk>856MNdAK`imC#n_#Gf5fjN=7XyecAW|GhZpqI%i= zjOcI7;r=E<>Nmmj^ddV2Aok+Xb9a`ASFZO?iK^v^ zg}$|7CAxZ)js|jQNIYz;iGy&Q?x%>CQpxXK4p{`XGGkaEC>2MC*^MWr@ldVtzWC

NVOp#!4OU!=|oB3XR7n(&3E%o zHRW@1*oD}!RDaQVd<5u%n1f%*GH(%XRuC4HbfFOeycEZQ`D7j&C;CGCkgJqshQsqLbm%XpfKr@T=1UPyS`RO*L6E;m&Wz&04ul+RINdbhi|MpEoW>|%T!GMh1Tgzr0T2goJ~j9Gg3$9P@P8NP;WNT26@{kVYA~dijNP0R)}l zkW+#MDsyJ<$DHdhF+zMT@0k)-deW+lA{oJBav}~85nYXx*0z-aS;N|KLIb1E z=LuwldY{waZJ`j_!m3rT_6{d1m&LvxGfJIJDaUWH{E&eKKAqGl8(%4oZ9f;9v8_yz zWHq`bb%gaZlG?w$YS25$!g2Y8=x_aSsj7%ksec2p7O`OrZ=GKvTnI#jQe9NMzi(D! zHXOIVvH7u4?-H##86<4@+1pEGaF*P~Ug@swu}cwTm>lm1Ok&ttAjW#7R&;Ic<#eCD zli$~3l|nS&6sg*r({2;|sxx}>TjX>hkA17UB!20Yxq9l7jP$mmVc*Geuv+z=$AIvQ z5Xt@)Ih9u|EdAFx3E@$)FuS$C(pv<+z*{DoD8&!v?|#+2)5)d{CL)S_te+46qd2e{ zwt8!+4ALd_qknK0D<%DG_wAkbQR)m*aXK+R5F$;h(@*%f(u`!uF6|vTx!!|)&@


ZsPZN))5uY2`Zg`OTstb1H$DY~Z> znB3YN%eEo{cV%ory>L;;vcS&dcGPo7X}NKgWomPcQ%w}1=Yuojzf8AEddtazOaQ^p z%Ku{ zRR=C-k3@K{e`V3Kq}Rhll&HZSM9Ifn3`GsW>+WiOvGii_o^RQGR*rp9lR^0Cf{nO+A>%0A_LsdTZ6F;2nI z>mHkwo*2rW6JY6_-b<0hpTIv2kt!e0DmFic&I=SkzP)ZG>r`@U_p-Bo<15@05=#H9zZ8oqa>2EWzjBmcjx#$dC3y z3B1Q(ZDlElv3cOYEDL3y;|nEa{CiHvi&@WLIW^IF;)$KDxysW+u=IB&jM{!(J5TJh zL0L+X$tc43CwlZ*wY@(gx+Q*cKWOD*CBGDaJ}@@!D+^DWhIR}zE5`rkm?n%@j?bcJ zeO;1ZHu;hCQc=P*94@|zD?#s>8^v&_K<+JvgtU7^DyO8U z)0#2%jQAAy{`#t~wGzi)5V&tUMNsYXLUjJj{5fuUBv7M0RrWq&j+R{AtppY%qIUQm z@M;;`feUsplk#mYq5^kI^&-q;nr{JNv%!=06+|Za;`z z{V9etwm&mp2_Ltr)zF@g$1j7l(1^$;8>mb*3`O1$RgK=4BuLhbeq-VaW^W!N#1><` zN%GEa>*#WL@pu>TNx7uXG`eFarBX4^x=5BV&HmSdXus?VOgNrI)0_piCFxy*iOI6i}sI((rseYW7cdzLI8#7vHR6 zHVB#83E59_yuw7PggwM&yFhI26?D9uh8$&TlC;1_^D){Rtw-MUiw%9Giwx8A=TSz7nHv zxBR-Dmc}dWnCzz1VWYj@&yzQKLP|8H|LMFfr=><-qqt&HU7DjWC%n&)Gwbn{MCtb2 z=1jxqsMCRQ@f@`vZ<`2rNT3S2Qnxwwm~2)pxgpn2RJWxW)IH(Se4Ud>3LS%ua(2ZX z%x{sh*eU*fuo_S&c6>gD*hIelaJdU`80{iOAZQKHh}?pE_`wpiv`iDb1WTRBkS6xNHarnlY6_npkmO$`6nBWE{zu`>2-`%pev=RX1THpRHumNH1p^$ zj-QI@YEjw>K8A=m*gmt!v0^A>Ap=zuVvHv*0Onb2mUKDTLbp{dDu`;_1W(+t`Y9um z1~jKdO$lgFhcUbrr8-wL7wRru!BC`DyN@$|h{vv>% z;U`px2#s|}&1G#|lGC_XS3_9RnPcRf6FT<6H{r#AjE*do_|l`Z7u98YF^~c{3=HBp zYY|N4FKqoz=(+dNYF|t#UK^%GQjm1QvQ|AAV@tuCj~B90nZx2Z6k^`qt=W9^F*S#U z9?8{RQfFT&m&d=x`!v$F1F-|lNHlq~32q5b2hLEA2v8T=nOX?O{Fb9&MdeE8t?V3w z%CGTQ;H^=T1iIEOHL)d6XE4pc%|o^tJ627hB^<+bb|4~^ROSv%<=|vW9Iu^9R zGm1>uH5$|oSGGB*_CKgctfDwbwlV2%ajV}yo5XG*Y&4x(k-=5|I2rge=)Op_q4T~y zy)vxkljp^^FZEBbgFm|jG$DI_ABE>NJ{rq$ohC2VP%U(+BES`{?V<;$x=ThRCoByui(96?_mIdm2fP2L~5s zl;iqj{5f2a8P_tSW~`Js;V#ZNbzFO~326qpw!S;Qe$?fy+2Ta0iA`G{v{(Y}p!tjT zOT5IWiGJ*iphE5L@ZX!bllOM*u6QP56giQ+K#jGuwbR*+H0`(Qg1`{TMXEK-<_-Z} zqPkP-a!$EC^>c6L1-6hBU4N8u90%pzrbCf6>Fajf8={@vbaoU3V+`)S_;&&#uT>UJ z?=EuPcf=LAp5nb>o?^sV!fi}H8OXOP&t<21z2!mC^aJ!bxx@$E?5-NFk5Mq;qGc6p zko~J^(XhqZ2B04Mrqp-5L5iH%0>C!LkSynl`1I=W=LXcV_IuzhmUKiu@lK~70ahlU zzvVG7C}$%{9uoUf!MGiS7_OHamlgq#s_#jWYSh{6tjm%fOi{|D3SU0eAZx?Xhj5~q zc_8%Pl z6JlN{tuOq%i*>!Jr=J=@=+72bG6=EAMbxdD(N9DsahDZJi{%z*ubHR&8Way_mnxYh zW!LXgbnc1E9T6Cl2}ijl%ZxMj7kfjyLakn^p+Cny+xmkATUX=IEvXsSnT3lwG+Cq% zq83l7y!nMRya|y?X`YOfcG?&3vG&#qaE>;Fg`sEH^&p4XSAbE^{($&BDwYmjG+FHQ zW|+r{$b?X4Bx)To4yTjH1#q6CYUF7z*Z!W2R zy7u>&@@G#AC&Yy4Oro%q>f`bfR&!|TmvY1~#F#$B%ma0KLJCPpNeN3eF?J`3F(ZjU z;p4<0#)0F+v3&S}$5F1Amit&|!L{$G$Jp?}LcQH+tKGNG*~Jg9={{I!YZWqQ)7DmP z-!3ueU*=Kv=Yy_P*w)~T`tEOZT!`ex$sTv;W8a{BD>`!T@h-XE*9bw)U0I?(9^=Akl1 zuDy}f(v&ZnumVCGnVi=!yd=nR3=Gcqx_MipfodHG#?uI%-^9Q zy1GL#ao<1h=d=Lpay@H zotzqz_q*9!p%A-qr+c5x+WaWgNk2XCcYaqiSIQr2rpa?-Mw=e|eH*a1gj4JX@X%%W z*C6Y276;PVa0UCnOB5YpLD%R>HT%cWvau@a&-QgUANrI03v>N}xBD)tp??0Gikuk_ z7Etyi?HEd$zG(_v`R;zW8XPWN*F@2)lp%_QAzc%;5z`#1jP!YqZZL`Sweg-rGJkY4&C{sB9P zt)$rEOEcph`b~HBhN+jZVViZAw>a&L=ZLVKW-E>8D-qcB664|=9@>MaLd|e^Lg_xt zpOKZ>QlLr#VZ2FS!blHEsyj zgM~1qA9n*B<+s*|T8|y8D<`%yb;9sN1_P@t$(^Ywm6=%72Tz6cVQY~d8xpVEMuqN( z4?VukOx&vc!c{xbsj1wR+y+a-1Jfc#yBI8HD)Rqc}zc*2K!;0G8(3l;U9_A85^UsgaiX_Do$CjwAqK}59&$}X0 ztGOZmzPQ;2p7La1L^1pr-~Puv$(_k!)Zvg&-voMKpUC=RVsZ_@!Bbm4)XTeis;7=o zqG0b63Z+$?0|T$Fd{<<{_G{r)r*_sK+>>YLD5UWMeH2rn65;7p04l3EU7|*?z3DByxQSRdFf6QUl~hr!0c?v6S?yY+c89#0I29lc=d-yDeil2ng_J*d|0tb)sKzb9yx0bo(UF{X@ z#LFUdRxhq}iSMuLKkTw0JH}JR+RS9unyX-n21tEXuH#dRZNDr> ztcB7-`k%5jk4oN^Qe#1?vetlSWdo>LHD+bbXkRlw>iG35R?!X>p$H}(CQRz`#U{)Y z6P#J86Z_Wz=LGsP1N@4q*o1Ungv`Z=ArQl=YzVo(hvr~M{IBRo3RUjjYMicf#h-q) zM|DdTrS_qOz?oSsY$){4-iZOr_VYB~z96+A(==>Hr=Ut8VB`hkXjTM0*A$VZ8re*- zc5W}a<4e)GyM73jVuOU!6`HFR+F=Fug#rd;L|hL63g# zxi1bW*5b1=RlfdVSpn&kq|!#3vjvpE^5bHX!4Jh<&7ks#AV*z|4IaOUdufK{YYgc5 zbhn;OeHs59q3nyd_QhmahzBNIfyN!JrAGA}y=jn~D*b#u$MzXN0> zS9jrkPnVj;P{B3mDb5iq4)fkwQRF~@bHGJD6o0cHVd;b5H9*BQNG#HcUKL%JJdWzl zOPV|fXcEW~y~h8l0D5AdXtgVbf6_6H%+M|Cf4OdErg(`fS!j1o)cQN^hd7~(kj|gR zPV9z#aQ>E?<+4V%2ke{vIW0E1RW;tWSww1~S;II*_ri`XKU-kS2IT7P=bx3&duc8# zG&>jVynCffAK5MxfAfthBjf|m7WtvASMdVzYQ+E+r${zBcD;w@@=TB``$>iU{cDy@ zM_q6|S}DlW+Wy>OkL=lgB6cck=yu}fUE`R%&`P*@VXaxsRyW7E0KdY#9G|e0K;F z`PmVzX|{@z8!_x4fTK$Z`;FX28|QLsVwJzHFH8R(YR<T=Jl**?yXI*M0&tkd$#kL(d5!bZ2TZ=c+Xrl)>J8IhX#Lu=Hq1OzzS zKx8zeZhW%lqSQW$N_9mSler;)j6;{c>&`V*(RmgwB%7VMi z*!`(YTa|75E7mLj3;#ADBJ~O&JBm50*sLQy(R_hw%C{BBSb(#*EM(cJipPw#k?$9e zn)}|E?>)DOOE5*JIT+Q?aFXIjm!-KC8lf}Zay$>t)c8%Xg0JkY1oRM=2u~AEC?}V+hEw3*~{< z!Hz*_7{9WqQJ_zl>@Z}k}l=^mumDBz$85T`UQ`JfB2*QoX+h3b)f zpLpgFKQvCh?GW=J`xTJAkl!KD2Pd$KK#{;l@+25`;YmI@9273wz{z3p98PZ&CvaIt zCXRMH7n~53qIoL8A}z@z_oOU5lp6_JIl?(yEM9m72-o=mej9tL0E6^(5<;$%9Q?!@ zKx?n9yUgQ4R~A85;14~w-ps+bbn39qgyJP{B{!5>Kq8~UtqlvHqA;Y#JIUsf;$lfk zv>}*jLsp7W%c;OM&#*_t8~3^)dz#c0pc5pNzfFn~7e>J{e3ewYbYf&AagReKxg zv-OTH_41Asfpi;=g!ld|+(B;&O?#404%$!%n6uo4++AFvQ=`8nk(NW4COA!8D6mtV z+_(Y%FT?cT*D`0d8u?J1YT}fC3rj-&a&r87-q2Bs(P~_c9F3CnKfj@I0?%elcnZ;N zelFs(zVku<){X#R&76;CkG>n=wVyD!P%_Re*E37249C%#t-#R~5$>BV653rnwVR;2 zY+QfjNG&>&vj2FeKI*Wn=E8**H1?RKu!Aj0Z{Y4baVGMq~TZzW_S z6YZg%ZaWY}dj7o6Kvm3OQL6j%AZ9Ah!LRQ!l&pJ#mm6lOAr&;qn*Q-WBP+`nGdI44 z)9PF;#%nf~gI?}L^8mzD?%7I=Z#YXusK_Za?x~u!7wye6|}$$ z70>*f>~*M5H6n|8io_(uy&!{I`mWgIG=p3`h_sb-BYF97L+7$Rpp6M!PrQIAdB@;! z2)8MkJ{szfeaKvI-&>m+e#iS2;!ZYlTT z93ie*v=rMQ3uRk>2-@i){wV{>RKAN#KD?ovjtulyeYA;hW{YE%=tlqT^#VVzL8Z#K zzxa4yzT=)Il!tuFs37Hd)98m5&b3m(WBNqbGfN&3jtIBrxGT4;jbelL=h@(gBbjl6 zpXrqruUG@0XZNiHxupAzD?? z666xkX4xCmuzRH{p)U?Zm+`iYx+zJ+ZaqIeHdR`TvT=w#K9%xCnT``2#aHgk8CwR+ z88q0SaRvLMwSuJoQlwTqwYkRgM?U66xJgGW=gO(Hu5HNBum86eK%v`Tta#9$dE5n- zr~VmVt((0$>8S=6l~3VzHzV?tL|?Nj!X%|O>OMa02VEt{_#wwDM11LNPTs`%BK8cG zI_kwQ*8+s1rpkl=Jt;}O8?W9dzFLo~#f~?=LsGNAy6j7WIUihO@OGh5EpR=5yXX$3 zv)A`AguB=CNHrn^J@Rz+Z@d_%*(bx6IWKj$R`S5eym94oO_GyNK%gj~zof^tIsATw ze`BGq0q^>rE;~G*igtT$E`%z8r6clQoC z_tua4s_>1ZkRzI=?LvBo@!{i$9g3ai&8Ug{`tv(~Ok>n8oB+|qZo8X%YJ(8=b-Nw2 zA2-ykueDQTofWWEd+bS$AtwOrQ7s=TPE@S19{%+?=+}Ic&Re8S_1T#@>v7Atc0Kts^=r(I9R)PxR06r@9WHRrKk{z*Z)@KywFd!X4at<${Ul$Tw zbi3yTJ8~IhklJVQVDUkB+@rErM%!XKM zFQMN=5v<7=yDdUo>!eM(Fcb-fnE-ECvNifWR|^snx)bx?^>FDmLyw9+3g&ymUi-Yq zR|d)2+FU#t8xTECt#|n`01e`}AvRY=ESYnW9_dUf$6Y5+Z>{AXlb4!EUAAbgZsW;p2iL{u^K4{tQOmk1h>P zZj_VB#F5Ns@42?pu7u0W>Pf5J5PTv(+5PJE5SD;GiF%x;B;j`UG#R zdqV~-=#~0FH@Y$ZB7^<`UQu8jyd-L(x-2h5NjD3Q5^EyFhRDZWvHC;QQWAGMt=Hjn zXni5&&p@PDAJedcToMHep{IZg>T8+Fklo;-Waw1V;;BQT1i9?|(Tlo1WYqnUqaC4^aQGA=+ZhWjm zUI?Kx#~jlO9@}8yl3?lue7A==Tp#r(a8JFg zCCw9qaGVF)kL)M2+{;YB%M4hJJJ&+7-Fn^w<}`_J0XzJ4Z7jBDzsgQztE&7y-Q1H} z|Mta^iIr8i4`iab2XJa(q_m-*-E*>jk!5N0xlnxeGO&f$mf5kI+O1l?F#@ z@6)HcjS8;iyN+VOsKjt@OI?(L#u?Q$GQsb|S5-s3>^8LmF^!2{;`g&NWvn^C#_nD1 z+bOdz1A%BXaP)%+9zy;?z~+&?s=pNW(Ov>-|4*3aX;7aGP2zG^ZA6zD{>H6$%j`S* z$Oq%ibRQIBYj!|Q@Tm~95JyF(BCwkLX!Gl~s<+Z9? z8qwGI3cCY4V`Q7X$FKK-IgE~3Cuhj&a@Z^xVz9DE7rPQ<;if&0vZ1MSwNV>V3}xqX z>x(!&Eg4ZBbIOMqs)xq|EnYKISb_7MJ=~(_mx)&yXIj7GI95to>L=vh%63j<6pf3> zCTKhMHP~|929H#bwT|Og9Q|m&+I(XBwIp+PM-euB8qp_~zHI+wR;u+g(k{22^G<+I z)c-|#!3%j1d%=j#_jl4M2b3#H_Z^2`luKB>6X7Mfm)lB78XaUKam_53y4Q-Dih{i~ zibpb6O3t|tPsv-+AJsGTuM`J=v+Ru;Ek&HNjdgtZWN!RLS(QPhgiPj|7v|}a$aMcy z--m?#p!ZlMO&+S}8*5!>Lv6%+r#YGU4M4>N#BW}}y?)ddLwr5kwghPeBNHTWnC zj4BEtaC)y|IqLPTkPb4P55uAu9&1ph;h*L03G6UCYB%YvA0a(&qT>||4K9iW`WvWh z!iD-W-zbT20rE7?d4oyJG*n9oblOJgV7d2IPGd6KW+=G%W zac8`!LOOo0Ap16QsZwhRitL-G+N)kKDEixX@@LZ)UNN>6`bXa{Iz+ zW)$N_)4DK1rOB@u{5L1Ld{wwFlT1Nm7IcHkHGN9U^3|{K4~e--{gs-IZlO72!F@1< zAt%xOH9w$9#lb(LaCt5e{6!b<#7;>{r)%4-bW0rr7%ZRmxL88r69qi!^$VqxW2UkN3tR4ogZB3B$$7Bi&VYwY`@ig3=W>d+Cjtsr6|#8K-+SH%D?vdFu= zhjPO)jl12Achq?@Zp>2Q!V!#U<3+&Dxz3*ga$SKE%@+Jj;#Kokj%ZayK9E1Mu!wOP zCwi0z(T?NLqlypHPu}W;VKITJ`Z|AnHWf9*$w_g6ocxI?e}`pBNu@MwPtBQ|SMTSN zEMCs@#mP}_Ab=Iyrom)YljwRRZ2FlikTV~H1{W81D?ne-@ie1uPM{7rB`@~kW1PTi z1!Qc~mD^BFUKukfXuydjOx?k;(a~ZwCbfy(r8jYzQ|M?~%K#R_Fh(7GhA9MzT_;^T zhAFy9r+w@BJX9p!_4IYr&$v!>jbVo5;D$eQQ%+T{oN9?8Eq1 zDi-?!oz03MacIuyulJ*hQoXXMT^qOv8hSzr%`Z+VtO;w^8 zhg6-)j6Xlw$$|y?3?yc%0bi9tK?K4jL1ZH)iHdB8Tk7_k`Y)p=6j^2}-Y_#}cX*Y5 z;)GK|)9nA^oKPExS$N6xy9*M%=bmu7pC&rQxox>G$&3#8QJs8QK$fdQF@e>~@kIBA?qtbgX@nptUhoceK`&JJqE97{MvDtPb?w&!i zF?-@YWN+T(?(yzMN_sIPV6^!?a^7Bwa06a37P;~Za`LMPoz9dBeS{za-}}hXjori$kJ!KM z(qhzg#V>Q4a&}^`&v6i*FL5MTz4DFJl#249cqe`idmSWfOo{S9V>7Wtz&fNMj`uABAx`Z@W)`-G z`zhw?P~G__%RlZx7-C-N-XcJ(8=4cZ+jh%P`f1Zcz@gzk4RBG04E_>DPb>}<#X28f zyovuUV%<)IkCw0uwfaY0WQX(Fmp}fthriN!dVHU&?W~)1H%VT0P8(r62WM^vnaSqq z*g#7rj0n&Zlm^_0{DADml#dgoScUis*Go89mt%#CK!)JpqF<6q;OE4+x)1b`Bid?ubtg%b zMvxzw8ZXCeQ-Y@_ovf%yoP_8mBp{QpMK+nWVF2YEV_3hJbeL(^g7H1+g@M+Q-&pW_ zN%_bRGUIR$Ky0qD^-4nNfyU|T}WG<+nM_RjiW~g?(?l6mQVb#SB=2@A^RnCtUWLL+2t>BhSzaH z?`;9wh1LH1J@*?Nv=83=*(2=R;A&bvmDdkV3hB7TRxXj}k$`=02J)!TF+^nDh%ts% z=%3pYlasVd&9X_rKY{!VNSJDivm8r@n(}>H5v7j=Fj5Zn<>w|B<-y?qgZE;8-3;V0 zHf3*Kd^+Hn)C@>TBGUW(K-BrK70h=4_gg>~OabUImuimyxRX20Lia}%Bb?rU=xv9Z zgZXuv?WgEsyFzT&Q*xR5`^wZ9hM_(XZhD)e=3;athMxzJY$2G4hNBlA#Y+Po zFj~p-6;44b;8kdCNMq3@&l?n1b5iYK53#IQc-#^j{>_jDxffa;vL7W`}Le!1=D;o(==6W%vWRhxMHYTwZmwA47a@1RZ7FQILdZ7~>5?8}Y(Oy)8%nEd@D-ZR#+ifAtG9k0+mR_F02`ITv1hhB1 z5YYvd*`dsvM}4G5dW~BT37<4pY&bSnBj1xo;2dZxd^p|!bX>^r zl?qJ3IXb>;RBQ4EfhW?~IM?|_@EHzI*H&%i>nm(e9E{&_7@}xx07Dd)sB59#mTkZo z^9Om^k2;#`a~h;sfg!;~4`{|n1$tD94%eS{p+%NxNI4VE;1ma|2jlf;EH23oXs(wl$)};$VN8F zRqtP_lwXJc`h<%}f-}+8B zGED%g`FvGd=!*U47m@C8ngHiRAp2s*<-e^q0L7MfGgD!^^-+bhKA6%S-iJ(ry+0(u zJLc~m?of|A>1z;{Xxm6_3g)ZyiK`dZp^3XnTfalR)MOFi?*~VcPs9*y0=3o+yEIRH z{YWlN_bY&8+o=>VjJYJD4&hb&8IpGPL9al{zIByvJ&<#~;P{Ptlbqt;n}vzGA`*mC zf!b_LW>u*IL;#`M<2PjwCs`9y=}T83&};tHAM!4yp%ZiDz&r7Zwf>I9_42*&23*9k z9s`@=!G>}JIaP1szW~c~6K3n0RX~UWjgO!LYu4! zq@MyXQ!fr2d8lA&hVduq$e|gNNJiS7dx8DU!}34C$Nx@% z4&}#A{MHCJSLaF5XkRK9Ob|5?ZM-F6e@>2tIOX8fos9whGk?b8B!h-I9o=P>MXqN> z?;qzfyo`2*kt^VT`UC&lskWBQhlWq?N>g;aKZW}mbaF8(cO?L%l#8N^hByIeH{63L zC*QE|a-y);XlB(nzNnHFN(24V9p|-oV%(_=2FWUC6@n(q!+oJ5!Xw`6y{?Z{csm;$ zsTF^Kr8>yD`|?LGb?aDYqHCNk4G^jzxD-Byqi7hLSFM>rQH3VkXirKb+lBxV>u*!9=`EyE|2A_!$Jm?->@r+Z;T*0Ao z8&HDNKpVX$A2%%CgyrtQ!|-Shq#(Y_jmw{4Nu_Etk9MQB(zHM;blAnEi5pyFW4nL0 zgVDi%2c$Psl`~gR30Fm_05*%BiE9av-|!K6Rg@H~Qm5=zrvId2sdOo}oDJcteCk2g z^$+dsx%Wg{q>pzL99C<@iY&|wU$FFNsV;z=aF%Lc5G)m-JjL41Eit40sr8+kk6b1i z!!lR7BuGB)`Dn9ZX&T93`GCS=t)O^w)#1gR^y4ioG-=v?C!9xXV}OtAQo`V-nt%)2 zQ|HqG4$?dc1(3I($h=d8X8_@-LE)$fX@e3gqk(oLR1gpIu?9W*G#rbSHtuVkO03yU zT+s>-BM7oB^UQ3QCe(dcyLP4^DGxS0$Y=F@iq2|tGsDMI|OshAMzU8+OvhB2i`~#{YjG@vkpL}9DY#WkOZtMrAM>`R-LyOenuor zH_EcWBUsjIyWkPw!A#fs=4*A|T_hJ~nBl4g3tuif$V$^AJnbVC{@`a(J~<~=n}jZN zD<$b=1k`A$o7#NoHSZ^-m;!tS2)pz#|2$Eir_J5@*wbg9r`vGpKvHEeW|C zaz(6$?8r+|32R!3cZa`BH~K?N>2C0ZbK)h$tjx)#LfX~Q_Ezm9v*Y*|;AFoozVeKZ zF|RL=6)v14CJ`B6(WlMxZN2B74ifP+r6L~RezKmYQ$zmMW*70QQcd)iVh=k8R^}su z(o7Pr^W5Ji?%ggr^Lfb}>A~!Cc<$C&+tgNj(N=(Lu@6bLLhDvAwC7}K-G@=OFQSU+ zpYBG{V^8q~U!fet4IdtdUt<*6m;r*BF9$|}UEvSSa*jxJihT}gQGTEw#0ShE1ywj9 zR^vk4ze?11#W8M+f+K8aMv@fa5vQXa6{U7B4pByK)%PS0g&Ty{Ha=Kr zm%lHHUHL%jVT4jq-CJL&)LW=HlWuF`YW0n)9Idn?jDYrU(Shv94ltVU2EpLV&u%9% zNF)%l!YTW)pg#1Xta)o|=OFZ~Ul~OU*7~U1dEkdbe}QbU??XC-I~P(O*7|Y5dS7IoIFs} zzj(}zp2QGB^Q!4u6&QjuzTIU$-z`T}bFPG}zVjLtFqTBU=|%7E$?}M&?8cG;;a;b( zmT18>R;I(>j#pDi7OEPO;oxX|)smsYVW)7AZ6B4INDwQXXtQH{jFqc?H|!l>b1!m1 z8Hi)d(WDZy|DJ@to<7D!93+FVfl0dZ+`YV18)Axryp6f~y?`ArFp_$;gCXkcsVsMK z+NGy8-&RaNiF_-Ig)LjuAs}4tztcbb##NMqZA}tnog+fS-}TTZb(2jN{$N%QY)#W~ zCS1GeI0V{9=17MHCwC5iCGsou=San{(3%{pRcq*!(1ZOsytyIUIj19~Jx*_45izj> zdfH9i!XvUu;Su|a^v1ZQuCu?~pgb23k&Na6!`h`ZX~pPhaeb8h{z>q?OtVSWSC3_1Yaq{);dRV4=y=AZiIRYF0T!?oEyPkC4<{_L6E%bF;Lydra7!Sz9e({$I zb?5*L)eQeMu)ikkt$POdn;z-CJ`|*(c3{2e7lOtQd=fPifp%&(3I3nfTbP}TSJyF{ zopxezM@Bd3CO%K(BXugTD+`z3KNlctU0I$tY=(n-`Dba>YcaO5!pp<>#)dJZEoQbt zE8P0dO5LUH$~eow4gH39uuY9eAA|IHc)kJ}XwEz~4SNzeI-RU^iSIhv!H*=|3LlV7 z0$ZpoE+@%IgMFWIx(lg)xq3aQV31BF9%~6ZMwqAid0~}tPl~Y7j-UIWZ`IIa<+cKA zU63A!6Coe-x0@!R6DOJbTNY2P+Bbvp!b``bO~H|RXQHX@`zX_eAaSXv!`9N*N67oF zEpX&Le_(K7Jk)-d$sBw<%+t-k{+J}F`x01?1FNaI4zB#VpJVCIk!Hw76B$Zj)wdPT zUFCCQX4W32JHBqJYkuh&_0Q)(I-s8J9Ih`KWWol~R=L*3I7SW{Q|)SkMXb!=$e08)@j2@YD5Ct^LCxxEADsGNgOi zlcS>zfCj4mg)+X;V;0Pcobvu4Im48 zmheRRG6&*OR?lY!df81TH~`o|x0ovvmuapmg{z*A91?-;1?O<@AO(nV4p+FqCyI}+ zFcv?S*0GpGX&*f%{m|pv+GN{7i;HPOL=N9!!IeY1$;25BsIg6G8nb@(1*`T^)GN60 zhNSmPLGSHpAJUS#ZEru!kU}i0!mLIZz+#OL3YVa5^I!kD@{}%DCQ7ksZo! zY=Nr$b*BZ$fpXGu6ukl;FD2$J$LeBS3a`0aKi~aKR`S zm1llF3>jNn4M%QyrB*kSJc3Pge0Y$-_MR(K;hycg)JtbA1J2{ij*UhRo0BV!g%Mc} z&e8X4VdLe&_Cg@m{#~pN(kuGVn7vQ(5s^*k`Ehpzk$MjaYBLXSfI_{VWRX_Hyksv99jtWAxlD8tPTbPQPP_Ipod6K5lMk zH6a~tF8V`Q19V&h`e1J&6w;mHmdM=WN!8P@+qPzXu#zMwTnK)oveJG%QFY@hbWwecD%H$N0(`@cLrSEB-u0UXzu6?Xluci_y4P~D-DOT zefzT*j5W;Iw@AjmX6!PuMusS4%QA>;l_lFu*sdVj{9+&(0Vj${yLq znD_R4d*Ams{{Q(fU*?|cxbOR1uiyDQ&r6xwRphuiEG+;g8|U}N5q9v?Nlozj#B0Wn zlQzio{*8ckFKlXr#n>We5MQNRn(%LVP)N#%(A))nS65svAXV!(KZL36>J#zE?gG9; zjvUakapjNDV>P^6Am*ev2GdX6Rx~tR#Yc@dN_YGPyQ>H##Ps)O$Zac@kPAM`ZwOUL z9e3p}yHglat5>esA|RYHVHIfkxmDw4jmxU)Ezkqjy-$2N($o6)#&3RaVjng53{&9R zY}s9rrf+`MqEgpZiA&Qw`<8;HWyiirjx-nv$SG z0duQbgG4R&nKS?oczfl@^gl>skD-BeDda~pqyE4lG|rk6hdiOMYAEkwE{h=(<&4#r z($JoH|950|@@)QEe!Cax23-h%-IE&48Ejv1P;|ye-eJjCWD)Wwiw~nP{ZVLA2I z-UVrormRmuEc?H<)&0XQ0*F3I3tLD8b!R@}-%o0y19vr#e4l ziQSvE=7qiS24&&?K&(Nk9do)9K0cBdcMA2Pcf{^d6LJp66cl8b^k6B|i(kI+P5!Q? z%_|VVzA5-td)`j1cvSd2RPzKSQvgvns=Q@ju)M}{0D7rm zh!Qp8+qJ*G8cPkz(+j`r>PB_<+J`j3+6uf(Mo1s+y&_J$fAE7~kuR6B-EN~H=I9

gr$5O?u7JL_oyM9g~D;x09`=Swwxs#=UCtue)r9q5Z7 zE8~YdE`c}mp##Hj9|D4Sd@j>6693UrY^JoipKYm|aX*v^a|BxX(AQPpR z@4Q@ZH^F_@H4yEyVPOR^N;BSQ>yqMQPp>~3sD$TUP&9;eS zFNlrQJv-EzX4?)0raU`s2pWz7?kwWG`EXcdt25@*HyA z+x{y%k(*o11mkU6Hs5A6?~&0a3EpxZyOF0ips)XWE3GT|Tt)3LR>crhc$xtUt-Yq> zGxH>U5)AiXF3ucFQ7cZGy@DU=Sjb5Dq``Y^=XlfJNej@nH1eLaK3gnrcl%fHL;RA3 z-=x~BmZfWCi9Yp~q39~bVXy?$-3&u7hO9i!r+(z_A7~pPOxZcmy8M3{2=A3#lm_eS z66yJUYjW+e25@J&pUKy9+v_NUi(?fguMiPt9XH*3{b^imMS3i9I+4f^(}}Rl#6nWR zYee@!N`79)#>_`#h~xydK*b0*%aQE&W;pERbD%=p_SVT|^Ge3AIp%@??dFTe2A&NV-<=I3 z0!|nCm?p24mi_TQvgEph{H~*Qj z%*^TpdWVPsYOat2!w`>4)DqM$YqfLG#wo<@GLi%q{fx?OnJ)S0$1#VFqxchWO3`?4 zk8eMJIc$iRXIg0f%l!&h6T7zh@PKsng`+#GxW&`1Z>Sn%Yj$IyD__A%O=M8^<}}=w zU-67bjoW#k#FZaUn|qEHK~nGNAYX!&znnxZxql16Uroya{_bcQ=stawO#|x0+5pKR zhJTT`)D}GfZn0B7_=J5rMYkKDQnHJlbVPYDu9fNsH{T;OWo9MtmPzeub%roxG@p5- z%5%g^AXR?f3E!K(o5&Dvw+dtJjAO`$a;#s>JQ*clmQCvQ@igqrZDLR3b`rctm(AJn zX^TF}Nz#9KQSX;}_VJXW&h4o8=n2j!Pn4>3>+PHy5IR5>4X1S3 z89z&`GN<2zxnt7E_bhg0C(|HEZ}FmFdiovIpa<^;!)a0BvI?~xcyDSIc!55}dS>{% z%pBVcW{Y{7`S8K}wG-ii{Rv{bS12FegYHXSe)eSlYk`z@?ir0OZ@f}Lyb=4s32#v` zQgcQVQRP+6S_}DW;Yuv*vize~&Z9*gJ1iV@f*<-%%aNrzF9|R%diFNNUCa=%NkFUb ze7$b^W`Btw($XlM0VHExBrj60gF}T%F3V;uOQBPWmm0kO!K;R&b(9`RX9(#RqpNx0 zEwQyScV&L1mBUu>(B?)Lhc3gg<3VhSTx;AM3xH;|L`Q+;#om_?8-E> z&6K7m&9}c?ZNOS5G0Fz_!x*L8i5d@#7@*dJ)oQf#1u2oIar7?+p-Q{}9d38qOaUw7Wz0Tut9Jo;n)Wx?*+-TpMAEPRC(YBSp`~pc~n#2iHc1JkU*5;t`aNo zE-a)MZuW?rtCZ5=gAXJ&M#q7_$y_`ZX>LcSokv^RUPPp#Q(Vu-RjIyE953`u-|N~r z3H6&>d1d@coOfO-_tnOgBgHQMy~kH`EVISO{^G5pG^^~1-FG(v$ux$#kXfa8^cst^ zHIgPzHz`I)cV7Z3rNA}+^$Srb7Ag=LKskhyImv5yztT%#RXT&&AK%GUnxBF+HqE3Q zt)Xd@43PkLbyRpXA$GylzS{B2$r3JNC-c-E{jm4+q%>-g<*5g4;+cS(h;W@N(v9Xp zHb;vLyWpRbWvx4NVC9Q!&qcKEpIk;)%I3%WunxM2l?OldMb zerEIp)qtvNKc6S)jTNG#bOw1SPuaxprjdd|+NBVx#-Jqx(nTe3A68 zV&qr-ueC}~Y@~)#-Yt$@H%~M5qdpE@EmytwjKD1%kq%V)KF!fwZEo}-chz~zLGRij zAXU(#&I+aeuUM-73DF7YbhrN?kDSPCdP4*%v_gpxfLe&Zt;a6T$maxEOZFe4&{%`QDST-8=n~5Qa!zj$RmGRMP_DXtAPB-o;u#qi=4sac_2)+$ z5l(j%nc(-KB}qFEF*Npq*{tL20B`B73y^X@j|F!Z3#6=Ij3cTLIv2PG@e{(K@y#aW zr|X9;>u5XH;^XHJH|%JRC~>KughgQHfG(g875oaIiid8b+y=xm5G~XH4SyXZ3Ozfj zSrmkC44h}$x_V2IFVdWr)_Ss>BQ95HMNgy9&ASZ^2x$lq(v2F?D4mdLYwC0~jbe8A z*Q*>#=^dTsg6$gIJJ^yYTw>qK$eEUTI|URG^8^z>jRHNMa};MC)0DaT<6Nn0 z^lK=JC!4+0F!W+l;{@2qOpSB;%x9tin2tS7oyO4gNb|Gj{j=v>sFTc;!lS*#sh7{5 z;4B2}CAQ5icov1kJovVeg$le4Dv&PW7(AiTg4M{uY$Ae;Lsf@4j*dLs(%V1&u}XV% z&CUKjMx;nP_VmXy)%;2@Yo{c{!%+qUC**y^iTKaP^o>!%Jfx}3;>dGUHnUd9*IU=E zbP6D<+1yHSwYlcY8>(k@%GKju$%cj~u)|I#v*802<002>ep+QhudFE}xA?nfkvFo<)L#S#; z_a>5g+=3**lq0b{l&1?eV1J(YXNU13S>d4oh`pIMLl)7T#N1F<1@=A?z+v@Qjkv6@ zQvcosh%a93cuS}IxcV$`R&rb+;U)PJtY_~;*_TKm`Ho9zNV2mKEfO=IdY^UT*?A)d zLjVu%-#+1>rYg>`nL!Q;J>q&HQab^Dme-lqI?69-vfltWqAS%9Pu|B;gEZ@bKc5B( zm(p^sol@n=?yORt6_!AZHi32p>@g3PhQBfr4Ev6c8;aL4JMpe`l|9fFaukWx46}DVV|6lm>Vs+n!gU+5CUBmpsYa-6vvO? z&?ja%^xHGXiUhxBMpJz9E(xtf$lgsE6Kmx>u?0Hhxm$QKieWkjd2**5aipdJK352~ z#}i_w%~oST>sE`AQlT<8VEc_I@yh^jQ!rGr+D-aCP#)J}o$o0Ex=M%`Fi8c_us^&?Hx@NKqLdg93S4nOb(5a88FwScuV|505> zRI87Vz~Im4c3Y5J?`3KP8ytH#-b#1-O;3)BYV$jr#}A~^BOpCeO4nS8_e{s%nZE|hoY7%!wI!OxALRPI zT@!Ar*H~x1`BMer(HZ#uRLz%i=)E(_&$^mlcjG-0Hw986Jk0r%dJ7gdxoXOZ+}=5m zWy>qSfJidf`6LyWE^&XGp8UseeUQ-f@Nv#3fzf*K>@R3+2{D2ug>G@1W9yP7QEj4_ z7u|YaTf^enWBIzvyJlt=ofS%xU6aagMc#!k7jf-A1FD=Ifjj z3;AOSe_Z#I4SN;UP9DLGqmaHW&7x{+5o#70ZfA5GuP49g&HGeI_PW`dne&BlYspJr z^wTE!FJ-u(#-(1h$y}~i;GGP)pejxhnf*$3B!~I`^ibZ(+c2{HSmwq25{b7zkiN;_ zuj#{kX_`SI3&spAMt5KlthABi?|VE7HuLvBx&W%qc3Q)a#S`^UM*{m?Lgg8%Ay1Fx z;vL*_!o6+Zy;r#=IL24YS%Ee%19l;4Wz0gTV<#o+hpA>E1r`OaYrJ(W*Q9vc=ioW% z!5`1h8oviv;J@DWH}0^%wJ8?~TmItWseF@PE$Lrbry%h^ZMZcDZJ34>sTVZ$R&E`1 zX=FI&iLsshCSawI(PzDQ8gEWaK~6R%xQf8>lh9pdtQ&>$Fv8i+}bs)0|X?m(s5tdJGwj3fY^7`nLg=EjMn&FUPd@ zxIYC*s`SP)gS~`LqkV3%z{>uf`HZ`R&oTLJ-Xq2H;*|e(6Zd+Mc8D5pJ3EOQd$-MY zIa6ibZ~kfs`y~F>E(P;Bn#Fup?l0X1dH~-0JI$mFG336E3Zn#~Bwve#f?RynMD~8O zhe@b13jz)G^QRf1+>(K3C5l|PFpra-W9nzIl%zuZWmMf-V0%psvStAP!uFXef8Rob z#)|0ZkyKej*NzncYqnmiz)1Y15Aedh*n zg(ftIwOuol0Koi>A~BMHbL;#HL~)d@dTHPWumj-aW~N=) zG_XJGyc4MQbZfFQ#>&>dc!!z#s+7cC>hhzM`5xf%UG!@~4zel*uCzG9%gfUoCpg~t zv&3>a@*HS|Lo>a2#$E3ks6-Kid_?pOYj^X{*Mw(}+5w<)vf<-X{iC7P1iz`&S%gX$si8H?gor00Q*- zyKq1MGS80XuZcuU|Lv)hAAFkuntzMq#aI zzd^MWHgy5t`C~(!{QISJwPJ%2YZU8H&6>+x&L+XRT?Q-R&g9O%7D$+FzEM&jNq*68 zo*-SF)~2GT|J*gQWw~KR2*nz1o0(Z^uK8kz)C^?M%zlt^96z|eP?Ag|7+X|NJGFgq z`zJR$mh%sNjW`L)f=)=!00W`e)+Iw#s+r_i=2f}tYQIHfk@gu2U;$`I^2#^V5o&L> zf(S>y=bY=D^VjeC<$7|xGxwY4e(w8o&o|k~K!=7BNC^M{XdXheOaK7Fn_YrYa?+cP zkofa|8)AQrhi2qApKx-=q?=<3ABd$t06@j|?@N$e^ZC}zN%jD3ivUya7Xd-`eola( zpdfKqFL!?jdmkrpZ$IZ(drCk6fEVykOWiE^^-fVx3(L2Y0o7)orHQaQ6Q)~C>P+3-xOl5!$dhf?)ve}Ry9V9@3cTz0Md3m*o_x3aQhrHL(L0Hdb z+mZE3Uqc5%84u^>Rx?RMJ2BPki`FD~?m>A&X>2m;AMD?RD}{Q$J-U;}%-n9;Mo&t$Fc z166mMw2SthXkq6l*_H-PHV4s^8nf;K=A zx{Vf9At@IaZfIv{=U89MRZo9!J~xarzQ9H#$}@@!Eq^%9fi`D;o4MKBr zl;26`ibBpqGXlFM)Vb#Nqj<_Q*6k;2puV_TfC|71>O?BXc_x03k!>SmH&Nj{uv!y6 zvOC9fCVx;=x>LnJcdlx*9#Uh4p^{_$wYpS$$qLX}sYz8W-{fhG#w97N2pW)N5Ireh ze*mB$ScTYK+&>^bP&Ere&nt6L&PQ+U-CFcBUr05E5$UTHU8$LqA)ikdXKb}I1m{6G zK6i@#kd0|j%~+`Fg;)f~^*y)vCr{8G&P6NvCJf=uYJ_*D!n08qJ1>uGD`PUkEte6x zrXsTNQT#&Uyb3_EY-HM>bjwbWw>v(gx5>MlmRT?>JYAvFOY3QJV^$G&`8bw&ucNr6 zbi|+h;Qn}0fcd0x47jf3HUfKAO3nD(iL8Zo=7t!HMH2WY0LNd2k`{@Ywr*8}o;BLx zytGsR%su%V3+gecK~3+$ql%N0oW$145zX4rWZ}K@7d`dOHKWv0ggdQru zqsR`ogMSnWJRJKzz|p&(t1hqP-QSdmtK*%ccDUg@llpywsE41lMGn`aBFk%H@&yPM z4+t}C*RS&1{SjMb#eyionxwgbDG5V)OiJ95D$V?E9!x&-QETAqJ&2u!g&OR<17{h8B)s@JRz7jvAm84{XBp+S?z)L>f2tX<+JA)i+`7{~0-z9zAH>PV{ErCHjVsX5-q-Ofy{ zk2i`7XZ$+ColxD2B`D*2)VVvmc+oLsTqwj3g;SIyisRbrC&{~?92*rBO*Y>UNlONQ zZ@ig)$y%#(MQZc&fDpKpXpo3}7P1V@NoCf;cKXr}u-`1$iN5yLGq$A4pxs2Uy-bf| z#d8(b*>p@GE<7nNB^@4wbz7ktV}ahr!`tw;DvGZ^xA*JY(KW-06sH|f84=}*(^i55 z4~o}Ex+P53_y1gtY9db?(T8#?y^*xQ;o>xjmC3P zD-nmU?BPAIk)o4JUCVpk?$}7ViHtPO+cEY%seAkGE9>=RzyA6yVp08gF*~Xt3ENf& z;kM9V(K7KTfPt0^&b2Kkokdtsi7@|Bk0L5Vg8T&d} znq8Q$s>5&|W70gDyfNDyGel8>d`Tw3Z~E24QA2*_*YftBQetV)Hgshugglh)^03zn z=Z>QG&3e~7jrNziS+tajTZV3`-$c`esz27M74=M`Y~~2k6vPd0@{SM9_;CwtBmH?&U+?%{Meqq&xePD?O6&$ zHfd2zl8O55AtY^>klLMJT1|V8A-fq?-SmElQcDHLyIbERrSE<(&5 zTm@;q+@p5rEX_)a{?9=E11+$BA@5*kVjy?9w>iFYL+Zx- zgd*TNfPZBF*KmN98u3K&lx~E4FfuBT0loY&0D^9#y`E|M11VoLs#1pjQ%g25m%l0{ zk@Iy%|!?;HVF%yq%H?wZkPu6eiB@YqkS|SF}3szf_|K{oU7Z`;$s_G;d zWN9Wn6Dz2R#{mopr^|QzRl)2_;a}xT%J!OFh$EE`GzH0{8a9-dYp16_D6$ImwxY%8 z2=;^q4af&QyD3}P&nUJoOMK@ZsL$fXeVp1T&c%awdsXLKo9?`Q^510Qmr0^Tjdjtg z^Z#j(}&8JBd+9(<&{P|H51OA&Dy`H3iaa%DubMeXG$-V=KYB)l3-`&@%1OO&( z-Bm;41+tL5JwHIO_f-N6EP*~hy47kt6NMK#|G7t>cy;d+%k?WQWNN#U~;Mfv!$=7+gvC0v!E^KlfTzf;FMM5$bw1Z*d`Ieh@Ac%S@u)lZhTQK_ z%%JgI^cGqx;V%D?%1gOyzeg>{@#uP+(2SrHPIFDv93j2sNJspFPf9(~k=unvpNN*I zR_*k9zz9&{i@JZ{g2kCGDg>dgTaO+KNL-`g%S*SKF+fKQ29>*MU(r{Rp>S@18d?lt z8`hQkUF08Reu`=J=K`b=UlE6!sdfG*o{ev^&X0bf-l?vLN($`LXbPO2_bB#WG*$mJ zX#7hD9tri2YMz(>B1iNX(sD*vvp>)RO@)84sk6gi;a^H+-QW9e{|WG$#@`L3%XJZ1 z{1fN!pMF#eF9`XwME&Qyo@nvij!Iahls4?Ho;RQ_H6;R*XTHRPZx&r?<|!@{ zcOXfg<7vraC}kv)lR`r;I>$(@O1ye6NYfRrtV(>5YZLwtC~naat_#2Sjs=gM+=w(G zHI4Y;%a5Syaa5dV&bUjvic7o#PEJ*AoN-y7q)Fsp{)=(aN-@P;7vm*&RJp)E_e1RE z?=?cy05#Lmbu-1>69QRg-`d}Z&sj-{#SeO(^^8W#GBkDT_&Hm%?jZd3LLAo~16)ZT z5ES1KGabi=Z{_JQ{`xW38^ObCs`iR-)cxO_Ev?nto&lvLv2TyP+hKHM8Dv+hQ*;Cd zfK#G~WJ$UhvxR&DDtKXpDk9>{TJqPDHvtZSL&Ep8Lk7b|8upuYXKfzgYfzEehe;8X z^?CY@Uz)R$kw#vGSBnwme2*i6s#SrO95*&|P9yI`9WrX%5 z^6@Rc>d}NiHsYV-OGr3VIH`Diakez!n4&K~sh|-~Jq(Midyxz{8CsdcYW4H5H&rWke7v8i0}84NkEBTmgP_H-$+p5 z{Sz@jII%}T{ng!-xF;D3hb6q~_B00!2SV`KMaq@S2c*!bTvSHqn5V5yrR)_ADubI6 zFxql0Q~h&CqwNOmTO^vi01VU}Mu((6hJ7FDTDwg))e)rfj(oa3(!@emzZqRsDV^9R zo?6Gf=D$vml#Y2p{+{FsF;0SCYCQW!yvO^hy?LU-jGivGuwFU!5cSCS$T+%DsATT8 z-!ZYJ^BH&#E{cG-EMHSY56arYA7|i~-}AOJUIAQb0!iDl=g*gGXN5*>2RNr~v>S|? zMsn@ReeM-%SW+)sT_;=F5YF#L@WgFNSETGH{Ily%Z=HM~2qr%xD+~<`^q9-vi|jb6 zNfyHZ!eb%d_7zX>Xo+mqYhtK_S<+wXE%Ef6#hv`}f=#56juP8#E3Mm-UaC0FRjCDK zKgRh-55sfpvI|O;jf?sVbj>1f{W`x@@ymj7u3L&h?w^t)9ToTzyBfz(3@a5uDu>nB zpMdt#^NoSh_ff^uS%VzXgpmXyYi8?Y!7J=>b&NNN>91l z{*SL|pckRmo^_2Jlom&KOk6SX3e|>VE-=*!8?xEs>*a_boua?|c1?3ZVT+;IFajU) zLn@cpKeWM*vG=uJWJK}{YetS@>CfrEy3%p#397v(_3~eRSGN(#tD1<6{>jj^n@L>B z%Gi`k)Q;>?lO@|8$az0}5T3-ztvNW~_U!vq|9|M2V^1I^nt=a+sC3%UM(d+rMZci@ zpBE}P3rO>jY=lL?W;tj-7$x6ek%2q~7Kuo6HJ15l{ddzig1)9@AZJr{Y`!4lg({OK zl*<}xw52ND`2Paq|H4UQ)yZ|~p3|O$-oxuC?6{dM58a}>G%J^M5GH?Jr~!#*{&Cx7 z;aZA`RZ2D8)2Mo($|z}hO+V5ORG3|W_*?%*60jew-_$L&v?DjJ&-n9JvX%!;d%@Bd)IU%2;E`7$ z7{XJEf`?w-7eA?#MkC?8#@as$Jbi!#6gj%~hJI8IAI6x5E5BN<(5_p9@DPIlryDAF ztM?t%O25j4F*r>SK~Ia|PtlF+##3F=EQIDPA$Vyi9q+?|U2K5%IKVtdvD4STT)Y^M zc3h_?pDjYo|1_(97j&grftI}S;PRxkdh)}J`@3C1`VyeHeF4zd{YZ4%qaB!} zSbb(;qPq6&y{%L4^$}>YRd=qaH%ZD`5Eo@tSj^n1yB)8IwmH8kYHv@;3Dn`sz`VDB zLssZom7*f+atcS1J}11+kjtm+&5a&#e$P`~4M-<=%S_ zpKq#lr1V7_fi?}ZjDm$`Dc)-QE^~eWc=O(7b80{3)6>yaIhLUG&g4r8H;eAe8-ryr zdd7M{h7FU}UGrB0YM;~3%A&6+E82M0@|uMkK0hhzpL@5Isa+%jS{lVyBeC)%F9=mN zi)`inw2mKaqK((OHG)alxbI%Gtg^Tyf_u?M>$obr60Rr=$&YKml|EwlKz`Aroc>U+ z+H1lk{*aGzJx{TGa$q6NkGIWy)V_zL_b^@SVeVj--P$9-gJ09F2WWH4~%e$$=+ zzwp;r-#;Z{2wt<@#jFk@Qc1K{$tZ|zN((d*B=nOt5}JhLd5*#=7b#ZO6&C~BTX>eFYG5r@ zGI5juTy1gFAT$Qlji##1gj-_beN=TlcSA@zn|aF?St$mrAAJ$pm85o1E-!oDb)PY{j(TE19c~&on@RKIM9Tc74Yk$oOd-Cne76c4`H;o9?MfBcpn)1iy<0B5Z zc!1g=EJ#P>^>>z!jNN2C$`sbo)9%>8~@RjNg7ay`dbxr;eY1Mf4{?q5#d88f}Ct z*Eq_}TTq|r%kP=PFh>J-VyMABOUQzWMaEt?*#tw>*85ITb7wziws6+;ye|sgB@Wl@ zD93to3b{tpQ>v0#8_2D2o?k!1ykN{*)Os~l+K{j@M%M&24R!W=th1Z`tB_#URXFIl zOWBGq@zTo~i2A{#|(qHcaMlo5-Go~M* zMBk|g{Um_&7voOsk{oB4T&-2F^w(784C#TIgWs9_M3Oz$cy7&h90^U-2>yK4$voTl zljH^>X6et#I+!^b4Z_k&1iF-y&+aq#9?~W4tnlKFy^RLWc!BEP44ksb5Ks#j1vN5e zS7#M8aFfIQC{Q49B)5+=U@KQpQGGJfnN_H0?(;^s9Cv)hnY&RiFxpHfX&9ayZuo?E zH%)a^kY6>;D(h%D$qpy$hxj7JEMJ&l9nGozGnlc!QO%&#nQZ-K+9v{2w4cn@C5FEl z-1pDgA427z-w7v^RoLEJC3viK3j@V!HBbM>!V97N3`||%5t~#aofEb~`g$3Y?-?4E zG3fcf76Tg|Z`k=ZYEPkGY{2tdapSx%2jE?lFC=R-0X#3!hF{P^ju&OQ zwURMVPPO{cXbAk$b|F^o5sOSwLgC8f$V#$26K|rQ3khTA6WWFk66&Y>)7CJvGWaUU ze9dUikK-_bCkeb;!rPt7>_U7kTk&ufg~oi);@glP{Tp>lYG-mNSDz-dylVaC-ax7h_l^xG;NoydB%t zzAu2r>#M~KzvaXdhtkyv9?73*2wckFxpCt%isxD{W+*5`O86LOzU_6qgIli92y%)E zh7SC5mZbgK747lEE2ovRX(k80cNGMp8!V12*~pN>6KWxhlMrc5N6Lbyt*^dMx!pvg zlN2A1|jQe9ZhM|at$+uQqVM9bx;BPcx`#ksysnT1TZb4uWr@TJ;|*U&N0NB?>yu5U+mVpcg^`&S`|PnE4>Sr2XBX4QX` zH~v!!b&0r`Ksc-+Hv)V!NX6eJO8yI~PPAZDfJWn&)8{>m)v+Ng6o6eLYHV!Ow$VD4 zoU(p`_FF+6xa_fW+tG>k$7@v`0+R>oZksglx7QJZMjh$ppLgRm4s8-EmG%-CMy)gZ z{x<0l4wjb=ag-bUbztgnBBZqC92J>ni9h%Nw)YQGBSaB729|0XJ!uOBd3Y+NE?O|{ z?!p>m_;PE9RzW*^jVsQQDbiRLN}C)lE5W2^RF_Rr{-JB-W5cUj1n&K%w>nwEdT$tg z7WpJt@h&1>!M0>CP)JhmlX?*@M?J)uH%DE5&?Gor5eufkPW9(5nFe(|**n9oq~(?VoA&%nY{&QJ;2gQ{$rLO5pO_ zcJjc_F$%Mvdr!OxGoal%*@~*lkaQbO#N&DnEx3K=%G9o0P0#~)LURpXrr5P%$| zkj$aSLxjqM^bmE+5k7Qtxmk`LhxB2|PF|*#l+ulOq`d&cUI8vjrR${7nDgo!Wdb>& z0pEPSqn;O#c%BjsQ_M1bfJ~GK;-h3p6E;h3oks4K9i6N@jf+yko zSq=MhD1-^6Kiu{U{N-}VjR|Ue)3rWesKynHO3)I)L#vV7F=pQ%qrhD$5VSH|`j`$s z0YSDuTlmrl(N-yBR@VF~))-~^*Jg3rQGx6>eA}9*?2f-w43rTb`NeIK#W97P#%Zc5#w(&i_8E9MhTb8+W^Zj0acV{DJ*AaJ!X2 z;-^gr?2<}SXXGawe;H9>P!gl?#m1#VX=)dHTat%byRXkm3%N}P?=KtN#j-cVW@;7f zr1lg*l3X$;_c7o;jj)xdWTyqE-$o%SLS8u<#{Sy*%q`$ zvN2jJ?C-2QACsLF^uM@CwIlvZ)g}k8w^L63J%!9lJY+P6H>mKuag+Itq*ato{iG?d z-Ic7vWL|0gJ7#d^`qS>Y%cIJEULM#O=T$1)u!qiA;kUKmx#NFvUE>?6gIfh$E-oiaOaEE6?eicUr zR~M!7+ZdgrlT>>qAMrx0joZCf&t2mE7(EC)^sYhbJ{vV+qqEs1#a_{7^g9dFhjWY-t9(t!?Rzt`H1{+eOB z@x!PEqAx~B0KoeL0uwNrOTbL=P(Vj~Lqk)%NH%mbVkPnu?#F-+Q?k!32BoPofU@hu zptY>maBtEBvWh$Z5IT(-r~ydw2OY37HAd8mYRXEt6(?$J*9yurd-E_gJt)~MPgh(A z1{Ig}XjIVBxsrKg^btm?J=ireDLr@8VY{nS1|wMDRX*Yd4KCU(o+z!V(4en*jM)}t zLQctk*?S}OUE{5$S=b0JYonI`WtvX1E(}OlTx0zJX_|qqqxz-7z@-He&X~TvVxrgF zJF>Tg24_ zJu`q;;Sjoe_zC=idY{OL$j5B(pi+hFKt@o!`|Ht7e0pK9< zfxNK|ZVc|ld6136ljxRFnK%)w~c7>sC^8|R9$s$$dr4+x}{(dhu^ zS}%6&0MbOB$j)C~&3F1E95@!wl$^NYJWhS52=j0Kdh{CTSk4whoWu@dEd7^=sF+|= z0ZbEj%L+39Cd?Lop`Rg%RyLk0MWr@3@ zJ@9qB{(Z7pxBiM0%G$qtHo{S5k1gUg2s}W#Sq7GbVW&m891vd8GrJlPDGEA*(yH^I9|KflI`<03=0RpcqXWT&bmn}xC_1#Sw zEv|6I$<6M}$s;7X%lr20X3@h1GU(vDm{sOIIio67mPbV4s(~4PD`^(duPLh9wnsE> zC;QnkGR5!T@eAAa-pdG)A5bag%F0=GD|b!p=EI^Q1O)GOnD(6it7iRw4&=SxM4iC) zTibVjIgYeRPC0BT()Reeh!kDB>zxL)SN1&US=v|*u7m%WAeAHec00HQ{=>waGoeyH zgVe@-rC~B}3G{r~hw{}_LFSW{5y9CReRcZV+go!k@eJPhoE=GqHMP?0Ogt#+=S`BSvTuU$ zR9^L3`~+M!eI=&bHJSZVgXuxr14Nmzv$z65)l~0i5qSN0Wt;;>!?n#_PeQWMCL z!!61sF5UJL!JC2&ZJrgudR}m?q#eOGDl4eAj^N~(n)j~JNbbFZIald)g3R$G=@;Sv z0on87;d@NQEwwegk=fP7Oe%z4dOx4|=4(8I$;wolj(kgo26X-f5xp>J*|H7}``f1g z`ZC^wIodHD>YQ3{hsvcKT2dm7V9fkqr^)672)@3<=OZCyuZVH;X?;Z;+xJg)i2(It zloa8fgQtGd7kfk=q&w*v`(7Cn%iOd>1YNOamYz}0QQd^XWiyvfJt1nWg5M={czWLS zl)%yFyo&(GF#YG*qRz}))^u7Alk!@2A49}2TrZQ%JVwjtw!;?{7P~=_J(=^+eKM9- zziajyIpI>D?w`>EG21*FQzwDgF0xHvGEFpVhjV#m95+ z)?RZP6YZ7Y?>U+lrGdXjLg#R;3Y&4o%Ob~DZ^jpX4fldp{0obMd5-TYw1$zL0bo*9 zt&$#Vr(tlA6BI(WV(KRyYL4T_UAQfR9VgBNbu5E)+*WiaKNb;QrcNj<@Bq3~avKE> zlo6aBY{1+pz_rhuPFdJ)!p`xL5oE8?SjT*+sWV!ilY`Kz6+_qRX8=ax?tsRpA8Zu; z9zs)X%+itWX=Bz~H@J4wiPPn)cUvjaYgt!YM)Ah5$4KuZt%oc*5Q4bFCuiv@rx3VNd|j&DVr%SgXT$$}WG%ak9qNXb$P zEuKbawn4o`9b;yQ#a6ywMsKzHNk?4x12yDjbCTKnoMf;!425=$vrYvHjz(AC-;Dxp z_Cn6uWM`^Ah^CsCMX;jtr}eE9fI;1tdXx88|3o-SopvOFzm*#7jrKO}L3$20%dYh+ zulszpZbwlHl4np4a(6{Oe7%^VNZF!f*czE0hsoL>nDV5U&s|r-@-2;-W)u%^te~$; z-evi0{~EX!@)z8^Bl!6&_2a7K%0`=0{hqKE=5g3DZJ_UuFXLg0=l5o&NGaO8U@Z)1 zPwMxVTqd{W;X~>V=ZSraMfD)=g3>g6vdw(z14j&S0BiQUktQ{0$@acv_EGC4p>ktZ zB(J*2ihcQo)RZRWxyyE{3d$YJB*_sq05`h5@GGsCmOf>om@Y`R3QM}35*=Z4`S^xzL*v1>9HI|=TlMbq_yFyg zo>|90;v>cpbMl+kpdXndQ{^L@E`mwlHdhCiEcG38Q~SAGEfx=ZHj2MBABKjsT>_6r#q&#VV!Ftl#f?Vm3&yt?m?%s zvpn8DmA8VGNG2O^EP%X7d;+Q}AFo??6{M!SZCZMS5bzxL?`?y+Xcc9;LZntP1L=@r z8XtL}vAE&PT5_{2BYf;Kpx#RbeuNf>SS{wHc3q9ygA6H-Hw@R7|ct#0hu$JVu zeCqtHP7n+3)jUyS@R*?3yf-{hO+*_$MBG2iIIvMgUo@voW%X!z4(8&m{R2%w=y;7t1&@P71x} zx`h=~$rQs1HG1*2&;LDQ^;b50iWh#?-T#3nN}(*cKsml6(l?x}O>7o9WF4T6MT@=Z zz(XQf2l#Q<=GxX&*Viu?#B{O)_dV{lwcnyUA6OgY5Lw( zxOb(zp^6X6MrOU}Q@y_90>~Ehd7ZVal)Hjex47vmlS@TSnV2EXw)q}2T^q28CG|4^ zp7P~x=2zPTbrE|_WNsjvpdYe)&;{?TB5!tJtI|r7YNiK5G|6Vo3sQf;<5_k(*m6_8 zteI6&>qCu|T6g_DMD{|p-eM(FUOhOWF6fn~eE72?Z{z%t2D05b8C+JZUZH67Swm#_ ze6J99D;-e`7U-^D;z$6l9Q^(=fBk$7J5Vyv=vbA(4XM;^QhC^Z)d(qln!IpFf;et; zpgU4DnRDmQzAXdH2)~}1`Y{h>?yMsy-MuroE%T&kzSZWD`~cIUF*Yo$+*{aHkV{fb zj@EImi>A}`LzbmG|CUP_|K|YlKShgF8;Ui&477c1MaiF}?3HQN``oNw%286dFAPon z#+Sr=O4&vohYVt2wS1uiL2AEMP`1vd-)kG^;I}>L-E?lZH#{jn6-$0J|FPAAz*?gz zaQTko6y>I2NQF`Rtj*I`lB6=0GjGdr{I`TQ{FO@_mfB=L z?A6gQs&a>;n+_g|BMb_6uV{D{1N@V*;UF4ElQh{!Rz|l*F&WI6IoXq2y=eL3?ny*P@l}@Ij!0k1Pqv?0n z&ww?vnLg8(fj&EUmx`@Ud{`O1C`78B6Z)JZTV8|8b$4)TG#AP2mK2&T58D<-A*5!+ zyfZzz>012bp1yqIGKu~nX5PBn32AO`)`6~Ww~K||jyP939tsa=BZ5D|YYSFHke%}_ z)_$xL)eNin-I;WwPm3lNIW7;52gsbaF(qK|ec2$Vx9bA(J(qH87L4 z^0mt8Ln9uhf=V8V3+aBxHmW-IQYH(6KUq}B(x(gqesDbtxj;TN(r>gr(ip|?EXT85({}1RUL9^Llo==;ze$p!2^O^ACc7jn zkXQ9vcZ>g>y8CdQXRW^}q5K9e?-Nqroh?u(m`2JSf|#l2=7cM(e;uU7xfEkmgn z6*+Lq9B^7ULN z`*CgQ_!aS_Q7A4@=V;zDflO@y%QZ6@Og23Gl zjf=Zc&x{;sC(6SimE8lMwUB*oOw!fVP{)PuUXsR|N^~+F3rl;-#~q!GtBP6%NIo3H zIr&fkE^NI@IP1wkka%gvUp~o#jSSqxGiO!7xR520P5h5iz7YrRuvDkYBg{hionTUdQ8(Q`KRho|{ zQe%ou)D-!OrMOn%85MGvRZyt{?Oa{~1o!ck=m7ssu^>aiZ$G?+i-9_?{cwLTzD4rA@+N&W^nnr=diUvKlih( zS3hcAEgB@)OPf|A?`SS)HP8bKGCV&qeD?6tL{3nlb^%lK!Nq+JDLW5;q*7bnb#fd* zxwwFHtQ6hZ`a?Bj7>H>#PJg_89meswjCBjZ;lE;TeynySkOPnPy1!%S2z*+yky(6Q ziwdc`@ABxyJhOvxWfu%^Qx`4>Q0F=qSy|7P#?GTE=(a9lMXOY&H^t|F;oQF=#wevK z!?R=g8L*|uK1K?8ym9@c+|?F6uCyiY!X4(|G)!5eVfy+(#Q`efaNLvUB*ry5!xm*

3V|I56Ls}{wiLpll`mu(1g?=!Q;s&@O{N3x6@dtyfPd4X-uMxuaLyoJLLx?w zIqv8KHZ&1-H5{KKr)z~x0W)#)^p{h@fkIM0tHy_1^fx_e-Z-s1Edf>h6$vmi<6#Qj z_0kFfsvrY$Jxr0cT_x99inqgLQW7j#J#_5(k~p$WAJUoc-uWazhxt5OgA4j_zq`4z zpJ-(?!$sO2D8*riB4+~n-=|#t&8l79&Ky6=nM_y}p5PJJi9UUmtPv1n7Wl=O=zyJa zwVlzV?xMb&FT{d2bZ-?VyN`nGE!Udxuj!L@xG8_d@63U%Jn2qPJM9iC3 zT}GNl6Bjq*iz_zFw_&IuDLb}n!$Jx>UP{3~1u4K`dan>7gwoeUy`t#JBTe)nd2?sGRdIqx zWJHCJgqyVb`5KQl4SKiYou^`Xe{i{#*KWqq`FC7tLZ7fbdlcAvq2MrVg9v*`?8JC{ zd5c0$Gq1BTh#Q6=RWlSfv5nY?uxzF*Wwx0TFv9`{&o zbg5zS{KgaIIM5JrJxM{4ru(EZS3I~v)qlHAKv&Kz0r=wjE@?UTOSjakvXOaV(LzYY z#iL~(JC^YyrB@&>Z}zPN7&n%(c?Z*cRc(48Pn^K7KHRNmYMi);=?=@P(*xp@!8zw9 z>Y3_T-~_i*>rvp5!NxPs{ADH6?<3UbntqvGbl{?&xN85Chsi9Z7k72`zjr8Mv-*7y zOZO^d+GI=O)C5fMRkV&VF@4E7|=qGRL(r?G=EV zZ;tpL*DC!(J+KTD1#p^wX}DYSS_@McnLtP185u80Dn!sOGJs*O2-_`*kC8u7lUHLY zZTd{ZKpGxq7M&gcEq>4@hT$2{TQLgv0BVN+3^*4JUhd zGJy)1V3_vaini;qc5>Vv`4l?t6Su2}=45ZjYTmj4P2YKsExIYUn!EW;V0b)uZ&V<9 z%VRRjQwK3rMVg)hLrZ{Z-WW1Sv&M_l<{!y7!=j7fhOaoLuBip}L&f@^3Tj1Q#7g!D zw{&Lq;hPfK+jza__qNg!vunPIAeP4)pRVNPmpZ=`{kr|Y@dcI$s@6K$a%40xOG@Fm zJ?8HcFCDO*buVW{2vc}zOc<7pFA8Twk8*g0urtgnRh4DTL?&Jfp;?rvC|;D(ZznoZ z4*m68*IjzuA34^Z|A3=Hk%3zl+?Ur4mZ*4hFzUnm-BK`8z0D3QGSSafvb=95U7!4u zRY)(Cp`cV;3z!ti_h^n;Yj^zV@nv&r(K6Lj1B29)jD&jxcLglRT=Y)K7@LneA6Bw@ zhvPUPPGmqaYK;lG>ig8cOn6u<7J@C;>A&^!#7>Uz>18>LePHS@UkrNW)9DK-{wy@TxR8{Dx*W}W z()1p4(jW2UpIlE=6FkVq4lb6BisP~l&c9;1r@t#VU`5tEzwaTa?5PL&+5cd^Nmugz z3cf$2<#siYGDN2BV3jb<_ZWVCsN1HjIMIDhA*uQ-O`%-` zxIl5jE;vue2ekgA!&Sd;heMvq)f8QD8>6R%z9dUFgo=Y-lqWkDcB^3wa5HV6C$9ti zki{>$I=bOy^fXh!=LfWlP;ISGu*nvZ$^IYJ*>!mspsf-aD3audpc{j z#mrRBA7q1HuiKpEknt-TZ#>aZ^A59_8^(fTsgZ0YY|3;&}Di{?wvY>Y1II%`wRQ5=5f9z_XhTUJ{a^{*oD zSc8D;M1e+)*Wspada(6o@NUsHX)|H*ZQVK;K+?WR2h*!0$a~ZMzx=7m@9w#?>95jR z9$&E@Lcvc78onflIQ9%l(qaaWZLOx|KxfLx%(UBJ&6fafFwfJM1n;S~I@Z6Qa;ZsU zTFLzK&O_>9x8V5qvL-tCJ~7)k6=I2WT5THE>c67k8H(K=vNr!%U``R-?Pq=&6`bY> zS$eq&`t0QrmYR>`x9FlkM|w9~r^i)<(>JTAajA<2)wV+LJX2VkUS+|L@b=7jt&G^x z@e{+W4-1V_#{Bto^ZSw&{02z=C6zzWztTV%LyD%{dRB`X_4TZEaMZ5*$RUNyZ=M z!|(;p+s+~{d0}vFRvxDB04#W#vKzbVcU&Brs4*5c&kSWLD=}nv7&G)3LN)eXEJzEx zwtZn)=hMYOD}zZ|kLYkRzt8u7 zLh3Zf+WqMKwl0a4-BlfyJ2=;iNWx`DF<8h0f{yjUy&q_n&&{gBe#KYOb2jOhB!5QA z1;$FhxFkp;w${8HonI$`NtTU>STY82ytxZi)xKzg&W;5e3{MS^wX7eiU?L&zGq>J? zNi27XC_+Q4ko0;w$7S6Jk5>Sbbn?<4AaYnzNR&mYS*bTeNTYXL zakDud6WvjhSWbFTQthyra7nBJ9T?K)ns(l>>`vY3OEr#_&T(;EWlsd3$?PrMwEeAc zG@EC!uk)IZcxK7AbWdlFwfmBXs&E;TeZFIY?20KKx3A^KSbx1R!ht8$X=~(yJim^0@-<(S!s?v)l>Te8t{2 z>F9T-OPpoe=+H&qlND^P8+8Y%nE4J7GWn;OMneW~;c`2}BXtV)htil!y^2c7t&Czw z?zPNKh^(_l{=?h`8=xt$@B}hk^h3Q?euCq(s3ISq@ReBAIMF%PO!Eiz5ueGaXX=%z zhNes8((QctIZfkVT}23QnvKL_@mX{_><#R~@+EJ^i!LZIbMtI*m#Gnhf%t%*M<93W5>y^`^9fkfUtkYef^@{`QtiRWuo zAI&KS*b?B0mC{tDcYNei^aE`L^6XPY2f{$rdbKlqkD?_J@Ph}^k!`9XNAL}m2W}nZ zGFHD!Hy_gpdc2BTb1sS63gtlzt?5fYZsNQ1AOk|8tMV!4Ph75!Q5w-r)iHF{RX26m zCjVF`!>IL7n=ErJ*mC4gQLo?%pviTL9;_0fh6v+Z36OTGHTA%cfL@w)-D`s0wEj8M z>pMta^rx)eD%=YX{;w%nJZcSW`tsrlBd#P9Z;S+nQZ?&X{(75Sp8l(J!%1ax*dCOE znRXd84y$m3QE2Nb-qJ3xij8Uex-P(zHrYt@y|%f)G3eH>YChY<$}gR2FX9?=j9aGO z)asWYha6RwMvcmSI`q&XFX*-1h~p)=)&@IG>#8ogPfP^+FP@w0{&*svK0&;rXw0Q-*7xxyq9O~OSo2}p zhuJcToH0l)_hPk@mBh8}gUE!folTjxuS5{X&yDIoylY=utyLm=K0vE&?MiPc6;U9Yj+s!f1u&jd2g~T4( z&G?4jyXp$Ut223EiJ+09JJv<2gz?i66!A%1wktB;Ix%D78?Ph;?X%Ynm?U~`x|@2M zs?}|iz>mZTR z;4xSUhn0E!pt6ER^K1QqURHSLT%&A32o1Qbjgm`tU#Eyl3%i0T7~g=U=^!{WiKEb2 zV-ySzzRX;NF$!VMWsMW9GZaq6p0Cdny8^-ker%!)R1-I5y|iB7Z6HlY7e3pLw1sl~OIwpyI*(w~c(-){WGz)&}aoD{Da0;4*7{FFw@GYe@ai1zQt`bhui1 z{s&)Q9TZ2@Jh*sREV#P_2!!D7w!vKj1h+u&;Ig>O1}C^faCZm}!QCNva0|Z6ZN92s z-F;Pe_s>-A&b;Y2ulu!kKV{Kit+wRSz>T+h)ViTC+%k#wd^rowbkcHcN%eB4W8%bR zr>>X=WN3mApIDGzsuH24H5UpXA$9=+kULR``W2W9*+9;h5pPBvy8Zg3!jNT#4A>MD ziw%iSaA0;;AtuN>WuEhL$GY`OVQ&4P!PIJq*u&~#O^W#t0-Ac&igE8>bAkfqnllxP zmMhOz1K312uwFW~-4%G`;w-NOMuSvi8feplewx6c=0IL^p@2C-BnrTa#t^t97Mj64 z1&7Riu0sKfe`5!&sowHy8N8DVG9j(2RAt>>A|3uyuO~;Z8FP1dM|!b+LnF+~4Kfk$ z3OObVgGiV^06OC4`ux=01=ad$P|FIf3*^jPc@Q!6V}v4rr}ob*$sAj1(^&g5uX{0 zk?Q@aZc&fxt&2Li;34@HBGXk&XTgehl9+#!`b9$^@dMc1Xi#2d(;?%(>c4K~g?kW+vy ziCiR43Si4Mlmla7fV{IhQt0Wmqxef^DgLn%7j^p=ajb=h%?<2Nha!KS+){NMFMTd3 z7Y%B;3_ou1?ljQPhMRiud=$c7hv!?5UFp|MDsasvVN20Nr>f4a#qL{f5+Q$RSQ_np z3K3yw8pkgbqKPf$WH$Xi7)K<=QuKSCazpACCHS5A^Lrw5l4k^~U4Z3p@F=46unuE4 zSY#h68Y44#Ay^m`Hw*l#cIkT%dcj&AENKBu>YQrNP6~Q7oGS|e^B84Mj>Jh{@+~)= zTOMX*1j$VgxWOnPR+SuW2S27F{M`eGR3!_X6H@+MBgTIZvx@P&mF+da;eis}_~XdH z7(eX2yZH!DQpwBP24FI1JjF`T&m2!h%q8-8KX$He#=m|GK27NEVVm>ZIEF{;pR{Nj z{TVf|?wDrFoZc3?_+xoe#OC^n-pFHpT>2UC2iB3R7A7QNoSkqlIwnbGjVSz>xon2qQCkrMirp?lzX>FwELAhN27^+nGDPY z{FPdZjQ+J`U?E2)$(Zs6>;CBlD3D|y-YsZh$L=4zaoO^EihO>uulDaI(;dN#c;Ma|s5t2>U9qVF}IeszOZN(;l)KyjC#pPUkVBKcgXBI`b9K5g??CV%=C zT3Rnim5zDqeh@&Njw2?Ab-hpuq28@};Kieo%l~6<&~h9vg{98FJJ5-pPIfEBdTQ(7 zg~7Akh2Mf&HrY=9t`ECv0mh@H{(ZJDz1Fh|;15tF+08+3sXcHnvYAbGqGHGgeqY~@<_nKw;@LJ-A zLKwl3F7JeM4*l$?%8vw+xGQwCVHC8n^FkLpVtwXFtB%&OmPL<=c!P_F`Ofv=bG*<< zBq#xj0r^O|HFRi%$tzB)IDLH{A5!x2TG?_958dwWb$Y5)$HfiG42@^(h!%t1rczy* z^(*g<0H6!V11GWD+%@-V-4eYi7-^fhi`2xvL-WwCIbU-qnna&22G zWpp)TrDGR6Z=cH&F4OvVrZcHH)+x)v^&4j;!26i(rK}qhnb0ly)uOBM=XM4cH<-~? z9p?yB-nsf(l62quE457~upI=eg`(`|PWD)ssl_#4U39m!?KE@{VjIR9b~Y@Nu#faj zj@o0)`oUc(4=kkm83-<2F5i;%0&i`gzX;kEXU7kc?I!bccmcmF?4 zeYDi>VE;R6@h^5!n?3v589)}~r_R?kFLRwvo?&Y9&dn!3!u#J{(>d<=S{WmH~!~~3#KV}0a@xy zk~wD$WTB+~MZ?$jk#)K2F?DH#y_OaS^u`~WXtX75X$}8n!xc!{#3A9u438S!D7LK(oz{2|JkI4Rl>2$#7o zV~){W5m=MXRr2Z+kD8y=vrE*%sf&3j6};cM|7YrM83lj~<|BLI+{}Z{K-nJVEu`j2 z^-_HQlxImVt9*jOqJ;r2f{@`7wRJpCj9I`xyuf|6q_NLFG(Jz*61vTm!tcq(@zRt{ zt>PdS)--QZD%B-&MQyT!lK-KG$F537B`~>1mAsYhAFieuSnN&^=a4$psQxAoPdi%f z5DoqRQvZ&^Q?`)>kd`Pskx}+-%k0C?oQ-;$U^d>nb`GsUGx_8Wz#F79j^BEH@97=^ z?QbfKIi4zRL~yt4?HZ{ zt1Od1!dvJB&}v3k03PDEd)iU^!w2FT5A?-*dT$6;Unym>jn0g44~N?0Rdx@<7SWcx z1$HkCAfnde^$U#q_2W#~Zv-B-)|8o*Vl$g?p&bl6uWUi)DkU;<1drSUk?&&>HF8Mm z*uEinNR1Zdpb100II;4CE`sXc>3~cvsaDKBkTsK&mAw(^h2xg+&$f+SY@;*MSH1-* z3JXpR2peCv?6M_KQNaFQO*tV_6a0!F75dwh)$iBM4xUqyi0AyAk7DP~s>R8a@4H2Z zbzIqHyzrxbdv0ZXOqqWFk=39eCN~S7X2{z!sop##m#u`l>xCq$^lUs_Z7@>Kmx zSu~72Cq18XglXAI(sc~=aG7f0;)R;5RZOQ>@Kz!n*{;uXi-%|19|xU)8fEoXvK6=h zSVS_OyYg;EY=(Gsw*w4XHt_?orkQ`s%Vv6T0W)v35uTdlT5*W-2QNOjorg_-`x86Y zA&&A1&0qeHzKrw1QC!zLe}cqRHgo3vNDtzidnR~p-vPrj30)=NB$y{hThn|Kja zXx^X{7&E#P*kY_(U02w$F6|U~jpY(X7ZADG>Ngsw8Te4TLy2st!gFzabaX;_VX*vlz||PjD&Hr_0YxA9 zM_CrVg~t|~N1V%6`ym336wVGJ9ZLhEKrzuG5MBO{5yTJo=87WXL_>9707kGiv$Xl^ z5b5Su`T%djbDLufu=6qPbmY*@z0RvZaa44 zE)64v3=@jEjLrC_z-Kgf?N}FazP*zq9<@7^{fj6&&19W`{^yx zqNT;VoZ6GHCxlN$oXYUDK~c%R5=x`pZQ7yq?HtgmK47hXJ)>!kyjJZo0$uYXHp(MK zC;^S>X?w0okDSDiyOgcuo5_zNROQJcY8{|L4EGG2eMa0TyVMdZ(>^Xq!V?*}nLpO* z7L_uiN#6RExqiMWQnEN@D9V;c{T5+S*1*SiLF^UUvm zIO|BI`F*U(;72z2D5YzGA&wWjUB&U6!V(k#V;MR9RW&>qAo#f9AX8wkcJN!iNx0=@ z5vf}?W7Kk36|L}SVu;(Kd;$Tr{cqNYJ;rQttLS+gIw^=p?FYMJAb%k3&$evPg*Q^! zi_btD`gr?fE+2PCsv*)=X98Ad%y4(P+IG;QYpqN0(f%^s?`0<8wbhySo;- zTNZZR^g8I|_BhDA%e>C6$Asc94h8rL&$I~T+O=Xlz7Zuvp9+Q;m>|38yXE~Z$KQw= z^S7;sA{T<~nep3%{vj2N?IEYTKh)@Q|3+3a1t+lBIRrKhHt=9eO~yti5LRi; zWLHT{ULcCTmCL&?AdZ9%B@bI{lA^=hZ5F6S3sQ04K26dcOKX7H>2(hSB9xw`)q4z+ zf&mtir{9*uu+n1+(!eagm+aJEZ!DMwhyztwt@3-CgZte1Z|ubwo$am7n&rj3LuzGr zj;Ojc8J6N@B>hi&Z)=CwTanS1h1Ern4!s=%tzg=RUbonICp3xPoNsM!DAsY61+LX2 zt2B+bpLkyT-Kj*n2cVl%5jQQq+G%@Fu_*3)=MMVK+>{lcH*7`_Ym4~}i;-nf35=i6 z^gxv{ejY=&lp{;L9}40d6%3bYRtFs?;FAbV7m8& z%ISG13_Y6`o0+xWtx$5&%CK{~u~JH`?YrK?FP|7&U>I%DU3SbVh9zQVI9{q>(h`4~ z-jsg~U6*j~NT06FH++_jFOa{cEO>3kxi7yu6TV+!6)vetJFCn_8u@$BzqKTw@f3Cj ztYi;siDHO~OH9tLC(vD!0yEz>oqUPD=tO|U8WOET29o<>f@M495y@z3n6pihr^k?J zS3Qy!AVXRXZR#J8ZG>SOdBJ_n3yl{)CHm|nBuEn^hbcdOheIpNPK^&yBy(G*0>wU{ zZjY#ccRF+boynj3#LpFj>*i;SxruWl?8TTFKBY@r4_g5JESI}$;jCxlvty#IUpY%E z2{pG=52V80D@P_Xk10bdN*PV2S4{Y@FG!K~DW)@FdF=QOPQht9{W?Y8Nz7w72mkBB zLQjF<5W~s-op#Q5fkXay`&ZL9BlIQ-MauKMTm8Quu|6?b|GV9&9$YT9`xN# zjjN#0rAF|hfid$RrEg{*{4&0At8u}td3LI~HQUnTR_yFGa`PDU=gbV0URHJOc?+)E zKoHAtuQS&Bs=+NR20(kF0dB2eJ#dsu-?)70>h89POzOA+aI!gv^nNf+Xog6ebev0? zW57iVX;)xd1a_YHh*U%p6h+D_-j zC2HPHYoJW;aWj%x`>et{v;B?2&vt%=>U1{oWx{*xa>e%%y@G|YoW<|lq@{e&ZW00* zcbwIuHhyS4iOZLbb<366Pf8>f3iozlsUMwdtFJ#+tF3JRf;S`MJ4`2GBv?hA$5_T2 zm)pd8@{sjSh#UkiSX z(cyKcQ&(9(%S=gr#{+q&-Sx+%05T_l0uw*sy!c_1#X=Y2%QB`#>AS2ryrkF;adDln6m z?z^omZKDM(M_3I9L-IAohO#gpf5?2*dnbkBnV$hbLn?W*0!?UnZ)i~Hn@JT{E%lW= z4mi{#jVPpl@rGI+>3i5+I4xu8>wvss3=?Cw&2Laj?d{ALIs+6?uBTxC{-}hTbiA}U zbAtN~Td3WPW5^LwrfO3_it02D&3IEOrh^uOy}Z`*!Kl+&U!=0iIW2pmDCszy!V@8c zAe%LC$Ra|IYMH)=7)EkG_bf*wiVX^$$r~h(ydXQ#sGDo5y7v_lDNCskUN`sq=ftVI zjv6RYh5!OZkPc%9ZqvDBkUvSejyGuOg)hURQUzx1ma+HSw_dGr=?g^mw{EG3Pk&CI zXSKxS70U0YcR1CmYI)g&Haem?hCd|5nj~~$7keL!S!ei^QJmh@0T_nvsmdABRg1Og z6s7mM`u0eWE?#j3e+ltVqKWQVmyIKhRMPuFpQux|_z~q%U((@Wk^`dCOxnh28!&5E z+F!ys$b%Z4@WYw;a;%L{i;gz4+U3y2;?@{LU&va+ccw+a7pADCUxUGGIaX2zqvyY| zG4nvMk-FolYw(W@`7?JRM2fz(l29Sm!rG=o&2-Byv5@>T((fAYT(__(Rr8~NcCaDc zdHzvs&Z1d|pBnn!E(tNM;>bmZ{2^JF5<64oo(%#3{pC%h^|R*Gm@jf|Q~EBjP(3@2 zXQVBqx>6=X|LWcy#3IO-xpUiZ-3Q?qCow0>_&a^_LZt<5cxU(6EEV(=C6e=1f_n)G zk}HOHk5Je3?hRkxdCb_un_P|4_I&GIzTelp37cIcjtRo_X!@#~GO&~Oh@AE>rJW~_ zLYFY4LaiG*9n44CpUY~NZp|_aQL)nu7wT^7K>e~rE=%iOR(*m&l7ZI0*Z~*=R7z3{ z&IvQOE@hG_1t@@<;0RVI7UEz*ohvMIr_S^GND z5dV7>DbpBRkT*iNbp5q-pdvH-^QyY0jf#xee%6SeN~2_59wpvAO(N`cm;f6u390w# z=)!~D;^-4@9CcKPr`CB_lwtZTQ>`C5m$5w2EL03G2Nbm*AR^f1&WnF3q!p!5+fJ?PRir|l3+Qs*OA^L|haCj<-tE?um!Un!NX}s)`J` zGD$MokGJ82@^MY#$h`$@$l^i`=!s8Bwp51?V1W0)@eAQ_*rF6-0HK9{PV6>moLtok zXU`_2rc3Y!|L>(h6ftNPR{(uHZBZhz|8&}-LR{lp{ygw5@8Aw~*bT<3Q7*Bth7F?W zjw67$GsEopG}_9gy6Z>2V#s$;#l_RzTdRrCy$oDXKG8lj08p%}$l|CYgYYNwYEXPk z@5TJozm>FoY=cX-{}N~a^>g-wdC?L)o;<=lt;Se1t5p>jB@rVlh}mJ$m)16mQWR^X z(2>%fVgGA4hSO3Gr#Z)fkIc>ZldcOk>I@k<>b4$2FgHB_s9X&{ucVGzc~MsTkT3r%+jpu_W7sKABG? z>{Mcz53`4^F(lcsZbiVDUjpi0Pc@Y$?Kuu-hj|zx#sA=|$n~^UH2;WXr}1_%HN8KD>|?Xcmk>GN6B+yoJe|8k|mEzz4hd&bg_JlN{;JKLg}1a6`_aJ1BNP=1aL0=`5K55=$R3WZbZuY&5n@I&jjF{+%3>_maEZ z%dsL@ctm-&lSo6V9P*1s(90%zbo*9jGNq8$)NHAnqNpV{s`f@|vV?Uv|2gDYD<9~g z&FpWA%SwS%{)(S!fPYQZu*J%i=b@E!&(|2MRajgC#q^PWz{X))#IM)-S072D_QMq? zQBhu&tnz^UtMZH$s(IZ=*6Uc*cbEs+Q5x0qwqZlGvv*PN&zSiN*xOWp^}b~tfcd$N zm*n?~;^fc$q*r6z5@QxU5B_~mmA5&-OzEs@VHJO7emA8nul3;MPI4~$dqsA~4+kpe z4ew#PIh>OB5)g9fKsDhf@A*RFJl{2vcWS8c68ARYs+KXzpfz|cUzR+V;7&2YkluIk zQ;&FGnl*kZgG#gGrL$##3~z0Cz7*lXTwc7mS~FLMZIg6s#jF+raW1vVn{D4&-1Y*Y z$-xFI|7fbJaQYlr0^X^I6i&-muA5HU^7&ev#{dy@!r(}Om?fhrq`lm8;-(+deeP;Y z8>I6ufHW0D!-}^~mY(7i=mitMzgi#iQ;W+X{LDRAa_oI_E|pNx3faE{frF!teF?gT z09uS^+9ogW&$>+8jcmI4$`=-KS@1nVFZT3LO;XYUa-f1(+#9Nm$qP|~;rktcu zlYPkg^BgI({)=Y0DXI|77w3499A&we_ooTP{x(O~U7%o!5YEcf-M(rxZ{{3XLv{9X zw?aV7y9=*xSkv{ib)F7#hOg}b8Gjio^PZ4WL+?uR0DTPcA!3sfk{u90boqu+G;mmE zOoDsG*D%~HE&o7gZfMLYF5)MsRNiXm4MYn65)n@cmxG=b&B^Yl{u+EvKr#s_Ew}xq z-w*65HyxW6fXP+iKxah!93#&x``i108}y|u>V*|Dn*m0J4Ml>~EYb{d2!v<~tg)_< zgy8SPerK?3y+3Wp=(9XIcyIXt@QR-I|C0+~Op}hA<>7T$fCqIS%%i!8pz7BN^o@~H zP$X!9v0E$y^quzMCH!J?qu8Z&r*r*!kD<3Cz({J`mvCp#MOz3$6 zh(4=g=BOf4G5LeKB~25bCZ}EZq;@|F;H7&mGFBN9$J&zM2~Fee@Z;rhjMr0Ef-*vs zdZ#_D@KZHa>#=wXW)rnf_GvJNBSFqbp==lfEl5V^)J%gUl-K5N0WY{Kd-#L4RtKcI zoW;4L6}UqLHoD{~bds1FsC<&#@TQe~i@E1e-UqK7&ymkp{DMUKG<<_>0lF57j%kX7>nYAxPOEd0y)5X!JL8`Q63-;thO*t z2H830kdRfF(@kPxSrsd3`1Xy$F$4H{f9!*C!NB1srs^-X$C#n#i`z~U zW`2y-k}0=dECMn%+~XVh6eQG4!;rSZ0trv-?vHEu4TS`n(Fgw?C+}WhdsX?&YEw;`Qj*r z_=6vBRJVZC7p?FWLyqM9aQydp>fH24`Qb@ncq-kCq+v;ZnCyf5D=3WzgkX{^hGq;K)?@vkz4tA@=r-vz$e&ra~tu4s^F zlQFZ4KW8nu<$I0M{H9d=q0eA~mP7Ada>usruTzeNdULR^haR;GW}8*AaV&h2ozyJs z^mtFj#g8gifJdr7w~R)By)<+u5@5m-3Y0m8CV<#xp+?fj-k#Tr|pcbDJ>FoyTD1Ax*DC1_nvq3eEFV0Jop zy$SFVc@%#l8>b5ZvpE{)M?9@gbLWyNv#sQTw+RoI>wtKJoxK79p;q_b3r3`^3G!gH zTu|{CrQV%Bj};R12;XA3PfNJoKwzJi=R*tr!~Ij}IiH|!JV&oy!SKz&w2ZmpO;1j! z8L$at|MJ$ii`IKV>DA7Ms-Or@QQw>|y_?F@*KRyf+TJMooCl%)*{JT)_?g6gyaEI) zMvi$07hE?TFcIH)dG*{Cq#m8$kM0=fj#6iFlf7O~G)2E_r-sBpJprU=lKmPCH>}g0 z>j3or@G0mz#d<+t-sbT%6#5z^kZDM9X@e)z2SjprG`#NSa`;2qMqGR?H9SFTmUR7B zbEK{$18ImMvw5$Vm<)n%LEoJxW~;r5T-2DH=}Y}EyhN|7^B3>9$3rRDvKb+- z(d(~8tbLwWjmp&|r4pmEwWQABbMC7mP>E+KMx_GiPBVseJ9pamXTd4UGxR#Egxz_| zIL~Cx*X`Xp1NZ!#L;k1L+v32qkcIw*6r=>Nv48rcnSWZQ zK8u?q_oK2RuZ(|10i=8M|Dt#nr3bmNiGOg&58+wOtILO|!iJs3`mo-I@dj$Df1V}X zWkOlzIeDQB-9cE%EyTlWq!`|<6Kb1O-3BX}$JnYjFfJT7mioTa>&|$go3xcj zOA?9ac%yon6Y`maz`(lgGs#dIDw*P!rF^%t``@v{v1#p$X7orbMQX2(_zPevCD_lZZY`Qg1`qVJMdoFHg}? z0lB$SbUsBiLS@*DbdbiWzlz8Y7>V`~S!kWuIDOR;!8Et8Sa{2djdd-Wiv9R}@le9-=PJ7d3u&p5LunH?F5s#5 z8(}Zg4~$|bY!`3LBQNKKp@d!!c*p~XQkg41OS6W;T^bfi1t=!StaF#hqmd#6+F0$e zEwI1um>2(sm6@01iOhEWCk zYrv8ii@m(08(QM=FHss_*mZx`!EmLIC~JeDKx!yxjL)wx1iaao@v$8ZrnWX!)LK35sf;I<9G>PD70r2?vQ{TVCV@RBifeHVB@blf-#x%(cMK50?d_`HRCt|xfd5nh5v@aLp zke&}ut+W9Tzba(Jwgq=ti5F=CzH;&*IY?N(LxADv(-#+9E~LB#che?5G^@9c7DP1| z>zD-a@+u~|=UUBktDOwU_eaTmiyOuauwLro{_FMl96G2OQM6mVz)Qe_mb*1hpRg6s zC=(Ffw`uluyI}Gg;UueO0DK$UvmBr;7lAyX6!-X17^R3+a>qyH86N6lfnTRFzxsQ| z7J8n&3`;qynr-4S^v752=&48{#Ovmh-hKRfaxmd!f8|lbRL+j2k)OZ(AOK8#c_wbd z{=hWntd#KmoCY}8PH+DvIq)*leKF(|I?{NvOV7HR*|1jl3$j50tIAs97kch2lX-#f zsS}oiwx2mj<`BUL1%e_`0`$twH!HC+Vy6(0=NNolvZhy_yliv=Fo8h^VaQOq9x9W6RNyn&nsMKSFI7f2MlH#izwsJx2H5 z!}V~V>d;9sI{s{0Gv3|V4Q7gFI^PnkzFRgoN)N2n9SE1J%e~mO8rYP;B>kKMfP=V+ z;m0n=Nj#ZL2tdmviAV>fFHxhtM|VYA7*sDeiTA$dF4ryX-67m-hw}X z)lgX z9xFFsR@vRNt-JsSt^pO&BKQG}zLSm#Gy##lOy^=CbN~y9EB>ltZ!Mrx+W1_Pdr<S>mKe!v7vzRC|j1F2~M_RY9g^0#G z8UgFt7Q?)_=?a3Xj27P6X0CsnSMZ7E=L?nd22>n(F>P{)uawJJ+6gckDvqv= zZYY=8+)aW;OARIOH(!69OpS^{yaA%<>_%g)sTUpn6+rJ~c3(m1?6vL)G06b~34uy3Bt@(2#0?TfW3nLy^ zj={cRpc=v&)$Ly?!n+lu090(IcNz7Fgr^Uh0*gx*g8iY1LSbS=M1s`;!f>WLcuz}p z&FaK(5#Qg%>hcyt&NnvXbOq$Bmyq}Jz$mtfiT#Fe1ADl`wJF6a_Ryy40lU*J;V*)yr6Jxssf1U?fR>w$!15^7H}fDj(quQ z>jCdeF)hDj#*au{1^56WcGQvmfg&cW{-pmWQ0Lv4O(uiX^BtA~}`h-X}8W)8)tMyV%{Yu^nqUonzBB0YV3^a|3!8)c-sbt3j? zL!>=<=9K&;INUN`e0bDOTD>k)ShrVj6=_rQ_#C6iYJe$qf_h&@iy$w6`$ zrIq>wLK7-X4rUqrw}{+{aWvRTDY6MZd8Nu$GW3t&96(7`zbi++)5E4|&t;k4z!B1o z`5p^Eoly!b2FkO=L^VO_frkSyiIGN&h@BVObNKcoG&w7V5^I<7+lj`?Gy>~{C5+f7^-e;_gz0Kfq z^jj&$=yrJTvZQ{G1Hmrt8p<|*c!s|U+Jy8X4Yd)tpieL*p_|nl#{%~-lAu{(i(d~H zj%`gv2YD%eGxIG)0)kf>X%0xR;1E4>hN%q{|B$-lN(rVXU;9`frgq4pl9oK6(1e0) z14q^iM&G7UFXA|ZQbTyvEuTZJWJ@f;zvaChB+j3E{yknC;d}U9GH5w6sYoTMD!s;$ zWVOA2@id+8;278u@)=)dA*NvXD}tNU=u&9pPFHxyO9I}`KaS}FdJA}A%%+s5h(=at zc+G*i`Xg`Dhd%n|1+&K7%!iss7?lMe-S-6KnNR?>bklqn`^Q7_^*`VpIQl=`Nh^ zALwB2_GB~V&-)$56tFnZ3Eb9oNd0E;h2sOc2|=skU6ovrI2~RggjDPoR3C)|yCZQa zbuuQW5XXt;A|TR_nBGo4+a_-B$pCI982Nt6X~IW3z#Q`07@j+#t={jSQPktwgKgsn z^&VDwaSwDh4%QLIl+;E(m%GGUS5xXgD6P17GBteg#9Bhvm&m3MAnJ?YfPkrEtLC)` z4&DP$*e9eTGpevRohL7hx+JP%JwD&S+5SI1_5ZmL6smQF#+4@gCm!>WL|o>0r5SW` z9J8>ni7682f?;7Pyydl>dCw&Lhfdi~O}me<^ePw5*vK-`Yc5HF4R2I5G4M7F0PXoQ zVvS{=?i`a|9l(U*N}{$=qCax!7B`8@0h8hIXScL)iJK!^NRsO+F(?CZO53j%@QVZ- zs@#y{klk&!{P}4DF7s%Y5KUriL$#6}%#I|JSewbTd%vTf#C!(a$gzaxpujZqbAVb( zXh~fUoJnWRwGTwBZa2s^MCDfZ0t$`oDxRWpmknL|e}ZQ2;}GBBK#9ymbBW7GUe|tv zIG>0nL;~s4VUFzH!7bjOZukl zorrO$EPV0UGe2)>@${|npO6QS-AAj%JvA!cOe5TL*Wlub;UEmnn=9$F1MFyvcCfeJ zGt8BPOVpG@E+vFbbnXpw9|0wR1NFy`;E)#qt+zC+g$+a(CJ=L`Jm*RIMPJrh6vjHh zT2vJJSLw6lRJ02#wy)hmfvfcP)Oah@**4cA1C=CjP=!kJNIA~&$#TPt|M5LO! zT9%g-7VCQIgIxuUzxa0NigOw(53MA?sKo>Bo^`X3B`^^L;THP&2l`5$kdSJ>b z?)dgwFce(Wv&{JT341Nb5XBKdOgm6$9_EaN{0aMf2r-8)u*(u+PDIC82A5w#mI63E zx;>0N$ONxQYOOs<;Y2c1T!uE)t512)p79k2kxEkR#0Zj09&U9LYE?;%NKQ}7!`MI$ z4p~}f_H^KLB9GDwh?}WD{LCxU8n$1TX8bcpa!ZdHkTu+UL*cI?=v<&8Z z#@-Gix^hQR9|9<-#WoploN?PYhUoXquq;9!Xn`vgat=xDT%XYX83EzhHttwcqL(l} zlX;nTHli%59#!sae#*5)-p2K?=du_MDa4wp7`fgylB}u5h(YzN+VjT>J%GVDob~V^ zVar;*X!mV8!_~R?iv9DpE95wie=LbCInajE*A=(r2LeCeUmEzc1SR=y_~u--C^fuM zUs^CNMS0+lDZMp$b@@%=zu8z4FL^<)h&0^Tfp9k%@%6mE18kZVgyHG!D1w?#vJ2GS5*{j zzy#u%%wL4F@mU9DvfI0P98bytvJ=E-QosK8p3PU-khveA31C_v{y) z7hR$kxU7)|5nrcVI?rTRlJe15f0E0d-bvP9@iek?`$-PEYxfv#FNG`IbSCb2aZElK z-L8FtbyXmV;BTk`KFOScPk{{qxbtP=^;8EZK}sizy|)WJND_`F*ENnlCT~pS zL?<*Ou)w)7$SfP6CDl@;RRHe8HTA*x3|uTw)AHA;YXdAuj>_kq zV)wZ10zq}SPNwXG|Hv;*$ceoiGcB1jmN%gXCs369f#M&b{V2xstSduSng*AYeM0W4D)y71H(c_X7Y(kg> zu=Se7hHDvcF#oShWspkIcOGEY_rs3Cv}AB90-qQ(kWw8R>WKIBgy55>)pgzb7Q?PU zqlePA({5G1zz%TnK@;18@j}!s=iuPMp5{G@9-(JF?t~xBg?^x`b)NWRY`m;C88Poz z4IJ|#_Za1lFYEnXSb?EEUCfH>PmPC;B&-qjy3$xRnEK>tC`w{}4c`VwkO!A)vl@nn!Px_8c zQi0kOzX?>-IrzFwJ-h5st4B8_gKR(B&w9f9gqI)^${*=Oo38*Ct!?f+w1Qe|mr(U- z6*wuhjg;!&>HuOm_X7-p9fm{ZXaJ7+>t`hJ?9sBk^mX{h1|ytg=od`Zz;*C1_4K`B zGlMNO(v{9=g0{hY#Fn?x-@DU>{h}6mvb$Kbm;e? z|1+fl zeZVDU-7npIL||+i)E1Q`G5q^(?`(1E##+D{z%V34yytjM)U1=+i4Cu5_OtWaCS(Q| zWo85MnXlIGZL8Re9XJbbRsCtS#*e?wUS>^BnOLTI%Av8wkLBy#OFVitex#9_Q6Nr4 zHQX9kuldZmud#;cgrvcM@Clg;{roNXDKNbs{~LWmbj6pYE)r|)4{?U#)bLqD|+JKeC^&)UV@La?|+^E?0kS@0}^uZOz_<&X+VNh(P2%fmf^ zQOTnd<%O*03+{X74rtb#iXf4(W%U38CX8n(`F@9>)b#KDumu zS?-*6&Vd&Ifb9H(jHDLM=Vet|P4^T&w0u&Rev6x$Dja>d8=2E)keXe2mBcgXc^(Et zf7vBj(YSjFE_A6wOqNn{Xf6`?v$I;9 zyn0eJI3vo?!jc4T!pSf}BND+LT(|J_BqSX`20xN|jR}uWW{}mU=#)|idxoeeatH7k z`QAC(e}lmz>mFc&wKaiheuyqYzHx`WS{-)n7>;}ykbrZCW3#Y=@X#SH%YFT%>E{nQ zSexaJvxXaEW+Vj;YBI7lM~{jeDy{f_1EV}-nZBu$LDLu8lE>vrx5vrA}UMBU=QiU>cZ&M&0hIPy0w z#CIS6P!G-#wfgPnZq7UOk7R|>EcWvsz7!dl1)$Ul|FFAXBhf^I+fdG=0E#Fp>&~fQ zPoOumSUi=dYW}MOUpA?(-&l~z8@!ube=JKPUjzY+dlU@*Cntexa=v9AC&TIfN4=dL+y= zAfor7*o+vXXy6gk>{a0{0V>HNJV}f;^O(C#nKhozBqNJAB<^nL&FcLNDYV|)%63F4 zo&U%?b{8M5^OV1*3UQ{0z(XY5QMqYfVQk34f80QT!qD9J6QK2{|iA~Oe6i1DBoZjkt`2AHQcPMn~JrM1eZf-kkCsHrr9{Q z#fL*SAOgL90b8Xq-#JN#+&up&$DOmnKRIaYi&-ka-BRkL0_}F+H--Q zJpY7rydTcAdQaz=M>S+kHzjH3nWw>+X{Ec#}R#rr#c_iVX9X1a-_D7FQRz$X zx6cinY0>fsPh6{_X$VCW?a7usd{)OBH+B{{MdI_G)RgAEcISGY;??6^|E-D~j&kD$ zg$#gS`!_H!WLfR5Xj+&V_!*P({)DB^Pgo*GH=fIW?CfX5`jM}A5Wv5^Og^HNl+WDm z$ca!){C2^4Q|+37<>Bv1PvV;a%wk&vs^ZNz*^$8EOlUtwI5YgQ1o@U8%L4y0mv?>2oxdmUDyV}EBP2L=JV{2320 z+Rj(|wf%9N*+d*|W{C#&(8PuEd|564iWk0901UB) z0f<}-Y67ceN4uNoRqp zsc-{~HjWcf`mmqh7u0%_`G7~9L(Jv!!sJ}ma29~eQ;iC6{6`82LJ7`78{hgGvaVG= znJGt~k~hOEO34E1yIg)zO|lIkfKDR$(;df2wz+3^rJ8nareynC>2`)5l*f*cbj~HV z8oFv!mm4;DC3;anzPgq#c`4RE>Er1MP4lbBhf;eYBU*#*<1vc>HslI*0@8&G&79N$ z8d1S#`wI?}6BNuV^g)%T9T{4!`Db;xQOI0Gw(zo_VBw`n*6YwQzWxtbRA7TlA$F2f zr)HD{uXjEX&Zjx=FhJLNe#B6*L||hUqHObT*lFpp_7Pke^Qey0q>R zj>U$aH^g;e5IUK(;)DTEIpkVs*Y)*!l*{`J!8{ zy@l9gosW*;FrA>dA|adx_8XqnbRrCkdfvn^by43Ab#isA&Y%8xvHX@%ujG?s?Pvx{ z=6mH5X%XCa^?R|z-UK0V`8y}3jX}*9S22eQ@&Fu-7I-2R|Cl1`PQ3)@dFnbTneJ_< zK_ZQ_?Xvo8IEt@zbT6>Y{r(6Q!CZtYgNrpm;%du~TZBQ<@*IafymR?9(y2rLbqyj; zj@j64?)aYcm14$dZug~44;GKGM3!ROgV=O>{6!(9FBN@93%;@c4u}7Im%8xf;Z&`W z$|=B6ij_IbZc9*KE!?jUG|x$goS`kj+qBd+3K8dQn5JVATjZ|;6V1-fip z;-x_I-#}AW>^ZZgB%Zx+#mMp`e;sF~pOA|Bwq^l2Px4*|18NmQ^+lZP`$BiTeUnv=_tZ zA>PuY|H?nk>mJXr9CKiuX`oSyMuB1Fy5?9CHlvyP?|jx=loLb`M@`k z-v>YwVwu-V35Xa|_v*t-Q}IzjGEl0nhd=}(-q9RN)``}>^)u!d$WTzJcq6&5elG`L z_)b*}xF~f#%}W4f@>R=7cCSe|PuLNEPlX}~cbrGCFwR!6IA;^St%<7e*1s#*#P;w* zBO|6Z7?~PU#Om2tGXgO%)thj}Px?=-G*gAmi%Z!&2?33%BOEu+Mf<2!SP1`x@5)F> zJoI!tR&g%Xu?OxW=FB~C-1i}>pmSk-DghDU#m@N91UWuRB4f>%WV99zFn;Vexqm#= zg8AiMxu%g&0RlSMTwdMvx6`FBrtQiL;=&ULiL-1H1nB8(V_;Rf%L_Hh3=BC3(o7Zl?s~wz z{c=4yD=>x{`8%)QI&Y#8*}L-LR&hy@w}I^25oYGtike@NoC z=o$5#hD9Axje-ZgH1iyV&YG0*Qa-s?Gr`9+(1zT?=Dh|`OOz6&L_X$xjhEo2*=MsV zk!sz(Wc_WG-ocYnsM`s=G&Vo_LS=zHtv3#eZ>Xbbyp z?9nV20|_GKjH^viw0U*XpAi^OmmdTDLGsmn;fcst{Z%{Gj|pS)U&EEL@5kBu9dD=~ z!iAAe))y3=QpCK3fDRuxO*V}xhlvGc(Uf6g|FjR2PGT|tXVpGKwZ7Cqyu7fYa57r! zcRIzFVrb7d)dFve)rm??93YD864x`P>+a^#XzMkAGCREi3lS}kfn`4KZ3E7{rZiFc z+buEk{2lG2`yb?n*y!JjAV;o>2CEP-o;^E-GR%iB_@jy>P+D?PXQEcJz}VDt zIK=Yz*CHs=?Xuzw=l01yU`x!=)#Kr+b`#=w+^~EBzI1xRQpiR4j-OPGr0fqv z_2`!UXo{YP+vEu_r|TznT)blQ8nHAXgbiosWXRaY zptkJHYVN9(OOhe;)qo$(c6Z40Iqz`6`)-SZ7n6AmIOWx4uH+wdJ>EO6pp@ehjO!Iw zPF2lu~;xVeDjdx8^&EOqIh zA_y`~a_mlo;eu+reur}aUcrZgZi;bI?iS!ex2l$71LtZZ2RC)ahg3F4V9B&yesSfx zLl&sJYO20h8vd-KEY%Q2igAquFZTGn;UKdFDb98a^*Vm6qr&fFnK7CbeAp5K@l+OD zr*CDS584r~#;V^-$ur=6K6e+9t)nb`*J^GtVLnG`!+hpF?~Qt{MWxm%`yv4R%_hh$ z5f47Ec6V@9Ed-iH&6cXU`jPO%FAo?f0qp`HiR% zV?Ywu=C3*w(Pd9IrlGqWWDs_nT%W3!!&H6M1|PlgJ}8`{1t7jP`Y$BQaLes-dDa2P z)Y)xN{4Se+wx$3F$>i4Q5$SV1N5*KPR95!6W`r;iAS)3sT~(Z6sZYb!T&E8MXQlwL zz`&heNVjI!%OA@^|EtFR=d7qZS4IXw%t~c@pVRuTe8IDP zn>^O?L)aL}8CCsSnL>PVf;SmCJ~#n1gC5brYmHKbzQNk%&&$OedOlQX5VZt@Y80wP zEi4wYUzq_=$oj&i#CP^piqdUgE9COS9k}u0S}^&W&%fd(&5&Uo3xBL0IRM*05?}vZ zNu`%3Z^#(qf2SwK8TC2&3vI>ofbL(>#x#(Ts&?YdTWc=%KK^7d1JgnJ7@}^zSq{xH z6QDI>s5!aSl`JoG0$`A`Ec3)*2q)7o1l2P8$H!yM0w2b5tiD=rpCM3&*QnByzH=@^ zy|bzr_(Q{|3v%WPGGF4*ddA`dLLah?fj(E)-7hnWtELwxi?;I|p6;AvNS*1@Z!g*< zNq>ZT^Zf0FDOqagT7&hdn&0;BG`(-`rvqyATBdkF&*Jsa{cDxz(xVTAth2APd0v{d zQu<9^g77`)!J}{J>+9CK2_MtOzCP@yl%VImIPag={Nkq_CfBKx{P&*5{Jl5XnA)sx z)lmolytQ1so`c15Fs)lAEJqK1$JFw9doPhSl>N*ft#5i~E*k{;ot*E=U(T;$WN``J zZJX9vs`{{qolwb~pP+>P7MG9oK>@|?TAM9P5q!cf`pyV+h0(^yrfzXtliWlylVjnm zt&!`Q#F8k+zhxDYC+_Ly5EBn=jBRevze>u81_iVc)mDZBEvk$ahVfaoeh@MZos8 zJPg(th@JQ?hK!~YY#{eg!{9($jCu<^M%vs(_A&9-(WDKbj%ZgB?^KF-E6I=QR36lm z9LrD@{1314ZC#ooUUs?x?WFd07<&4t_iqif_bN6r0Ht857N1$(8hTdjjqmA-^O(&H zF_>32uvXA&)`b+&3)&siO?&k%xMP~cGEiS-HazciZ9Ee_NSjM}AFIrxd`XT#?(t3ZE#RsbO;-2 zK`>k-ZP7m1(FKOUr!rXpTQQgV3FeW^QIa3`(=q)6C9%PVnCXA%3;X9G_mtd=4{+|H z^=w+Rz@X*O6zID=wR)XKxvU696^$3AK%Qf7D*%Jo@{R=21`^?WOzP*UM#_c{c?yaRTF4oy}*^G)v(^9b1Ne)^NR6W6#X6fP)<>xKhK zz-=EuEw|>dLm6lbI6l{uyQ)cuU_AZ6f{d>SRWIivxu3{Dn4LP{)NLIJ7QaS4bD?PAHQ4|PNX=B8H6 zUUYAe>w3=-5s?h z9t>kQ<7ZK>@aO9<1&*}Ap#hP&aXfQVgC(JuaF?_}XGNPLy0541Zol4o_`7KMBIv}!&4U|)k{KZvm|@y>@=DYL+m%mt(-19}PygZ(=+ z3$LlnFqZG#lT0&dj}z%BIqugRZ%idX+GJRRM?uTrYge+Y{6RzXQo%NC)b}t^x62d2 z1|f1Hf|{Z?N>$)Rl|~rc?l$gN$PLaKhCS4~&kL0C zM+ZT`tsU^cZT`3dRp#q|%8#R#7RXM!d?+rdCbOwVq-^HMOKaC?@Z z1y`JgJ_~wwdYM9vaw@q(AoaT!Ok2120rh^idpRNz>>t3;1PE+{+54Up`Pu*B`2U1O zk>&{I4=6^QB3sqB$?@ws^`zQP&gBZM4685PR}j?(XvhH9(e6H#^Mneh)cVkv7T_B3 z0(>>kv#5G~r2@`tZ-YfX{}Hz-1iosmPy(}0jDfU5jdS32g6ap57D-yF)@}dgZ~g$C zzLUjdGXla5L>!^}H{MVxDctD(3c$o($Dg1Tum|mdLizFI`v$A|x1ly6N%*}oF^O5m zLi#e$lFfHji(? zYL7K7vlVx!jXBUF>~wkSEV2+Oy_E>y*?mn% zhdmPE=Lzb_HsA(z(w0JG^$MdxCoY07fsCPN5EmA%O({`w{wS}1YhE~d-}Ad(j6hET zAsD@7;goN9&t;#Iz{^ive+#MypYz6=Dd$p}H>bx&!+e9a2A3aBy`<#_#A3`v3y@(V zHzBgeBR~fent7`3`pic+lRC9qHK+de?x?BmXN7Hjhp1jzi<(EvdSB&n(vYW9rjv5X zVA`fx1H>51v*B|=h!@@l%C0mu18~67R*dW@N9`$J!2n;1SKe#f>$kdfb{xfl#3k_9 z>50-IG6A7_+Og!sYKT&W?L?;n>o*rLCUPDe5%KA zDT5+4X=3|cw^H3F(itp3q`0VS{S;32&YvVr=@&6x&cZ0_!$IqIjP;EiLOHb>nX2})%kbeQDGz2&R diff --git a/source-code/Pseudocode/label-correction/label-correction.tex b/source-code/Pseudocode/label-correction/label-correction.tex index 8c2c86e..dfb27db 100644 --- a/source-code/Pseudocode/label-correction/label-correction.tex +++ b/source-code/Pseudocode/label-correction/label-correction.tex @@ -20,12 +20,12 @@ \begin{algorithmic} \Require \Statex Graph $G = (V, E)$ - \Statex Weight from node $i$ to node $j$: $g_{ij}$ + \Statex Weight from node $i$ to node $j$: $g_{ij} \in \mathbb{R}_0^+$ \Statex Starting node $s \in V$ \Statex End node $t \in V$ \Statex Lower bound to get from node $j$ to $t$: $h_j$ (default: $h_j = 0$) \Statex Upper bound to get from node $j$ to $t$: $m_j$ (default: $m_j = \infty$) - \Procedure{LabelCorrection}{$G$, $s$, $t$, $h_j$} + \Procedure{LabelCorrection}{$G$, $s$, $t$, $h$, $m$} \State $d_s \gets 0$ \State $d_i \gets \infty \quad \forall i \neq s$ \Comment{Distance of node $i$ from $s$} \State $u \gets \infty$ \Comment{Distance from $s$ to $t$} @@ -33,10 +33,7 @@ \While{$K$ is not empty} \State $v \gets K.pop()$ \For{child $c$ of $v$} - \If{$d_c + m_j < u$} - \State $u \gets d_j + m_j$ - \EndIf - \If{$d_v + g_{vc} + h_j < \min(d_c, u)$} + \If{$d_v + g_{vc} + h_c < \min(d_c, u)$} \State $d_c \gets d_v + g_{vc}$ \State $c.parent \gets v$ \If{$c \neq t$ and $c \notin K$} @@ -46,6 +43,9 @@ \State $u \gets d_v + g_{vt}$ \EndIf \EndIf + \If{$d_c + m_c < u$} + \State $u \gets d_c + m_c$ + \EndIf \EndFor \EndWhile \EndProcedure