From 61f18a8b027ab07d979886dd351eb57124830cae Mon Sep 17 00:00:00 2001 From: Jonathan Salwan Date: Thu, 28 Jun 2018 09:36:12 +0200 Subject: [PATCH] Update doc --- README.md | 10 ++-------- misc/tigress_challenges.png | Bin 0 -> 46966 bytes 2 files changed, 2 insertions(+), 8 deletions(-) create mode 100644 misc/tigress_challenges.png diff --git a/README.md b/README.md index 5ba19d1..08e2e04 100644 --- a/README.md +++ b/README.md @@ -130,15 +130,9 @@ $ ./scripts/testing_equality.py ./tigress-challenges/tigress-0-challenge-0 ./deo Basically, this script runs the obfuscated and the deobfuscated binaries with random inputs and checks if they have the same output results. -# Regarding the Tigress challenge, what did we solve? +# Regarding the Tigress challenge, what are results? -We fully solved these following Tigress challenges: - -* **0000**: 0,1,2,4 -* **0001**: 0,1,2,3,4 -* **0002**: 1,2,3,4 -* **0003**: 0,1,2,3,4 -* **0004**: 0,1,2,3,4 +![Tigress results](misc/tigress_challenges.png) # Testing our approach on others binaries diff --git a/misc/tigress_challenges.png b/misc/tigress_challenges.png new file mode 100644 index 0000000000000000000000000000000000000000..34b48dcef9c0f794bf7322e893187f40f8f49e85 GIT binary patch literal 46966 zcmbrmbzD?i8#au`LFx%lVTO`!>CU0^ zU3kuu-+7-u-Vc8=%-+iEz1F?%`?{|CTH9YiP6GEf`E4vLEL_Q#FeNOkt7t5&D-O5* z07tk!`dkGsH}s_?U|1KIe-dlcL%|X3w=Xqpv9NFmFaKV_ijKVx4&Jnrloh)4-xAQZn}|MTRt5Zue7|8+94?Z)NN zzdyNjr=D^%q}_lL&zEW&HE#nYl_1Abkjs&$wW*BdE@URUJ$Oe4EAhghZP8qn#~g0J z#Ke>!;z>P5j`a>Tk4GaMJMm;=yfReQo(Jn$r9JpjDx8H_-C%5Zc+06q*!{TR^&4Vh zVk%*`3W;Fqg@uJBeyqe0wR{~R=bevxdYW2VycWX>Db~#L4g(v#flUZ6eJexnaUk^9*~fbED2#H65!wjUNkftQR21!{P~rNFQIi7 z852`XM}qbErEq_aQ48bcTx0dH{WWCFMOQB0D;WGf{MVph{q0Gt{~YYU{%0bWFwd1R z$wws8^k3!o9|%viw20H+12?zrB&emO6^gSpkgbM|jSW*SHj?G#E&p0v5}e&nF5@D4 z1iGD*jSn6 z$xI+Sm;_N6eB;D@dS@PW<;s=RpHL9H(^tVgQ)v|$v|}!?Z{4DW7#kbUhn<}q5cW2B zCc9oE!K1h8lqi|H2W zroEp3ind^m3B3Hm!Hj}g@N*K3&(BA+8_xXxVo}Q*&(YvClCrY0dik==>n1)N4j2D) z|Hte$gpRHf4ho1P*;~+rQ7r8&tJZLX=hgw8roN&*BH%ZnjE_~(;VpM z=lAW~x8&qx7L}~srQQ^kY}FNn4)ONJRK19>aNTpS821qcz{_&MY7k{)PzmQ(B9o$AB$}7?~>eY5bDv}nI`P_&lFZR^E69WUTLNE=V#3to*$Fyx+&T?&Axpa z5)$&~EoDT6h1o6jJQ(z?^t?C^3nOx9vH@{x+#R2^N)GN7)-WWzNMYL`(KYn5%yP`e z#)iuUC%}Seg!t=Q*WINbYe%*VXg-Iv;l$@&VVPOVA+oSivjK8$v;JQ{yohg$y?#w= zOKo_vzwUalVYnmai$@hz*E;>y&t$$MygOc~+HUz?=r!I!cQo@AllO}Uq3v#NZhp*@YHZK#CuOu#=_@~zk z9rHWgA{VDAVr9>0o%U9UIp=#*BxE{n;o!VUi{-bMI@%rwu^lzk=!0ABvX`aIA}c8= zDJ}gbLRsjbamP>N@MN=IjcI!4$Sp~sO=fv0pN0UWI_=6VI*HFUZbx5_!jI5h4Gk~i zAX@e{9ra+f#3PaIk9uld9U)norCI!A8ZqnG%teX@UU;^3lJsutwspOXZnC`OOW)dB zxJMFQt*xy=zV_2Bx5_>Jo~>Q&fKMZQ`gYo7Z{;ETtyhyX?jR>bMcrT6;V_c2v$F$v z*3I30c6QcrZMg7FD;_IrHb^)4luzIGBtCZ&t_OLCWg+4?WpHp19SB0n9oQYm)k+b^o!51I`}VaC=a>{r zcvf*-=}7!i3sxc~7I6=|{)0`O9-&7NIXBm+Nh0BJj=}@d0V3_aI{)LBSDa`JbLtqnfa;n&Rlya)4|3B1sPeU3lu}9 z(JrzwH%Cu&JKXnNs@ie0&h@|w+^S}oMW!42RXc@5lz+$l#jd#O*FXNKgj-o!Qr*A5 zw6Q@=Osulf?H;h=BtrQhEGFz|)$npbr$;})!pca%$U>&o6uNjV8jL6XV)KoiKGH13 zr>8SvlIKi6jg=!j?euJIZRgGL@$na$=TVV?7nUG#p#PYjo_>*Z8H>e6o%(q}0$>$@ zEQ*TNy64-t{4*5?Lo-?9{EDwOBf|u|WmU~F=}VIp7Z*o{v@|t=l`RjAyf|LX2PrRI zE>2%qQ-xD2oGd?LOarx!jg>eSi};DHi;6{TfkYDwp&0%?FfcGRmEiZ{#f#50B2c2+ zk?gu2=ch-(P&fxKH)1mOXk(-^hL=-f9eh-VYOW^utv~zv@TvIcW@q1+njY;g_jSby zfO&MdS3(CVg&)1W!%y85+EJ+0^|5jW#0SNeR0ZaiU>bRtoSfWk zZwLcJGaCKLFH1G|xDj9E@j>F_qT=F#$`QC2SZk9drhUQZ_V#7AmE}xT{8nyFLBWZQ zmtm@V5{oFors12SK44dQoKkQ@{IPrkc-{(=T|s+LCpYVyu>E#y3TO zuWp}jDvD6prtUn@;`5AW$G_S1~+Ca1cR~!$sa&Hw!O~8 ztm$Ql!ULo3__JR>uHyOHg46`Sppg5q-B6x3TI|hAjW+Gwu+y?!B@0W-RgkahDruU> zU3E5IvpssWGLW6#xu8UqzyCW|Vkso?O_lr}r2;UAx(NyfqTW$Y-n4*1M0C4ZP1jw8 za@S6@%;Jw++0gAT8uJL3U!T+-yLpX z%|R>-EDV05Evm~UT}W4UwTu&smh=kGj_2L@(7yxVf1%002jG8?&ZSP|J#(wzP^RSJ zVRhjI%drRS>>weGjg1xO4@}m&E-o##)iJU%GkK0I z)73m#hVi6yWDC;_z)V;2;`Vnb~%N^;g-O@8e$d_Vz+Tn3whwZ z|C+tOJ&E-{IR^2kVA;gF*jP&M7XSc*7?$p20TU>d3NtV^W+Dj;311=jh7I_!QzSEhQCjY|X&H0I>AS9}Xu6n?okW_lpUc)?@+<5@PCRx-MFFf`f)GEM+?kWPfBSn>#AmplgbUa>ZyK)*1$c5v^_z{32 zfJ8S=H#IfcE&pVILO)+mdh+wD0tNO%F9hvI$~>xu~AUFKxu_v+fY zkxBQ211xawkaPK==I`}xOjJwDO@Rf`zL9)7{K3@2&_=K7I;Xa`SRjdivpy43`p1tS zo0`B>NEE8qyq$hQ@-a<;8IOv;KS!fDK-j3q7Jkp4{^`>wzYiZiaBy&dA_bJZLFM~Kulb`h_-~!b^*YZMUZkp>|2-> zg@uKINd##`F7_$N8oh&q4*eO5F#1ST=-00@yj+>e07=z@lhyzcMMOk^+HJqm{~&oN zUpK}j^dXyW-Rbe(DyWeEx9jJ0+Iqe4dg=T7tLQM0krx`net6xCtl3LaN|nN;;8CVF z0+>5DG4cEOc#R<{f@LrvB7%|Vwtw5uP$W{R+QAai0amiCEcbGc-%I*?BV%JAmZSM_ zzkgx=WO(DrL=T9Kmd{kxRulXSMU}Iy!C=-16@eZgQ`>$Y zkl$zl$2=r*1O#Qs_;*_EUIjiH?E3Mf2h%a|P_oCPJ-z1)!lQ@%zT~j} zGD|H(wbxJzv)<(En0UMAyoa|xc9T9?UoXtIcCSVFPGc!fb59wl}*HRYw07w*r z0lJ&1S;`{tA{+2&kWxYJ@jPBm2U)c!u{|Ilzz3ItF?WWD?bE;()G`{z~3NjAdw z>hdnXNpk%eq@Bayqa^Ir^5B3L(IsDs4vHXeN8zgquicJ>YJZhVl~FSp%8Ogs3vAY3 zxNbZ4yq%QTomf%KR~!~Z!CO{XsHYJc{xv#!G)dGK;6fx4nX6IkLzN_%srOWWf7{9soO5;}yMtni?9uzGv-ze-x-V5m0S2 zD=VO@O7GxePbo*E-(k~;m9^9zudps)ueNxE~<; zU|l5$I&&1Ow|=IoKiLp4;Oo&+<9ZErrXfZydN)Edj;oAru?@XZNTdeHhc84$5#trx zD+8>Mm7XN8n3ypMQY)ZE+1c%anf3?O^;e^-rg3L<>ghc?Fg$=M0mNLWo>L>q_vA^4 zUruhWkf5LpKUWzK83rOGbQZ{7_flG#lb2V-Zs{%t#`Fq*9S|#4wLBR)Ih`^KGF#3F zIFw!GW)uugcDaE6dBI@$IlH(pGBFW` z06+)IpGYaa?e<;Urx^>DHvy^Sx1ND%YDW9|-t=t*>}S@d(&gks@@-r&_xo!job%-> z>r?f*$hZDWKn4W)m!r1_kf=2IggTSnqa~(| zg0bO>nMw?di~FlX_{K%gyEXnCPs)Ghm)YpGonLRC0;Z;~bFeZX-Hh80>H%1&jDQQF z7CK|Hi+8?%{|HaJi;MH~d;$WSqot_s?%?Z5g{AFs@q(EN?6`xTCKymZxy>WM zEy~H^Vfx1yq$3{b)ZEu5__Ad`@aGai5&T*39#ki%xikEW=e&$l%H)DT^Z{yjaeC{U z29~IWMGhRA|0-RM&&nt0^Jfx&7*P7wD7FAp?*-Ggz=+M`e7tKaCDjqB>tXuwLJQy+ zIGi#Pm8)G1)SaH)b&wNq?%e5bth_5EEhks!xTynD^{}@7pM)lXis?{3UT}GRy%Ub; zNQ-4Bx-B33H0hYof$$PwBM|w%HyxJ%b@&l4Z^?xbWf8o&o4K@E0hyJ~sectyJ zu zZenQIS+~IyB2_{8`Mb>bq6(th-WAU*3=PF72g7N8LcBkKlBcfjLF89uw>-130N@!{ z7dN02g4FDfAAg|=UjnkP(2DYOA#|}$x}6#NRV7yu>0T?ipc?Bc%WKP8Mx25~6v6mr zR!Xyr^4n)N8C16&O3RGLdM&JsJoZ;9^#y>u1lIFY0fA!L2!Jp(R5=_oEV_$$Scr%j zTWV}_r@QMmB14XcJH$6;Hkyhm0#cg`d)aGNRA#q^9U7L_QFi{r4Vju$`+F_lS{J#6 z95b!0+he;kG{bRI-zl>&Km?ey_Nf>aZ)3iBi-pIo4-cXEC_m?V1%>A_pl0qZ1~Ob< zv*3URn_D89>v{~Di)tK?a@dQU1>;jv=mc!)kd?^Ppz9}9`gQMs3Yx=OS(tw^U*oE$ zr-H6y3?-5BZ<`$XjH&{xNk{@(u5XA?9{f&z$Mf3nFyZ(9+n&&04UYfn3H?t>dOxqN z3ylWzL;OT7?z$Z-FH`^_)lhWG|{mxD8K}(UMK#n)^@YUZko> znAB~~pHmrBnjSiGgXs%K*nJG%`mZcFCP=O__ET`P-1t;udr$E_vpmZ~1LF{PAd~@| zCcwuBvdK`k8aoS%l$z~;#uDodHAqO`)G<+oV_Q$GCQODSl$cnD7&_)DPRv zQ*@6VE!PGF3p}bL5=uu(SYXgd)gHrd@OXwJB7#PQC+@Q>LTCtm!Fv6g(J?+XJ-;x_NLQFBu* zc*sN-vVoJ375BTlv0JPzupXwMdvVx7*QIcbg3g>R5;#a*j}JHe>T*YUY&MqE3>C_a z@RRc+V_i?*!h(6~;3z;080b%@o2Y-@s$aF_qDa|sqU@Z^Gh_=r%d3nitsIOU5Hz4-1jND zWme~~?4uGm$kNy6cmC!!&g~(DF4et4McQA%Ya%>PgxeLWlRZ=N9I$ zIXPI>thv`R1D9uw+6`=oQ5jZ6YdLH0CwzoF?iRn@JKegfHRfnmZq$C9OHoF_;|qlR z)cTt=LQe2K{j3AJffL##zG<~xzeIU*27W?voG{m^Q3g&qnu%8nU-NYt zMZEc4h@+fO1+C{s34sj~O?$yspM3E>SuC(gzYuht0Ka=mDF;w62PY>f6kY*jc(%o? z;&)cLU_krE-pnSLUpM*#vXeXC$Cr4rvE|<9ak89(+Qge;ie!CpF*&!kA_EJG;l6WR z)A*Tblr^+n4GN!C8kyg0drP530l954wv+umK5*gD zn6t^4M49MTT6C$q==tdPS&ScZfh=mbe0lnTXHdeiS88fAh|!-f+V{_rpyAqn8G3y; zsLtv}D^`MuVhpq7s;9HR(JW6_bOu$TxlRnx$3|Oi!Bt)0^fG z50l-zv@12Ijf()I`WvEYCUTknT(`K)PRltLWmP^OTMdjqrOX__s{Dr+K(3|wlYA`$ zFK>54!+3kM|IxtYkICMV2hxY`t}0vtpK`UQ(!E{OJKXaTj{k5*O+2hSsoh{F|AUK=`>BQYuv9`cw=#Q< zi-=M!KKZxyVOi9-+6tIJZ(}3Ob6S1*vCcxq}7HfTMt7BF;u!7(!AR4+@zSq5_vnukA?5)^^y%D z`vpHZqqJXe`@J;B4L-lj0{=ENx@JAHHW{JQaW9R+IW)6vf1ddU3m24XUpy$_%Isz= z%x)Vk(uyyEjw+9j6LZkiB)4@9$j@izOa&S4^bDTph?}V*+et%^u#eLDC z;~{~bCo56F_cAt-y@+>%Y)vx_X9PEqy4`U#TgL-2?|9gvbQ6R>&u=^b@&0w^*F8?A zu8|u4k~t{3AY$NfI+R9S1yJ?2+^gM*3!=aX__W=B4spg3HDT0d##(t^}f zvEj)ty|WTwv4_7lM1dYV#1gJs??Q)e%h}WD{A%lNe&mPK^icBQF}`ey>MN>I-^Jic zc-Q!RJs9l!%ZR?kQ!dBdk0G)#ysCv!D-}PL`aY5&J+5@p-)l$CE}oyhX+3&Hnq8@O zmg7MMxZIbXrLRQZu z3sf2P78C_4oKQnk>l8P^;HihO=ua*Q8LSTO2d>Sr*r(TUQCv?#AIqdjSZPK z+7Q8fb6+fCcXB`B=a!Dz(5gPKFV~_fR1b^(sz7^>AS4A-pO;o#SW1`NMB4qSrd`?K z#D?f9F)1m*asjWI@}2w6i}cB#c6kGhFCN?Nb|>&+KUP-F8Agc#Dd^x_p?xymS|W2R~?3xQD8#i6cm*FnNvMF&*}Btpb_Za3H5v5suN z6ilp=Dh~nQg)6DOoi#l~&!-2~`l>rAJY_(bShIb(Ja59E-_^Ol0)dp3fE@=*Cn=y~ zcg@4itO(PCQ0-m4OSKHMF0nh&ez2qDyj+)5`t+ScL5;$-;$!==wb7!p<#e{P2L{s#o+oWc%0w!`X^UaP*Vjp}^<0vPcs!PyH72rnK*L{tup5-(xiJM{ z3zMPd7K4Pe1q2e`Zk|1nFXAZn^JD+z3$qY(J%L>hI?J=lWBYI_e`;&C*>#2v1B*GO z3q}x9lhfUsr(4JOrh&b#)IIIuym;s7F#1%NR2qqW4MrdG(*NZ@=1o#-&=co|e>G>rLOwv^)A{u0tUAqL7iXZSY5|Aw>Mus-}a<>m!6G_?zyY ze48Qeo;tNoAN*K0pj_JA$N-D{&Vpo2h20oM>BAeJa&0$G%x!mbQ5aPVwTl(YKGven z&Z$k;qKkFK4pP9P{+bq|;BK5TihE^?!E~hf-|9OLJ=(5;%F>&XvFR)0cD{BrjX4p8 z@K{Y&o-d_}<}3Ay;~&OX%9w4o`(YgA2XZjyDcvN`&l_9rIEU`9{I{>{!&a4vh_a$Kwsu3)c_G>-< zPp-CBx>otp40pgAKyykQCiXM=YoKIcKv?!qPZRRe=zyLukN}}^)jvxejTiC==HCYh z&$+iy~=s;V4hNhISz z)sI}Kp4T$ToJ}_k(4oBoKmrloi;&HJk@hL>+&T2P8sf-I_{A&qDuLm}$%=Pu4ke_h z-1A~2FJ81SV?g<1n%zzt8DwR!+&pvn_>=j_I59`1-~-|915=D=0*{E(xf!JDE&mF5 zOBl~&MilAJ06O-A$(cK|P768M1Pn|yTt19_VKyQxwlrM16`v9!B(+ckNguYZyDfM* zdBc-V!$jkL&qVUf3{F&bDzS}orATe&+%Fjz-^Dpz^mwccq^L9>2D2Ivgg`dYniZL@ zQ`0F-=tY0fZc9Rq+#XI-)7U9))X#j0V`Dq`IeN3&F z9lm>tL!e#x)@>O<`1RiI@zaKYTE?-)#>SsNl^&5WF)%!N1)Ns?ZKI>3jg4M@B}lD> z4trKsPIFY1Wv3>OyWl2umvB4M?&76zYtIGL1 z@1g;wOdo7bSTA@zI0Nv8{YBO43^xYZXd+&^qLQ1FD>dMZ-A%}r`$)*#i6!{k9!YfC zB|}QZF-~5iTGJ}ox!Ah%esZR$pv2DFzS8ZS9Fq-)(j`awvlo9H5jwFSVumJYa#z5u zGB?le1>*R>bkGONpxcT0A#-Tj$G z*d-W4_f{@0@UI31RU)kPG8a-F+!-*)Dt71d2@eRAF0U=5Y<_3$AcrH(%A{6Kq1IJH z12N=)NXdGH#D({!4!z!wZC|jd1Xd5GWFXZV85$ZI8`JzH)i%xBl>VL~>cF6&&MD6g zZ0%~5BUvXjrrybIQlg&wdwB$Ya5w9on3Nj34qdWl!azw`;qe>$rKomttn2pj~&(&Aoq-v`+2bs&Sql#>CP{%B#>=#$Wil6R7#`= zt0J`q5htt`Lj{{R@`p=G`u_m1-QHIfd<+WZ?pY=Yr>(QwkjgH*f;Pl*aTL@Fz=3jO#am!?xa*PV>(N z^i8I?v^| zaTbJ-Pcpq;_=pHY;q*<#3s@J3E(#l6)O{Koj+U`68?sZ+?76H&+-x^KmDxfy4h}>} zXTpF>xI!FuwJz?k+q=R?R&#}$Rdtspirbtd5+y4wjoG^Vy0p_pqT={$)Alcg9N%k3 z9|}Vyrm8WoH+HXY7qZ6-`XP@S(ON?rpU4k#ck(7ti}`jqE49Y09*`o(0-7fd!>P7v z3vyapry8f2;X`5^Rhm(Z{M7qe!J4d?%gTPR-nb-D?0LF=RD9TakZ^i9(Z8g1z}R`; zc=PpChDM{*=Y7D31%U8@`W6O0CkKBLD4@js(1PTEwdb`6?doDvm6uXBD{&OPjVGTM zb}9(d&bIX6o0BzK`5zb7FE_ah`lyLm+~Fy|91i;sh|o7!R9s_*bWku7T}F0bA#qUc$xufR%Oa zuMk~5{v_>NTZq<4cQ+>1S|z zlAhd6&r>-#Egt?zrGOg^!N~Ba3{uD${Y|msx{d8ld}|A9_s6r-)nF1;k})3d&D&Eb zqH9wgA~MeP4Nc3lpq~<$nX%)r!?;9jA1S6F4oRjH{_VJ%0* z`BE(@|E1E<@Cl8}$^*2(_kQGDc{Coc%>gLEpRICOzF~`KP4Emmk0_wExpSp9XbCHy3#U1p5F1Z{`v0}JcDm!z(Cp^oPNUf1E0WnhQ zyis!fYBlbgE=&1%zUN2w!7Y^0zXc5w3+qC!-_`ATIZw{`>Eq+x@p;>*#pn^0q8QTC zRS+GE-S8T>S^WWjIkh*>#cqui9JV)(^)2RQD|LqYS*%kTp|wQZ;TOM-M7p$f_REjw z7Y&&NgWHMfL^c(wtx_0P&vo`snv#Uh{M$xKJ7!7=>{od87Vyrj%+emauO5p%Fkc{0 zoVd}+TW)w?KbbcsMZ`8K1@Q zW87dlgTlf>px(>H@pmjjmksjxaohrwS%UohOwJAIf~Y?*l8`bsF>D%`gB#B0^{3KY{4~zI`p>>Kdi)Wbg+~6OPUPHk6R9B<%Q=OIr5v2n$4?j zROm3(c6vk}XxQprP4fZ}@9PUm`}~#Ec$_>#lio#|fy43Quf^Ke<1Z8{X)-5oqNpOb zWCvpocPDF4?q*Z{_NM8k+*CCG4cnEUddyS=1*XQN2jU6Dulz ztk5=t=5}mrxA%#f_6X|Wi|5D0sj2j%YBnsbXP-^2)htO6KGd~D>96Ol+(0s1asTte->dcPM-8W4yJ3J z0-q39cJDW1TxR6_xzGds&HF27GcWGTTDJU=g0QX&FizFb)I90WLIlVf(KiO1yQbg; zzQ1@1<@voU;_q8T|G)R1eD@^N?c)VKY9PA+_c+NlT{v6@HnLnPC>(6K&O$=m5nzBs z6psuU0yFsM$N2@%8j31z?=&e%60pX|ForG~&Z7)%fTJyeP2c8LH873=n;WoCeNd;r zhs~t+qpmimAWK@k6vFO40O895ZJ z1#J;8>1`@c_t(dAMhqTW=U3*e&MQfVym$~P%&M;!!lw3(p=N%2c>jS+NXbja(0aF) z7Cj}+U8q>wtYIM{Dhx%`z^xP-+p_QX~Sb-(cI9yz3AVf9o*gSkp#E!LC%~7=)8SI6iqgz7uU4`-`M`a zfup0N@$*Nm@|5M)g?1P_Jq?QaMZb7>u=#iz^-0wf#?_x>aACk)#ZW6(mATe^|9MJc z6?`!6v6M?Rg!Su*+eUlcq|@G#C1|k*O@1){bH|L`o&Vfr^q*U1{vTrGdo%8mo!fc#TnKRUClipB|S_6Eob*fb>;Nl2uC`qk3M#C1Ce2qzGKSh8vV zab!%W8ZAqYWGGp<&1rUm83)i&^^%%0lKV<{BiP^e*j{c+Smm3}R-k2R>+Bj(5$U(| z9WsVz-7K=PV4%b9Eb&25`4}mCCE}d~i-*56B^m)Hlq}u)y3o+j;$mB1iU7VZJ8rd0 z%Nnq2OioS$XWH?|+j^OE%e61qhENBCi(dA#YMy;FYV~?;RQITbCNU%ub>SK7bY!;n zYg@J^=4QX;tQzNQ%!^Di|{T08BiW5v~}Ua!_M-t{>(&cwp!PtNYIF@Qu{;%fHo+4lc;>Tvy5HWIF3w?;u>o9C z9THb>3Nc-pTh5qHgI(M%+K1w9@a*p&WD^h9$|eA$(-Fssiu4GghYnoTI4b-4zBEXBGiGrJ@Bt0d7WnpVI_>#BwF{VG-EcHCbu92%K)0-63B>Lc+dO>Bx$Tr|XL> zsi~>B_a8q)oB_us`8|8OsO<)j%G;&GA1ru zs9>z16E|I=6};J5*>Gox&@fsqmD zFq=wy3Ud9K5 znQAe9|Is+PvD``S-J*Vo`g&U97L+{b315vw?CkCjA1-P#LZ>u^&GdVgI%5!Gg?zN^@nhRc8KUTQr+ zlgj^%pRd?$dFbVglF*lM1S^@SNgB7?>SL}H@*ms*tN-4c$}nVjE%kqIyF~hdeICH) zn*jWIuFlTONwtO?M{3V&JiQ!;MBFRafnDHz^!p@Z{^{;o3GQBx|T3J|g_xL*fxrQ&V&&Yh7I( zIt=U>BUE&7a4<8=;;}_O1On>hqz5qN|M>C4rLB?@FX+T{Z8@e@!2Y5L?aju<*0AsM ziCQFiuIZ*DO*9f&shSxZ5zUBh+r=?q40+i_DRQt#BhZylrQTV)V!XHdwh|7x9bayC zy48-KLL-^l%oH5EGUdDlq|;CITo5VG7~#eA$`qzg7Na$V$BLZwE1bY{HkR!fydO9A zFdg>sELVXU1X_PdyRaZ#^SsRh^x|S$DZ%>psB$cj++`w7|4L}NX5qIa2LEs_$|`|S z?qz2AW5^Spqh|DTkmEA7yPmkL<4p-z_Y)b>gQ6ZPE;my4a6CQjU{wtPDn_YrwuX%} zSPV0NSW77dhzlh0P)+`_&ZKVZC=3Ue$>xi2ZxMs>-^rz<3*6pqNe_PG>=yrwR=wEZ z4DD~rlaHq|*h8-JN1C!hz3aheXFUX>yQZMH_*K_WBPd4ypH9gX51+fhzwWVeQ0Blh z?|RZsmktPHpX)Q=a0^s>nD75GjD2M^Yv?1w6POPM@I{&S&up-4bt@m!*^Vu20jj$x zTxJW}p#JK=w6I;0Xz2+JK+mrvn@fE7Q10lC3a^!on(X_+qvtU zX9o$$vrs>tyi>XYOVpUP+9uP4X2H(Ea8$+etmgxWhIQeKBqz5ENmU~fg6-?4U;KiM z5eb0Zw%kSin{pqC9}zJ6E~!1h5U68Rv6P*iogj+SyR_YD&M{K|uK44Q7_giVaKxYo zI!ndAT=;v+txr@YAd5t1UiTxJAzx8*EmIUKTmdWJWf`D^N`D5Q$TaUBVrQaBF+Dg= zo6B_>e6mk4)#!fU;BI}lCmP);1+`$jdp86I8DKPyRt2boLw3kWIVs%raL^WBg)7?^ z(wq_fNIGg=bznUKbAlf?=6c-HD{_DcA(3JXj#k>SM$Ttk`&8A&!^`VQ6D6a%0x+jH zkFBiv8lS^bQ`Gy}aiNJud<(-oxB2Y~m~!LL$$_Em8p{Z1BJa^0+ixOVfX+$Bx1E|D zV}4Mls~uEDt)9Q0xY5X)kJpKA>mPH*8_;QD$cd^q>sXWIHa{^V=YI8*jGl`+fwYX5 z-lCgE0!sbTGiLkj3wBmQ!AY-Yd`LvJ!}54|Uaf#YHGkwI72E+Zaw^<07VV=)140v? zXU_4uomjwsgIdU?6w;$7(9qN%=i%COFS!i5d)CMZ5Ofb0PXAkUKc}w(3JL+SWS|uE zAsdU*2KPJ)nMSOJyoyXS=gjKq5OQ1PgHHIQ^|t9-$d(-#G#yo^n+-bGN0#2&q2V!V zizzAR%^!z4G9=apxL5i8Lrp*H|I-Y+ctL|xiZnmv$-S*nZ6{hxBFnR>j!;`ZOHbGj zU-Qq<2ux#OpEg^Wn){yD*pAIER4ep>mu-DGwGr5afVIW?z-Tv`Vbyhiwa)IW;da%W zv^#1c?@RkU_O^e$d`x!Z^y7bc0pwxc`q%{8PpQJUp>GbOlDN%Wvi+jU8{HI zWkLh9(eFQD%bt~zshEu3nF3l(d6Fqt(S764aOJ-m2C@M65i%D6|Lr3-Hn5jRN$DOZ z!@o?qelKGx8TEeTG<$llubkTtHJdMR`WoK(OEu1?x>Sw*_#(kZg1WWALfc?=P^cT1 ze9a@Q4vlpU%7t}HH+nh>2sG3+t17BM1`IkeI z;CK!7C_rlUGJ3f7dc_}dzMTz5m4qR;Kril&zS`j=&`j+&PgLgK&zeVC9y)gg!<2Jf zR9MZkfrEh|QpPFX#ME$Eqp_Hhua9V!#g?|u&QhE>ny0Z`c=o5I33<>X@c{#5LynNZ z{s2OqH{4D9@jazl;f}>mAZ5;%CTAHvf}-T_;1Wmj zUt}H24ju#|7(X9g7<(Jlpq@I<*)3AXMGcVKB9teXv##=`_L4 zmwD{4v*hYXjgG6M72aTmbh5aajG_e;D8)k&AikTU+^K08G=qcgW-}7;foZM zR;5=ze*pmCC7d<_TB<0B&W|?dKH)LIj1yh$hKEsjSuN#&`QS+<;*-PomGa0W_Sz9wa;p9+_ebLgBd*wP)B%v=%i6S>LjP~N4yA#!9SJK3uQ(& z$A4*^RH&-te@dJM)mFl9f4!@(udlAI&bwE4#rAxgu+{`Jo!4=S=KzrfD9C~$nDhfZef#=)Q4)0 zYF+mw5ivBhI^Q7!An-PbC2PFRUHe%?`#kJL<+m$oTjRw>SK$4@^mkcTK z3zubl7{(|fE6Yh(@CcguEkj)ief&JRpkNE^(*y2Xz2}d>&VJ{kO5j-s7WtwXeXt+4 zW9>l)@ph53vj!xhnIRJ8zqGu54R19%=NUbtx8OorSng3zS6AL2ffm9E-Saj=LP8^7 zq6~@vOBSdYEzH+Pxk(p6kSQ@jCsj^mk6R~42GJiZiM2jImXB@KGYkbj>RK& z-c!;!LqETD@VJ)j>})Tus}xnq%v0myuNO@kt3>TGnbpwXT3DeAG22w|5fV-7kVg_x z=6Y&gje28zb;&bCP_?Fx$*A!7&cB`t6oW)sKLwA%SSfhzDw+BdNZOUEjwA(}lv;Wr zB?WDrec`~V|Aeu*GAre`7hZ{(Xh;7#Ys{ndX06taa2CF?!bi~Qn4AVmhxpuwlC*b~ z^L2m)4D21Jr)L~~s#)b+Rj~PVUsj2qwOB$Yt*v1+);&oQC$+s>iE7-f0xpbt!ODVO z#LVTa1+h~zm}?r$M*sQ1Br4IreJIlZG{FD;p6tK2{1&AB(;Xk_2ZQv+@FIX!-b4T4 zZ@0UBDUbF03b0{s zxCIaH?(TF5Zo%E%-D#lT$Xa`!bMLLQU)8I+udDy)s@VlybBsC0H-7fTrme@&{)Mw@ zxUsFT*nu0rP5!&Tn<<&x6^6bVM2a0?VqeW@QkkUaXK3COe%2!~J-zA%fGUgORN-40 z0ClNQzKg&er7UIyfL&jPiE+LtX#^1I3O7)Qk@>vXvSOZk?<^;pRwg7HN)8|Wk-JgG zM3C4E}NqW3rJ$!CpRugs0BF^)Z=e2L^slqASqSSn@Xk;XB*;`2qIi%JCHq z%5Iy;ImzuX%uKIj{ma=*)lFf4w&E)QvCE_L{trU=HLd6}pX~a8u>V1>|Bf^jY`@^2 zKhng@)_pOSBxx@)#v4*yu{{`E#8$2qC#s&1ShDf0Bz~JYR~DC}@#5o5hxYwZi;=Do ztB(U#DO_%*KmUEJK1pQ^j`juq3$GP!;HCe;a=uaKKB{p!)RaIJU+3dj{5Bb(Ju;uG zE5Y2QBC{lP4va_u$h%qXe)`A8`&n047dTO{@$dj^`C6^^^Ad;;0O1%dOP_&Y!q9O2 z>jQLv_$lz0=^Gh5*=5~5^8VpdumQA8)6Mb?EaKx2P__i+58IPd`MXgw zl?!)@T6fP=HogA72MNC>d58Q+}svSAK~{bymkhuxAgmC1jAFAIAnKgiFu zffMQN75oKIy;bj_&mC^WH_kSuHHl=C=HTD_<#}DJ${3fgpH^Ryx1W2RGvuH|6km2G zJWj)8VitLFmUyTrpM=8F^Wotg53}Acb57R=`%g4%2O83X0xll#UD3j$PDMjwVU|9V zXYm}Wvj2qwchoTfVSSajVIohxNdH>QWQlDaM$*@H~e}0PvB!nO=Oy%WYZYTY06jF(gP*LO9 ztdfE4^tT@HU?}`Zwm#gQ=QuNcDjW0?@$IrLN&QW8!u#WlUYLYf_dst7qw6rxbn+%P zaJr>v6hFFkjjSkO!eX%;f4h0|n6p~2661KnQ(23oG0)Iq;X8~Ku$Mp=Kf-ux;o{V# zy^?dMV`3s}y7Zr5P8wFaF}r`BWG$FmWKK zFYTDsjkN+TVS6L_Ia$m>{djYuv9uTJR{Gpyf6ryaKXcgw7dQaa>pq8w8^priv|5;3 z04csjZ^=DZ`uGa-jWmmEEB=sWYFj*}{6EvWr!TM@wfn@7wjSR;NmRaroQ%rjs#u1A$)siU1k7xo>A>ju%d!tvQrq?Aa0t^&W19i2+)g{Hl-qdi?g zfi51N;I6L7?gJbg!Dl!)Wfww158A)#3JK<)k~jI?k7)F4>wm&;g)P_Z%Jbxjw2cw) z)z358uIum5x{BZD%^;aYooW7b5$LIOa5PJDd+xn!-ljkPBd+EJ+nS@t3NnNpFxsTd z#+s0n0?)F(D{WYEN8vam;D$E0b};dI7WqFu_iM$;qBMvR*3kvH-Go65d>!Xrtm$ya zH^J99>v%odv0m_3PfD~Kx5|u=tyz~lglA>eXeBqDaW&&*c4*r4^D)atV%j!(7nV93 z;hUas7uQB8TVkRz6%gJ?Hvua5*eGN0#H2pbQ`6q*EkF18h6&km+{P{l3v#=XwR3vv zr-?_=3-3Bdsp6L@uYRtDJtoAvcz37c6>Hy6eSBb?qO0|gcMFrKo!(b1*C$ZsW6c0UO-cLXlX(0n5Vo`pLU~cXux>Gy*Sd z>%wrFz(a_Vj;_C_CxSE@b_;CeAY>0XPL_>6N=dDIg217W(<=S7XE?YQ+Y^!Px^qvQ zoq7)JCYwYoB-9;u&Be(*5zHO#5~(s&%=mjhLk0GWcfxirN=PVA2}b?83+o8&q7i3H zbBD9LjUL|cL)iXQL^lU?Mh5YQdUrzZPshJCa{=RXDWz`Gl@%omQ^|IFA3=1PRTp>$=tNBH~dH&PFz}u zSMF;iLDDU;U(dw3*XiO%G8`S36Wc;UYSVgD;|EV@>zUKWV`1G21Zh(0*eMJ~eor7J z)|d@shWg){9S4tTam|hr4Jh1@i)K`@8u-f^|3WzM@jveo5f?#+cqp$dXE95D*T%6?)~~|11Bt>ZEf{GY1#P4GCf`FbvrlwWWBhawK4iZ4z1m zUxSym3I|l;H7BHfCrv0N$+@c%bK8PM<-xO;#}(Clel&PhH?a@Rpv5JLp5!=k51IoHNAe z=QuZgrlaC3Upf<*O-=nm_X_g!!F+XI{3K8epzW%-dHxFhUB} z=3qHBIW)+3;W6s9@HHf(prUVL!LJd;DE@S=ZDxGW?c{hb=ZDjVffP)dFyk*xF5&_A zBVQ#82@PeA*ytE6BXVQ&4+Q!5B*!ngf@ng1UZYtB=07ZJWn*E9))zEhJTcfiMB)=y zHw!xmeX(L_rPZ`I*nQi;-5Bwd7oNmzZmvss@lK1D?c?C%nIBasUOz5KU~%)VBs8C^ z`#&n{J)}{(P@w)ZQWE41g(|r}o3rz>Dx43xeMUUzE2bWt2Ns^EM`1ltpb55K&dE^yKOpY9ZTW)c23~5!% zm-6y*-zOx=DJjx9BOo5_B|4pAv?8>)vNqxQaX~p?U_M94;%GYRkjgr`cba5RPENse zczRWM62yTq_%_$NZy&#N!0ffyXS~xhu&J=kNQPy9?-r&D!3aLx!Voq;&6!Q)f)+=| zfCo72Ku$vNpU{GdIGaG4f8OvS^k-s{jx9ec*ZQNwWhe}n< z(}buhn6V`L@>ViQv$kJsGCe;9YuD8UMYs0El-Hv2fc61Gf$WRT>5P<>8=R%Ii3seVLk_O)hGB zn*p*HF$mwkrJ@S>kaiyh#bIY$5?77#86#9#RW@B|)+B{a#F50~+|hRAd3(pTEaYO^ z;pkZB#74Q>-{erO&ES6iVso)p$3^RRY^=04xT`)Rnvu(q#eSMR_^Y<7eQ7gT6Xg{) z>yoNnOP@m|gFB@z&!$$o?vi|OxEf92S`8IC`4xFSCX3N4Us=8` zFk5pFL8enxXKdwWW=MRR0-DCMJ+zX7Pvvu?yn;lK=`ZKp?6MZcmws&pO`2CH+Ph0h zOzqTJP1U#WaZLI%%JL6R`u}+x&gV{Oi<$53(3Dc;Q-4URR&Z-}BW#8yqCqg7J%>AO zuDo&s&Q7fV4vNsx2hK+Bep(4O+J)HyO_@d{Ifs076Ff z>P%`NFc9tTp@4vZs2sx45J)!Pf7StZst{rH$B&a44FZEJH>(F9cqO~LjB0oJUodKBvlv+^mModQ2d%z_Fq`qJUOfiCUP)1@xyoVN5wQX8WH{1GuG6FJ=wvFI2Uf8Sm)ko04`RvKw|U?T+C0PPz+0mpK~{b)UvQ zi`_jxL~FR%OsLgReh5+1T-#p7{F>ye8&xJvt?W^fL_wx!lH`h$z6# zw#+?di~IN1>nX2b@r}a*)xDXEsM%}rXHeL_NO02OPR@__2bz9Dj^636X@SRLN|ODn zAi|cdByo$mb+BtuUZOD`zqQ_7eQiSMrDW88UgEIeQDD!{u|>TB;<*>>4r0G@F7D=& zCGo|WF@hzvxSB|=NSTjCH+S&DpqDhawyTkY<-@vlsNu8v>A?Z7K^;WZMIPA=;y97L z3Y1Ggh-p+z42V|3frLW|yFE1oBIU2vK;rH910NvOP*+s6zvA`R-k4#&e3Ip9$D7_* z_@VUOu4QdZb&O_g=t6JFQq2Nl(Nenwe$Sa}zF)lN1%|HxOpA4|h)O}so9AYC$QCkQ zDAQbxjGd!(SwLJMK{Ax9`%U%zHt|T1kdF{!`DmE{#c!1RfJd*MaHK%s_lLa<|LE=e z#OZv~S?FqFirkQeX?bY`N#Ob@R{bx$tUgcy6=r4G?~gw4JXkryyk3-g?jyD}IwtkI z{xOP^53GsevH{zL7&7GOf8^;p&^#0=>`y>oEf5Xs_8+KF8TKz?KxF40gSn4=?dHtk z#XjGL5-ySnx%Us4IveL<9^{shV1 zH@C-x?`2d}faFdZz-*qI5u|w_VhTJoHyLi%r(1H|APb4+#~!)Y-|v-1MWR zLvdZSv!&AhIc5X+f_k;3HLS&bY;-K2rl3T#Ry9g{w4+hdTK1^>%@=-(-_k!g_6PD- zFhVdH9%?#cpBIKW6W}Ms98#GqupZ?1KFA3zuzEdgwGU)Dv2m8q z(6YqC=mC?;<9e!bI59siEH7TsOb?ZoGCo0jY=DIk$=<)~P@QB_68*zi+)LQ+j{D-BriZiH-wgNe!OihG9h zlR<`rEpEiGKf?r%)%9C1}w_)Nyq_Hsx@g)=GKJh35q_Kid$?Xxs=I%k& zxY*meO5+N+${+z&wn|_FNW8$>)Z)!UYJC}T>DEoe1Cf$Z46&G~(J>2kgA#-G$GV)H z2L9)z+|c4s0fd(Fz`~;jxbgDB$`%I47XtG^F&~$-ZPWEN+X*1H5jBgsE_Z8O8|4cvPR`KOA@>mS>k={H2;pl6;hAe8X)~h%xRa zHp6K`@x6UwVibe0VbaIU>^^&&_x8QG!3=a%$2`{J>N!GT^WK))oKLYp_FDkcmYuNo zlqF*v*Ih{+B0<~#k>(m#fLPYFL$%fBNPfXrDZ*06=cBEkWFonR6-|ia`bMp$J|vUB zA%5y}&M)gZNxD8cHHErQjP)Q6c2wqxxC3%P8<6eM+lvf=y^(|@1*{&T$>0F3*-|2L zH8|GX3uhBm9CUaJ6ml9gnihW0gfnY_t&_$6NbHw;k=AVf6cFz_jk@p?ERN7mowtT`cB>3m%F4=|_^TBjaeg{3t=ZmZM<*ismESg< z+tBam403Ly*gjsnFF)6Nx`I-_>#@B_R63xy7GvE?j^tGqPa7UXlm>#8pUlxEz zA2(2Fh(gS5%X5eg8Jn2Vsc%&49BEu7NKj(hVKK9&VJhAYKl%+8h;M4zc@o+9e{ouf zx;5Vr-F+%~Lo(mtw5v7X*^>-@bH6KVZ66SkE;P>=asD&F)vZ^>wt;9tATndQ>EtbR zGumVesv|?(Y_VK%4U@KH5tBcoNS)}_I-|$isJ3QZsz`ti4UUhgH(d=&9Nl8h8*a$?cx5&q3 zMo^=gvvN{W=3X$&wYk%ox|pIA_!=0RkoP>rWw%f4J1wlQ=jg4*RZwfao+vky=gqOM z(-1ckXQ}e#4MRf@L~DKqDj5?C>UnP+ChYPlmMT_FI)e#2Fw3F_@|dan`+g}L;*t%S zlvj3fTGc-;9T`-LH5s6I`z}&7GUCUFG`Yf=DvMd0_(B@CJ#iBcq0V{M@~1+xe`-3? z;d$To%C1?)@PBIo_H>7S$uzQjZrf0$HDNRj6mlkW?tZY+i9n_9kET&3BqYR##iw>Z z*8al7yDH@$6J8(S6CP39VnqRzWLv6qr*;W%SCwNF+l9$Fg13vm)syZfiyp|0F~2a} zQ>PJ(mnoS%JJ6yYD1207V25x#|pC$8{gn_ zfxqta|9NASWBv2tzPI_mKD4|f`1{iT{i`NQGVOC;de`ppsj9}I`5RSCK{E1+@}29s zKQzsz?Cq=U`+D%B&8t|(Xt4t_P097fY~E``GrtJy)q6LUPZ6Tox(*i@^KD&HP*lwG z9oQJPo-9-wGYh08M~4)KT}Q{PO{b{e$BdPmB6;-}z6__zUw^kf`Ew=L^b&-5w)IG3 zJNg9&2ZMm}djnRH z0Rd+rP&y9{$v%+6P3V7&h8E9N8Ht~iue-PCE;k>mRxGJ3K4!KY?l^Bpq?40YRIFQX zGtwNju57n!k>Nt_iibP0P%KGLTWa`$NPW83rnz@TyyaWZ@n5CKqc}|SkT>FPJ zwUvsQ5@r^b_UQ)``fnb6eF@(FQU5)PZ@Yy5^I-G;-?31YU%=t0prlBFtzUl|@qiWf;cs|wjGRvmBZDlrL_gi*#7P#37s z#zf>kEo1B#S7xaoXMp*4uG~@zUR9 z6vd*fDcQ9UoXLWhUy$D`-kZhfFgjWq7}a4UCL5dR$L@T83JVJhB)PD@efyS~d3Q8# z1b}Q=(P$7zDF>)76D#ZZ#KZwe&UA9Bb(6ST?tduI(9-ZE#k|!0*X$ZDx9|jlfK%@% z3{AAZ>uzqSNC=Kp)Np4$Y29`1jdcI$+pNk?^^nPRdUn=vojZ%ZN?3T)^x2N(+FScz zJ@ZqFc4`;mBi+8AM{`Al_3G@w`v`bsX-lAF@Fn$ zb^RX74+lh+Vl387W0-B-Y{%3(-ONpAA6c6al@WvdCs4hE-5{Ni=bifadpgH!`G`Ji zl7+tHw>lr$TCtkcZn?9KPG`Cda|*2QW_M5DAoWa4sTyy z@;EGa<$)jNQgy)VaF}A1G0)<>+tt(M5WlW#HP(BYl@pElRj>@l;rs477=d&e#izOnUaHq@6%``u(t+UcwzPYe$^c=FY0A$s&Kp!rxB^FUvpYIZV65oNzC(C=}qm=Euh1TrgxW0@zu4FhNy$7@X zZDfqlN^l@ig^lF!n`zWJBd&Hn_%f628svw_`D*4SfzZ6}c-L;#T z(gV_6M`9k>00KW+*fxQioSUVrZu45!14W?8uXPc{GkVQ{Oz43yojOe&GjZ6(b^9Ah z$-V37gUKl^c6$S(^}giB)a?3o0H=v~yBRZYCw5Eab(=^&=M)nc%L%onyDv1t=Zj>M&`T27ZFQ@V<#DjQ9lpZfHif=N#V^%6YBn#v(*sUpU-Yb-8R^DAL6jzyWKbp zrEqgFpLdnJvd3DTU}Ls?xpdwB)X@s1WZo?|$pVioHYO=tPEmEgan^RZ(g!mlN@fB8 zOuP8w-Mx1J0)$e{!cv4!ug8p17PJrR7i z6YTwJvFX0-aRd4wNRR*m;r3QQ@crr2yHCIFL$&rhF{^pztghg^3yw_5$;sQ>+n{p; zumnNh6B20Tg(eQZrPR627G$<+S|ElU2a9$wi?^b0|6xwPs?27Fpauw1 z7uI}^>0IHieOm3_x{re>oL{Nqz218mCq~0iA|tQ&{P~MR*!K3;HoFm#k8!PoD3-o_zf6w&xjJ7 zT0CPdI13C%d+&Jp{$8_>9WVczGZ`<){Lh?8*Dlqkb^p>CZaBu0$RsrQVIXxOH9YKK zVb$inSh0BFjp_?3E%lf)0_Nj^yp!k!{Q&DBNN1*7YmYE=Wx8bcY_cf45;CuAOoCh3#LQ$^V99xnL zvqWWMRo)m@pqAU(*j%!e{E3&X0sU2wATe?Ait=(&(FYJm(*EkI-Qi*jy=Fbc2fF5f zBw8e$z8~+(<)ad`H!E#=#Wvz@UF_jf-*4ZAi)9U(RE9LTZO~3t-s zC(&c00*=6^8RG@}Ii9sV%tTuMxV9Vign&h%l#FtbFsyTjH?u^iH@P3KVOa0(M9^wD zG1ug5b)0Krg#6WjqG%zNN5ZgwEw$jLqY z1)`aA*cHQudOBjd3wwGbWF0h@S1+c^gC)pIrrl&5=wt$iu~&FxC>8KS)@v48ZOz+6%v9Uhj%`t|%QfjEQc@81 z>k`Vb2!4?4{GGH^^{Jesq~s1suEk6>2w^70HUU|O;Av)z073oh^k;7^EXu9xEvMYM zHJ#VGSMgB&1;IKV?g6LE_?-Q@(uEKtqpr-h8OENhC6Z($3CtdhS7kzf$dt*-QIax? zx!-II3m$<1j#}%d@U{}ncVqIrPPwUit}T990yX z$JO?DVRTd>0xPX~AU3RZVsv<_@nZGY7Vp8-ZuQCGm3PB-8}Vwmi}&*u=B1ATNeR2B3?C$JEg`#6_m@Tlez1{PDho7IK@d;tWP@THf)z0wn`1DGHUPtXzg0dB-oejeBNy%#4fQQi& zf`sSDd?un)(DOUTw1}|ga2^QIsH$q}{yYx)M(g+Z6b;6#kUI>rjbwA5NfG7f8O`Xm zG=JUFuM-V|KWCuRTn_!wZ%Cfdt?v=CmN$w*l3!3jCR*hAj5VPjhU4400z`%#?d{zk zLkGIivBIr>6HXszM5p?+XBier&d;KIxF2ZDj+mw4g^rf0c+#oNU5a|*D2_p;_6ucL z$na-wXbj>m+cmE45*ovW?F2}vp{+|tP9+(@_#C zJBqgl@9HNv^Ix7bJ5F5loflGVDy3#2DUa;Gc__NHs*syqT};rVV1@~q%#&b$1B$3y>tG@@IJRMLC^ zF>_?x3Eu^N!Y##s{VY4mc(eTpxH_>^LN2K1$wV*6SMZZaxpqH-%D}npF*chsmidxc0pL z(pr*Vcn>0BfZYjPH;cKQ^U#?BLg1TpK!L`1k9Pbs`v6W|)`XV{EtlKx-y@3Xp1R4% z%SVz{-O1)Em;#%DtnAQWngD1p_RePY@AobHRh?-X%ln1j=iMtkwEc!%o^k8Si7^e{dV)zd8C6=3jgG=yLYv+Z=5b9 zJCx+?<+4G7CGQhrUPpL~*VlAxO^YH!=2^M_iFIOyo+msH1BiP?XZS5A=9TMi-y8UC z5PDFRy*^n;=L%ioe*Ci(JMP`%p_eIdj2_R0*2W}7GgR~Aj z7aMM_mU?%JyNP6XUx~OnkP`zx>+K92UaKFjv#pWJ3436_ZCaB)pNX6#_0UVrVUH~` ztf~t9%{2P)N&d9&NU233W7(QJ_G+7hTc_PjVR@!iTFJorHvD&4LFTbR zn>#xvyb4MlO|cc}>0c2ogM%{PB_k9dAn?RM@ov#6)N113;^LyA*_o;^0=>V!7sn_j z!`TTfKiI^dZ0|uo3qK+K+n*3fS4KYIBsyAa@=|Z#j#^f*lg`=-TTSsw|_Rl zes(aoH|mqnP4$8`#xUoJ#jW1xU=W)?YqB7BkPFN@_TV%CmNa?rD#Kp3yfwY3y|PZ; z?fkmE5kC2cV>`dxCj_)v*I5HNWi&cpodfNKrv!e($)J+z$A58dEz5OEh!jr|%M zstsJ{!mxm9gu^FXYeN`v=X(uHkXQm(F-WFWABoRtbLH2~uQ+tWN(&=0X-)8L?7u56 zb4Da^4z!wf*Y^^*Fr&EG+S+DrN8G@+48*?5_%TFd@$)=}X-PBnH#GC#xif0@a6bQ5;RC&3wRvT+X*-7apE}E`?#cadVTk{_4?49tN|n z5UYay!4$~j0p+X&ITIaS2#kz{1qT9n1W+C!@kNY+FaQRIlGD>uKqwp?gkjCzQh)B3 z6BN*FQWS3;6bVO2mVHKAv^6!9wcY~v8;Or!w!18~fZJpHy^S$%i`EUzknc67dsa~h zPMk#X&H0?`SRXz#I5xCAz;k!CQyQQr3<6Yg9p4c+lCZm8El_y|6S5S-7{kiJ%Gmih zd2_0!vou`bKEc&(T6wzI+p_E4A6OY42%pv^4=4E2&)=25wqMa=DJ ztI6Gm>RnI*hj9pX<=6Yx3#p@* zb%Z{4*aPXi-Zl4_;#i=UBL%Sw(d0s!x*22hu!f5Cr0aHgbUdY#kY?0B4r^`svoV`#^t7_b_ZKp zQrgrbvgqIEwa0M9&(a$~OeejCQf0c_T^%&bb?~88JgOlAM_3R@bgPrcyJ-rW;6;71 z|4lYGN=kDNdU@R4Yl+)*fPi~36uFjIRwNoiKt&TyyRA1eAO9hX*{NZvLSz6bwS~L) z0}~0xA)2SF^r0i!DHqgd7msy!p6q_GZ!<2W@n=L~-H=Yr098sPp2mh0ySuSjqJ+6!o$?z9O?keP zR9szgeT*#pohoX*Kpcu~4S*kJ2f33>b%)n8OG*}jGM0$5HtUYh;i7|`L!ij7^`+0I zn6&6Zl{H95dJMSvyLTqLz~rV4bD}Z+@ZVIVIA5QsVOwhsvhV2%1L80D-NDh}-8tAq z1{`b60C5uc$+5MnvT9e*m9^~IzYa9EXyr&c{qZdNjDX7Soc;6S0xkQ1E~lYEJUKrj zqr!BI8hY=zp9nfjmX#fW?q*0jpmj`BMOHfY_P3P~=u6NYe^140C_6@{>jT%kHq4?hO zIU;z-O}M?RE}H15@Wf;stSiHc30XSH5N(tT#b4oPqLU*aa!~ud`wPg}EXMM))})CSSj}+sWWw+K($v@#gOED1 zPC%1;Zb~W?>q&}B;cUdSl*Fj-jgGx{W_XqoKRABR4j1yT`52P({jP6g3?!{zWuV&- zZ&_~=d11%lBcZxh2fNe$9eXdWp}>^EjQ-yY43D3DjY+#Xc0i+L14)3OTJvx5fuF`B zJyVL&YacE`f*&PaC)}Q)ziz5=&K~K>&kt0jk9@k49{E&PiCwxlzwpQHfa!~=kJy^a zV#r>>r~2d-VmwwR;W6Ep7mOVqPF40rBO7g#wP9A{baBMDtTrvnm>l)jXoHHKs!NT& zg5*}5i=wZ?$E|E9*haOt8ifz#a42e=f!>L}Vs@FQgThVBE^bRnRrP9M_(6ytavH6A zO>KI*Zp*@N0Pm4exSiWA-0fOtM$T}x&^- zV)i8Ct!erzNUJm`nII*bGI8fw;gWAoqUOf{)o_~IBFgQZ5+!3 z@&g>#3$@pmIN&?zFD*D!NO(QJA;>?dmb$fKvtU*MhPCAj9+Fp!PM_K)Wo=bD|5^ak z)0du_x-YW2!BFolMaI&y53e<^LO9>YZA8NH|XnUmBwh z^S;TcFxlBIns+k>@F{n)IG01p%lVq}bY`+Gd288b%7@!J6BeBf54Gpan2W;)aQucV?In2b~@3!PFw-NdJgC+%jbk(z%cqIq-4^bY?ICD=HK$8QcVdWlMguJ6wb<*5HMrLp|EopRf_@+!&xl^>e zE5Bf+(#%XM1C4>5ovtF=cWnGu6yo{fwHp=X?_LJuv;w_P(_)1jjnX}Ex!$TR)4W{Y zcKz{8(rlUBX8@Ce!P^pleN6}We?6U@T0$TjI*#*(sYCZuQmFw1cmfDu!lR%BT-x|ZGf%Jb=>U$={l zcJHgc4jdyhIuup>hY))7m7n!*X6VsZo$n!kC?fEF{%^YI|G%qU2(#Sf{h#`v_lTvw zekPj##^?9YA?vHy53llmXrhZ1#A(cL{IDA{E9atTV50I9%gFyxoPTWUAXy|9AKYIY zBHlZ2DVMKXPn|!-Qm7V9LJGRxfgZw!hS_MwR17q46eq?MqH}+Qysx6A_ltyIMQ^k4 z8Vbou+B<7ngamFa+iXKGSy+)j=Hq%q#VQ;sFyAb~1*TA@fUO5~<)eHy#%^Gs_$=CN zO~Zl6=b@?4TK+_vD0DhZ&7nFb(NVnixt0qMx?#%7?Yd*RYFui{owuGg@4icr7x)fP zM2a$Vh)XtoXva_xFD47;JF`RLlO*#KTgyvkwj_E8ebi?ZUF%?EjO#-tj!Tbk4ktCN zrF8gSl$|a7IvfZUiqJk`CJ>R3EJ&$`NGVl~e^>Zjh*UZztK3AMtlAFbQpWOB)Y&vm zfr=`6!xM6kd-ACb`@`hS zCU<`gGk%>@-JND=C+nGF^v|MlUQ3X$m&E*Hx~yPOV1ZMSU05Db`%R2Ivc1@%v8lAO z(6?VHmHF$q&}`AS>5ow(U%RH4#P?5dmJeYItNHopVh5mk@JmQkkY54thC+RPg@900 zd|Ks(Td*kpMXnal8jPp2>Vq%LX}_XX z)NxwcC(spNdY;4Mp(~EgsmfwzaJ1n0%0P9MbTfblCz?nSL zar1l2*=ft!QF?j9DXGMLBDc8C6&8B^t!4oxHVgUcaS7Ux+GATT$7$&VWrS6SZ;@Df zP_3o(ywDSS8#A`M1Mt@#$HORZ&Kj=a*f~8U%h!SwUCMZtC@1m*_;%Lv0Fbkwzi*w|tid5~Jr* zzf%L>!9Fq}ea&6R$pvx!9(Qg*)*8%mjVi1PI^5{7Pmvp5&D$3#3aV8{tqS+gc@Uo0 z8VhvZ6|D$aLRQz~ukqXQ0u&b{n8#^Dxwhn-S>&FuibmHnk9ln=JCuI5LAdevu$b!c zuQ1KmDUCPTYqoWqYgLiy{o(+F~o4A_=p|< zh&3M8Ajkh_>TlIK4(q^-MuiH zD3#JWXEQaq4{5sIFoV{VJn)wWXYE4M{5`q&N6-xGtAe?j#ZyBwvxha;U|uOHi8 zZl}r(vz5%B?^=_FNSO)OLyLo!+UPX4Df06-@iUb*#A8;wS3kvR*ywSDYHh@rm>G>r zkARZDh90p~X7opbDEVGo%z))yBq~mEUp?b6BMl98Y>_&b#cu^`0#l~PoxuVK!M&|RD6N&{Iura zn0|=d=yq|{J1s0X3c|29>idR=hH!6K-bh^ zsmE(X(b@$llBAKp!7c714?;YD0wvWuTuYh12{qk%J+t;2w8*+iPzD{IFV#8hHX#Uv z_W{3oMCRSVhj;Hlq@f*$`&_;K@e83Y(&0=j0ne=w_0qM~{=bOB*t(i&ApJGGXE8Bn zd&6<<#Z4zSK8Ue|3++Zm7S?Tj3nB7w$V>2bon+DtSi#>R!&&Iv%zkdMCvz^4k&caz zfd{~?FJg?ss^?()RT*Ojf4+hk`-tkkpO3MZD zA#6So2e^tJ4HsU(F;WC{B!KZmb`{JgDeZt$$894_|5} zaf}aiz_bTtN`!7hrsMGepC3o|Fz$YlxN*(v>hQsl^vRAq#(&iRKmq;VgkD(N|7rzW zGu*(z!L2!%EcWn7I3EY-hoPF`O8PbCcB}rl#^d@P#Py-26L25^q41sA)nel))u};O zR~f9UMM7>==)Y}hbpK^j`+LlqU&K!Azl;2Jd#2i?f8{8~g~-%GzgD*+Dk9K|xcn1P z>_GDrb?&^nm=nB+(dZ(Q*BWY``ZBl>EG<-z|sIAT?$$j?8 zV;zMop5i8=CXoXXqxPb5DF^Yve6~7Eo4Z>$XcSqj)ueX!MvTZWGBMgBwV*e3 zXkWN_b%8{wyAa9CogWXy{s7nUO5*rzk=ydOHI+%wg%dj6_tvFDr^d}p{W}9o{AinL zTlZB_-m9=vfWAg89|w*L`=;^0Ke#t0Ke*JIEQ@P5WSFc^XfIa$d+hie_&=@ssi4Kp z%4rXz`p|nzA->~Q2sxpt# zH)2q(k?U{mXqHt6li)XW-~r|ecEN-Q>6OcHpG_C}TL`+TMdd88IR0Y?xgqj+@(>Qh z!vYBRQot)$Ahj?h8Dd;H{{@SOT!^8RJxLR`{22o}?E4 zkh`da$Q(*>QSk``N(qM)0H2e;@ObmXNRHp~u=30P%A((!OoLFo-*q}?>xf4NMfenx zPi%<%^Q_TOQL~s>*u2?2uJXeZ(4OV7zk1%_yT}i(ud8~%0vxNq&z}1H%aC7*i1EB!qUv?+aD@x9ZWvYfOA%|vB_hbVCqJ7 z%<_~L+)W_OdBn4M^ev$)rwDao>==}&nB2D~n67~LNzPQDqwT}@D_AX%p%>2D9@^VH z7EK!~dVXLJ<)`+Mh^ZKJ;v(jEzhuoXDky-VHvo?j^XO;#94@g#9|0X? zF-=kmkBi5(iVP^#XvP_?IEF{IAQ|``)B4mu#M^xB06m}+6OvrHcgv$gfG@~EA91#G z>MW1z%hf~`MAmpbbSC*EOYR;$@dK~Zs8i5-i6OC>@^lTxj4%1>R~9851q}u8yzu7S zw7{(8e^rp8Yf2UmI7)UfY>WJgZe-DFBv3$@rF?lDik=N8!Em}d9ZOw87L=X4F)Tkj zJA+9H-d>#h1^$dlTvJC|?#;n#i2MMVMnb_ul zY!bjb=29-nMLAroyF<^JmTImE$aux&M#-Grw-bU@oPe?$m}rprEFF^l^AoiH%h3iz zXg72~t^%dz<(XJo(u?NnL}cXW0}bb&*PA!qDRi%1eMylQeij>R#ZK&mXfL=XxB?xy z?d>^j#p$6$90|FOktz@!R>jY z@}>!wBvO8K^VDHIJFx2I-!=R4Ncy2i&ff*arJE4@&Hrg|yCMKSwZM+J zjlYd+K|qf~M?;4UwLHbXJcQxmQSD~cMeN-3idc@ABi8zKLF~??zqt+Z83;wEe-jtN zPdS8#*`L|LF)r7?cuUfV3D>t3Jt^z<_o1oi4h#|lCk3m+{EX#gIcSi{_*MG$I-Y)H z_v)usU!uVmxf2ie0m^!$gZ_H zW!Nsmgel_3UrI4B) zAqAW4Yc{_PG6ZxQ4(8|?<%uFyi|S4;PidJ2ALbQAGN!X9%70iLVP~ZN;6BZ+>MMve z`48+wEx%e~uK5@htMmP<*}@F_miWl;a$+)TH^#*u6;HCOyHp#gIlC5SpzV5-FG_E(FQJ9o)`kMlQoZ|ldwT}m{#qijeb&DBL@(^KT2E<6HZ@G3`<+*K z75_+V++UUy$Q+FSI_p9xt9I_^fy??q*nvRSpuV9#ZV(*bz50eqyXAV1eTG_|r|!Gw z>ynZqhb7#Tk8r5|lu`1ed8q?xiP18n?H8w~Zo(Nx;&f6HRpPGeaNt^VEb+}R>82>F zrN(o0OxFv3+yPO9iH4_tjNkD{P2GpmeA?66YjS~dgFdNw36GCLH9G8qF>$v#kJdGe zL$Y~%mZ>zDD%wLxj7*X)GQ>!Ay_K(zy;WmptLL{3sZ$#B<=)J{UALSZ%;n5=^*e~t zC*^-O2A)E*-S@S%vvYGeL3w$3adA4ZSI_Afa73dui_2b0JzN_|kAHMTjJf<4Eqt&M z`V^3Gx9jkmgPtD>spV5T&7~RpH662C%FzZ6B3<5Prc-MI&$RBkxzbfVD5!XY7`gt8 zxHTo2qF!`hQTLE@hZ9+Jy5sUNLkvuseZ1-o3B*`tP}e+m3PSm%z>TdZ+xUSeA6>i1 zboJ(hV{7HJN=FaMEtdio7rTXE?1~vHd%u!vXoc#(YbopL-pJU}^lczV)od?5)>ijQxa^Kfx-VV-0F zpLXue@M>;ut~GC+r^n6PJLwk;^;GFnlQ?%d4 zQ#WGr;w57snJVUkUy7|cQ*iU)Yk&#&S)Oy!< z4<5AN8kQ9*FTLaZPPK-a8m%rQ_%}bl_Cr}eiEb{ezf}(r6?tW28@ddykk}U&i&L$6OSMy`A>s z>D}8S+1cmxQm%^W)4C8-Xu$EG$4?m%NL*H^UJFTaB{drCJ16xp};ieX5{F_re{i={O z_DJB}x=r3$^Gs>r3=PfAv+PYtQL!lV{%+UC3=!*K%>J?Z#iY*g|1MX1Tr9@WN*&Tl zvC7?ay*xBQ+2KcsI=7P^jryo~Y06Eed*hD!PS-S|Ulje#0Tt7Hi_7liqanY1IXIDa zLXx-+XlKeCx=@Xqj3Lr%x0io4-ZVfJnG-VW9$v_LQLHi~+K-O_8pHcltIlI)c4zy% z`U%|ZtzRy&G^kL_vCOuS7QsKYYyXeRnf`~vkN@e)g;Gi`Bd)S+I{2->3^oyOl!K8) z!)b2Ra*v&(D9^>=Q)>N|1rQ@ZOPeq~wU?!JNkqAb(pE81=)b=lMXWYPosgZ)Mn@OM zcSh-Kh%&ECSLVwRCXfJqZzeRtq;%HqUnOXX*74?0d}?f53_%=|0uP7*UcPkc`nklY zcTYw}OoY-ptVHz7BaNUYuCN`_u;A4P8M)ndAkL$W295H5F~+ox%OWB-)|85JbAwb1 zUWV;I)8vg+Ezo<3y3Gw2uoE?~HFHIx+qjb2A?|PU+-jkKy1VC{^IP7pm;xA>n4;zs zuS*ui{c~{m6W`76>i=F;_V3!W|9|y`|M!PX|Gq2zv#4xbdk#K6K1d^k92oT?kklt< zmF|N~!!hOQ>FJMt`#*s=H8(fUOHWEntbF_SgXdB{^e%R&Ad$V4Q(rHupwJk2vX8d! zNbPKxJIBZ8U~m6mee6~;!TpVi21s_pC#AEB`@6{U))TQ|k{9*$exG9)K}85UCP4ng z@9nt`=-+YI#%8-);S|alBMth1V-GvS%0x}gt$y3hZ6ohWxT=auyV6V&pAJ;s=f+D%^F^A7`) zlYxU}=D?e^or$<414V>z`ony;@CLuMv^0zy0RcfGyK>aZaH~l=@9zhml@@FRAtW6( zrMbo{=j_9c1$M9UadL7>NYubU`1<~4Q|tg*haGAyX;*%WO4n@Tq($>5 zdTmVLG`Te%8!9vtAhx!)uow{UO^nhLb0`U9m-l0!q|`MrQNQ5OSnLfA z4F~%Bw-ks(p^ov}H+8nSFK#^$3wrOavx363nP}XXLpZ2{j)#d!NjRW`pbvjAFc46~ zbb&6q-40g~j46ld@s(e39o^rBv08?~;~)%`E$g!l!^~cq+1}YnPC-HMD~<=cI=AiY zG;`z|KK+4=yfk6Uu+Y$=7ca#36@fL5V^;_`K6s#_(&i<0c1XMA*JV=itq-naK%S(L{K$x=th#9yl5+ASZ?8R_io9nR|iw!>>%wC;oB{NcA!>E z7oU-?lMtk!=5BFQ7T{0R-tOc~^oWz5nwnw{Ji2FZUlep77WK8lJ-~Ai&JR@_ov^c#!qMq42Fryc6|;AJw4Cdw)S2X`1Uudzp+6 zs{t30eDvpnQ&5D|HA6!>#A>+GJ^_!5i|gq47$_GU1hx(&-}bo~8yXTId(+Xvo7@0d z^o@)hDvWzKChlAsftKF<*$Ow8sD>LJ)qqNL#p`sX)~}n-`MI~+B%)VGYbZ9N9L^S3 zeedpG@M_-Nd{bBmXGoHPCw|t}*3Ql=ra$%Hn+}ZL9-SnZwd>}EUaW9nk088BjI^}< zLqlITzK4Z{?M?>fs21$+?aj{5!(uKm|3D|bI5RUd=C5UI%Z*@@3tOLq#M<@i*DqLp z%$!}C*3N$VvX>W3VZ+wX0K8QzIkQ;9NyhGX_3~V9EoJ1)e}0!enBa4PQbx=#AP}L zgdm`HS{Tp*U%w{{DB9WBC||qg05ybfoy#1$vwtk@U@#c3y@b6i86eU+5ky0yqo&m2 z_8WUnK4wmN3U>KRA|g%UY!EO&ZXa~XJv=;&L=TUQ;3BXbx42o(5PsBcZfWuPbD55g z?nZf-rN?sL`6FK0tW{WTaj~(VxZzNP-ER{oxul7^XH6#XL^h!1;J|lrcI$qnPxU2N zzDKb7YCojsy@ ztrb?>444Z-#M|4u-uE|2bp)u}KyKp{dyOQ(hZ?s@Ary-1L6_{~n|@16OJfQRe*4hn zuL{saQBmk@+RT!NWTufH10y5nICPf*3C69CXOQ+B9E>Zk%!%OOv#_&=QwKFPG(bri zu$V_=AfRJlWRwO&vOqm_SKQTjT?6BSe(@sr?X#R5O9O+p`?(>O`s$tVlP$qd7g?`}*s`X4@g^hoApWpR;TKhfCKbf%l23e_GXD-bTuuaWO`UolCDH-<3M5T18ttc=_2iU*Ed7Z^iEQKZSucGh>mpwz5*x)6=_h8i zRRkIMx@>@kET7;d&WJV7g64?xknmHPzLS zs{xBr?h<862)Mku4rEKCRtcS6F{>}=n_ zzzYzDnVQNgDPdt`gu3Snmr-$8$?KyKfr589Lq@i@wZ+=EWhW;`$EHe58I%D< zL`6BdxqUfIr5Cm^Ha4!p7A4d{qzDfNw)0C{o1D)!R;R}M8hK-Jx%mfzg|Qbmo1i5% zxDEIf3OL(aTk*Qcr{T^)Z5!wV48}@8;5F2;Q1fZuxK&bpri{ByqKNE_3=(4EiZ^eH%gZ6~l)Td*lQNR$>Z72b zz?+nwks<9iQ4gXB0!C#erZr^{cR=_KmI6X_;G4$ZI#B%HLn*Vj0VEU?dkbG7kcnlM zI72}JHZn)nC$aN(;O@BB^t%fv@jM&Ts!d8x+@lw(;3^RWo}3{J)*=pqP1NycO7?^~ z-8>2iwM=r?=iuN#9=^j>rHQbmVhCfE^1wslpFNAPX4shp_;Z~x$XNm{m8hjjugZN< zL5Kg`<U0yf#&x`!eLpF%XyqFW-9 z_eU6of|x`~D#4YCl~wDgb-{=(`)0gRnVAy#*^BhoDq)IPG&w{>dLX_H+ZDZZsdXVY zuUSx7IL@1}mJ8R-Iar22CSxobuSS%-fJ1wRjbVPB9Of>(JP}=%L4ARuKu>YVRwP|> zx{B?5i~deX{x_PJeHgN*c7Ub&KYtGU&@#J^nnI5iSjhAVmcM?jkx6^c!vhy-{rp*( zyTw2=IQ&l}_pp9dXs~_!KO;E$9-m}N;(3k)6QJ9uDEH#TtBQ(2QBmp;-az#WCXL5y zOoFV10AK?R&7Qx{BOf0eMDONJDHd%LlMGmD@+4d+_tm%M<#C=zZPE0N72_Dp*`#)s zc@+l-zDCk1hJA=JmTI3rH-%QD0N}wcqtWP?7)@nmWpINjAy)nFfetf2c3aD2s6%%$Do!2L7-az zmy*3d1XvBc7TC;uZEUqbXQx(i0@jnlagr&q`ZZXPw+jhWnm>Jd+%h#ZI!am#w${ItU2}s2o%v>PL_u_Dma&9o<%uRdh~3VruHi{ByU> z*I-W}a=8hc?otNBZ{;>#{kt*?iXI8Ko~RZqEiS@nnALfzU?@kdUiBK2py+!{ja$*46pi*@Z07@XbQJ|8sEgbP1g!f4KS-8plUD3D#QZd4$9!P5wfwj$M>f^6Moae;$+-w(wc#eiRoZ} zA%|K=3?ywtM4(_2V5IN%tQy!`0|SFQch1+xt1C~d{q{!n2Jr_Aab2M67#%e=H$Mh< zN0EH>FG_>^xU<$=v@mryg7R7is7d16wHgUjpsUmm7(*xx;^AonsB(yh`X+~Z$DKH* zHsTDCgPNM!x_Npr_ns~d>WSY*!|v5m`oGQ5tR44NE8q*(*Vh5@7r{t?=h-s#S?J0F z`~x8`&`P?x_aJfw_zD^&pV@Cf=Ta&vTqNkN;L+yJ4jD1=V^YGYrfTo6-@d`1L&AkP z2L~qS^oVbj9%L5Id7}SXr1aQ0wYC5BO|ZlgWuk6xQ9d!9y~x1|8T78d@gaiVtGnJL80Kg!!KW)l$t6oDr$54 zws=+@Hw48qi;H_RaSE!cs?)nK%gVy0XhKp$J!@d$-numm-9+=mBc4U`3kaB+m`qdpSWk%5 z-;M%1u=D%3t&PpUge5R|g_r18(aH@j*TP%AN8P)SK~uMZ(?dBgbf)925s{Iv zRrtSi;G(J3n0z-U+f|pb^9i2k^ov_Tuf3h!i(iJcNBqs3e~sB^YIo$@P@}M+q%t1( z5<_ESZ-BRigyCS}o`X&a3MC(SlG$d{;Jsx7tpZN>z9?YQpktOlN$~YD&Jp%)Ki2TiV1qmQPx2rIQcD>Lt4~EYP7A!x1&(ELB ztE=byy{LZl^aQPg;e4Kz#hNmFCC?AykNy39C|Uu%q49d3x3F8VRLpB5*q4#Lrsv?C z?k|Kxs8!d<2m-A~%F4lDDC6SdV9&#j(AQ4}_?rCYrrILp5X1TdJyB;zM~LN_+1TXo z&ufCZgT6k^s$v@$Vo2hyd$3{%#V?Rg2?%U?Wd&TUoxMFDFK=;js3cYI__&L$?G@dZ z!HV^BBI(~jl+nm&5CCs*qvJ(brn0+V2@x7e?i=+0MY5om&9!PdV25xa`&e3 z%Jg~$2Zhg{hhl3TCnpqHdtq)aW?_Mzj_&h)2E^f0Fg|cxa4?h6B_f{vIw$aCAL>TI z_rG_a3eL{902mJG+TifYif2?UEhh&DB_JS_lLJ9fKh?~;v$HfbG)=B; z(0k%=qmf=@7ito1Z{If5)m2J<2!RtoXK34tQ}z`HVPIg$1Q}%CS$!(-$j}}IT0naN zI|ugklD@aMq?w~AZ05X|FZVly8&`)axFJZFm(Nx$kdl#MW@cswXsUk8J-68bn9<_j zoD+-yj;;Lu($VP#p5(fQ2B@DyWNHLExXp$##RQbv#)Kk}U30Sc^bny$@Gk~G4b93j z2gqY=40Mjzl2L*_)}Y!rQ>xVy%T2}f<$}{fQb;AR@Vyrc6OPKLUX2wP%W&QLSXY

KYJ-GZEOe&2z&@Ul}{<9 zv)UxzY#bd^1d9e&iHeTiZ<|FY-f(ks18Z(zKugB3J-@sTvkT{I&|^Y2kk*8bl#~?w z$hx55*$63CKBy37ei{-Q5`swxJb@igb>%QEIk_oKf^6i8HACjeNToe#V=m*3uU=U4 z08jim`Ajbm(-{uDc_dQ&{1M)7AR<#%wwY=UZ55$(-w>=N7rbZ=AG@Lhlk+6!JmyUK z#KgoHA)sCzS)!Wxxj|vw^Bghv?k#k&PKTbmvNqAcj9^w)qQe&eK8F336I>9z8U5;N z1%ZP|-B+ko{k^jj@u6X}6}l1GUEDJ#B%%~4?mP3KgBfrQjxpeYsgWLtvbSP{JoYxN z5k*Bsq!D3NW>=A=`a0DTzC~^E(eGtxsUQyz{;mdnfxT`8G3{uVV0=<+ZWIVz0-;!e z2FCSr-*1w&lnE+8X*nl5eE0AFnsni5W|O*bflRJD!s~ncXORmRFH%08?eFV@-rSN5 zOViUH0Q8{!5CJ}Z`?qh+J?VR$P-rL)$=6EeQ% zHsoEoN&eu+!9|nEl|nCFpsZC3)?f>XiTwiW3DlyyC!H7GOYGE5i5}N4gVQTO)I)=|q!3BeD0-}^|Kn0BR zkYIEaU~D?6;RrA4y*3ExjKS6R_Zt9xsn9w;Ha36bJVZ-G2tNvS;BS}@cnBCiOy@Ez z&Sg8>Q}Thsw8kT-=a==}iI7|?D=MO8WhKv|0-%@wmWa?y!gVZSE6QkmXz2Rb!I^Ij zc-_|^629k#Cv)-Q)XdBkvl&M#D-hx8SPPnt63!lL3}mU{1q^7X5+ zf9;yZ#KqCao95vcPTScsfMVdn$_nWh8FF%Ru)@|yH~hA5^c^!6_hCv_f$?momfhqs zJ2}%bewI}U_3p}#ZMcgd(%rn#I)`pHzpCg_SSw_zt8GR^At516Lu=lD@D!rrVX*oK z2I#t(la-otTAgpvxL~aS5mT7;_3rT8=8iOBXt-5w*{CgB3rA1jdT?HMO)9gnvcmjf zG6y%JfPu8Noyp8(k))1QJYvIki*a)^($f5QgHf0+2YU;$&}d!O*^g;o|%r)#hSg39|Ig6zxMRR zf9rY*yra4f4BdVkao#rnA8<5qtOc;D-7eAaQ`C56@lZ&V%L3llcGU<~;OKx5aC0jM z>y?s1d%krkGZ$)-g@n3BN10XS_m8o?IAD`52|rfhIIC=)$)k}9w{f)HA^i4PEb!3q zdq`*~^#0t`LKguc$;W48ZXWx=2GrQv6M5h)#nsL2n(jVjqYmtMMUJyXtz=2SX)G_B z=<8Sc{$3vb_5=d6fPes?(1Md9%k<@&Ei+~c|bBT>qy4o7vyT