From 245339ede3d3edfd90a8b76159db86c462a701d9 Mon Sep 17 00:00:00 2001 From: Paul Wortman Date: Mon, 6 Jun 2016 21:05:38 -0400 Subject: [PATCH] Change of attack graph example to a 'zoomed' version of the same image --- AADLSecPaper.tex | 2 +- images/attackAnalysisZoom.png | Bin 0 -> 42904 bytes 2 files changed, 1 insertion(+), 1 deletion(-) create mode 100644 images/attackAnalysisZoom.png diff --git a/AADLSecPaper.tex b/AADLSecPaper.tex index 99cf35e..76750f9 100644 --- a/AADLSecPaper.tex +++ b/AADLSecPaper.tex @@ -183,7 +183,7 @@ More current work on the development of a security annex for AADL has been relea % Add in an image of attack surface graphical representation \begin{figure} - \includegraphics[width=\textwidth, height=6cm]{./images/attackAnalysis.png} + \includegraphics[width=\textwidth, height=6cm]{./images/attackAnalysisZoom.png} \caption{Graphical Example of AADL Security Annex Attack Impact Analysis~\cite{AADLSecAnalysis}} \label{fig:AADLAttackAnalysis} \end{figure} diff --git a/images/attackAnalysisZoom.png b/images/attackAnalysisZoom.png new file mode 100644 index 0000000000000000000000000000000000000000..f632f6bf8c4d27fc12f6fbccba21e562d17278ac GIT binary patch literal 42904 zcma&OWmuG5_daaU-Q6uA-Q9?E4$aVwNJ)z@bV^7moq`M{4Kk!KNOwsMAl(h`<^9~x z@A-dxKXAazG1s2G*Is$9a}lkjp^S||f$`+Y6YN(i3OY}oJWT?AhR~h??>MF!RRh1C zdg>_4J^A*FY6p0MWG|~O`{YSYBIX?!8F-EUM#aeU$rGIJzduj=-OFsAJSpXRr68;K z&U~*O^&Qbn`{U=^&V6;a!Qpn{W)HWVp6GohpP2R88f-EwGHVx?brhittL)`~L%OFQ zlVrS*%7iBa4%;u68xNg)8`^(y9{LJ|eUP<`sW;}@I;}j*kqjuwnadox3$D}c@a%4e z&bgTG)P#HGa^U9>F>scC`2YErRccH1loLb_oZCIIurQR?_pDgwCl@!YOg4N|FHYyu z)6;XN%0zf%HB;R8r6C38vuDqmHWkSPqo6r4+J8E#s}FTGCC`@*gD>r+Z|Atte2>Ct z?|zG~T>mOj&;H*hiKi_dZ)O;k6HMP)zBF$eNZT8#G^%@8dAto#0QtN}8!9K$2M669 z_fu0-o2JS08LT`UEVVvvT0B6|hH&t}qQnXy)1Mu9;5qESheM0ym?LH2Z2h}QJg^7z ztz5XRFt8;I2F`Cb7E#bW6#R7E<0ffb72?+#)nEHlCMc zx%p~wugXUB7Whc@%x=h8A+5*ZJ~Dp#5*_RC>lzf`W_L;&d?o#lP=S8Gum2 z^4r?(U=U1mbMw{J)%N!GGKHJz#l^tQL1K6J!^%p|2IKg_#l^+#?d^d96-~{Nh=_>r z@bL8X^e&G@G)zoDsN$XoEFwFhY;As~%FxiK@Qt4-to(d@Ah4qVMcj8N6z_3qX^EFp z98FO>gH6e~26S{`Fe<{t#Kgw7eRqATudmON5?$4Q2c4)YE90SvFKhPMHx3S#LQq*N zX{i2t$Vg%XL&KTz;@7_W^9>=758aWt%8H6LX{DOE%c29{T^GhDCbXNa`x6?M{da$N zg*l)*!*it{Z_ana)|;Nn?#m?b1(`T$X>*%Bw+aStpZy<4Y`r_zsv z>!M!Uqrd}O!`YEF`5m2|v>4qvi!UmlqvEt3_feAlj3MUWp??=&6$v}?8A|8Mc!?kv z47r)eovt(rOW0d#HT*h7@Sj_SfgupKoiJP}nbB}GG!Km3gr=q@KrG!jZ$@{kI}g^@ zKB%JY{{3rjugH(6JSrg}5h2FM#7Tx~F0b|6{{C)DTKRj_AU(KC-M^hi9xNvhyE(5888*iKH8?aR zpQLYSxOI4l3#JDv+`C#X^Sq5ia%6nQCM_+k#}L2Nmx7(nU&#r(8Ki>FF_3mJ{3#|@1}Hbt8rZrs-No&32}DjU{Aj3 zvf`mGxgD~2_=x80LJyef9(U!32ZZ;-H|6!0+?S%M>=m0%hfl7J9UXUoTMi5i{Fsu$ zOn}awTuzUOiHd4^yNR*J-E5jLxVE-tGGYxFtvxHo(=O9bFU{l-QP*HfR3s!QYXSpd zPbpd#1|}vi`lLgHaZwH%)>F+cXCot{#ar?BP=iVkJ~?@`4W67$h<-R;VPPS!Sx-bp zjtY~UEeJGQbxFz$tEE%`X+R_)$TK<4>QWRw%Yv(_pjUs6nN|uz?In!Y7Zw(pNqn~O zTSK--=?x7H4~D~J{GWs0X@)qoua3|;Uj6(v9L=sS{bjB7WUVXSkFPBh3hl8cj{5qv5nhyR)5k|3^Z^{aQ8mZmOk`b zMIAvXZVYD4{`2_C%na#`x+TX!9cm=nklSAe>_bSR#YUu9OER*U#Mn_9#7>xCE*`|W zL|gIa@Nmm`_H)h6Mf86>FIW>?bGBU+yPinfw07;-(?!zo{wp>0#lh0T?Ce1L%r`R* zJf0MjS{w8Lb=<4%!o=ARpZ~kZdkFHgSb{Aj+Kwbb*`@pX2z>B-z2javE*&>_;(gFj zH0u|#m>uBu=Kk-Q-V8KnOUvJ%0}a8QHhQEF-^^Nr@78G__uWGRPKSj7fp$LJI7{V9 zhdkVc+%|?}OZf4z58Iu>Gx^6pmh1r5Ld;7{A*BiD4Gfhug{6ByGJlxE5`UeDTArMXiSzEaw9aU9TMMWE( z54)XK*4EnSn)kb%4;;pS&H*Pm)2#|PCN`)&I}s^qAtouextfZ~59LT4Y6_~|fq!o~ zriLIrs7a971_FUqy`bmdR0tfAx~-I+{D-F&46j@U8`IwlH#-@Mc zF+Ts-`l6smw6L4b$6IM6QxL@fl11RLBH%U#sOB~asi`G>4@~XeZZjL#zx1iz1p>Sj8RSb*@Jj#s3@gWy5>Z_AviX7EK?6{?#jFd=kT2VCOzz|K=KJ zW6Jyc`x)V%wReZ98RAW?3)m2*qX9p@a5{zf?9ZQ%Jl>7`H#I3fsDs@A+B77E0!wf~ z%Et9~ZO&-eG`>#v+%eI(a-Z9(_1;Y%&K6#0{5GXNU2QP}OKSC7NPBXU)f#aM}7{Ev|s({47t1w)Ad06?lK4aZ^pJ5ayf<<|MVjpLUAF< z9lOJUqqm*Y0Ac%moY|JRU!%!=r8!^$r_IOJ)?&fewfTC!&GiyNeJgY*(d3sngb3;v zrhTIfs=q$U99I72?$ca9cRq+%56)hCCL9p%CPiK|$Kijvb2YsDDtn~JP3lwgwcIbn z>+9?wRUwP=*}y9QI``qKYL3w0ApG3Sf>PsxQcxkQi8YIE7`Ni&9^(T!@R+NV7lmho z^W~TJfXjoq?mJqJzCUiJi9m+89v1>alvs&0W8L)H9LKS)oPH#S;eYSx z|INn7OlAK_!$q8Y#-Fp|`pvubj?tUXp$#S-8#`tImGOr&wbXTyG4{Yz8o4Vh6ePQ;GOF_JPiRkyM{+LFN4ck(+mT;CQjd zKE4$#xaE=6cb@d?NK-fd*scOzp0{1Ei-mEw;cpvW@mX$M?zS?`8-%vxyXUo-7)^g; zbJ-bjOe&d)BH)136yHS^bR^x;Jmws5keiX}h_$86ORO0uC=1he`~um{P^Wh-a0SP4 zf4{+H53B2wHh(wNcISNjVgjB>zA?=U<(}m4=Bv(f4Sp=Mw+;7?!(f>w)@x*K3U*hy z?--4E4#r09rZ8p5mRvV^S>lVdd2ac@?~KG8FFC9(xTY!{bYqx4yVJMrh}ag!bIL3% zJz_-oAuG5aS4ogeA-Nx5RCY5hT4m)MbFy*jqncu)F+RheHUkrPqwvYoV+oEJtXwr{kH82;2A&B9vRs6R{jy{T${alJ-v+^?^hW@wdx zim0tU^Kh}B(c9@uUEUzNZ^`OtxSJG&7f%&Tenr-yV+J>q58N@vTq~oUs&_))YA>;q z#+O?Rx8;%5jQ>d4ZDpPp%5O<7t=KVOIAn9%8L=H_ex;hm)*(lx55wi&!yMc{9zN*E zc{)^|tLktX1?KGT;p;X=WXG&BBy{cH`E)KakjCw+C`^n+vAEpLvLq+VzAPm$9${&e zN1EYledgIJkLk}Cd%HG>{8PW+%-F-A9jVTEbTP51u+q$YDqn{5PXKDxJN9t9eK~JT z3rHg|^+_8Gc?+RF9Cu*9Ib(j6d?x1SK2`;F78uUO!3d`pcSr4}97Q<|%RG*9jWEBj zYo%W-V#jAOUe5oa=U-%;IbSAdbX5GtVr1#PFyr`=5PctbOTi4Ps}ThUByb`iBxlHo3rq3N)MY=nQNDwkuzp()OMt1=*TC^*M3Qiarrqy{v_p$$DDm?(eiMyk2nUn--4Bx{IP@LjPPWSZq6BspGrc^YXsm1F%)X-HL1|3Sx8tSRPAO;$)F*yxkJC~ z+kp;)zFIYYe>%F{NkB5q7YzmBY@Tix)S9^!7Dge?4^+Hc8Lk7Q8g1!Q#0ImZ7B7EL zrPp6D%JmSCyf|a04w&6ujkheU5~`ao*(tmx*P9DwKMqpT|4FMgXQ6v;?{X4BX;6tK z;BSv0%~HixVqx0DDEpwpJ90Hm7vzPSTYG9LU=nL=Q%bmS8-p{Qrj5oN8U z6(+^F_g*i`b;wNm5-m9=V)3558Z4f~aZyw;U$izhWt>~*!=BxM;=8qM+LzD|EzR+VKR!M_UOw0}g)>wzxEY*(ywT#5 zT+(5mSEQbxmcvqK(+JAu=AZ2~ink$dH14p{e15vQDCZ zqNi81z{s-EHyb1gZP6?VyX9H93T_sqG=d(0u+{#sel5s)scZDQY<5R)ORW zDcgmA02<*D@6JFwYO3Pc-5Bv1+dusAYVhd0Zl!HdxHkbA*L1B^2Ci<@`&2=lv4o5Z?FJHb2;mm0na_>7G20^gupA77mB)?Cwn zXLtX!C7{aNn9MBUlKE*uZ0yBMnVrxkm?V|ka~3TYZ74Dg|En1%b|Z)-RX)!{w4Jb9 zDeXw7BD^`CAdb-b;G;vYDx*Nm+;6)fx4cKR@;HnI8S$kQm9)JA0()H#{<2BUvbF}E zPwHb{-A-#1D^IPs6o&nV$HP_W)8#?37CvD}__PMbab(!Dk1kK+YmCi*ZueMqwS;em z5$BnebHeep!llX;5Wj zz|;(s-q3pC0-#ygCOu=gW!mSM4|XpYD8e11-0=A2szG#-unhHBvm($JHb$l%D;rxR zace-oS9gD`wPXy^2>t0kkqc*74Fa52jAzoakf)G^}dzgO%4-2 zoUdn^8ySq0mPQi5UPG*QOx zsEOO>{q->4hVN#Wa$rq>JtyPz#eml{h{Gr9~g9&tG{C4*5mi zBT3RF{2iWnT7?Gk2cub|0zRuhYHs|dn#$F;xaf9K-|0H*eo}6KQ>l1INh}>36B4WX zn8Us(*LbslV(hL3kC&&7x+R*%yPC#Rh}^gYtM?s{#8Tg)D@?1LiQtN)3QHhF<1fb&omUR6VyF3Z_%rxpbSl5VODk0RHNRRqfO zd`6YzBx+}DH68dMnkYqLGJf`51wM=}>F2jkO!^p%v3{X`k^{{eto8Iqp_}gL2^m38 z&cambs#^&bCVS}~m>DgsGjzm{kBMb_U}!t``iVxBqc^3wv>(9O%O(P~ddnsHx{Tz$YR zu+n_bO+o7skCrfO?LkAro^N2|BvwdVLH$wNLfRAB8KkA;z4W|z|Lp+94(l0qzUk1O z++7sW-u8K)r0k-ovPy8W5gmmj-XPTvrGl=%$D^=N+im+eN1QVg%R|U(rx8Z9T)hw0 z5RsFLisrMo)-7yujcbSUprVy~F&G;wHbAtHDa)_O;pi9xPhb0t?SqB%`{R{^3+}to zW0A)UK7nG}k>4VVIBUM4);X#55gqs0W2aKO3Sad=0n>}fStfcLRyES~w~>?Yw9qlG z=EeD=42ls&*^WD9(q7dRFzU(|trL&j^(AtWp;J&&xnA1y2~N_zP!fw1*x&g5l<`7A zb%2ehk+n7>7xV&NnL^ZXR+mXp$!b7>;>A*VZ0&RBl2k*SK3r7$!o#9P9Qy1I0_yLir5Z-YALiv*1` zX|I*-^$pI>RE$lUg%f|wx;UoJm28fE)M@GcG-&aix8&`D`u+$|7NTEEVCTIV-U|s6S_ZiXaS!g7VMhyT%gU8;4(_%Izj92~a1x zU0g-Pwa^zH!8)4wWR0;slW<-<;cEbjBg2vuEHZsDemiTM5zD5KGykCJ>(k>%9LEOZ zZ-2lwyFwAsGKs<(0Mi>kurwXX)%RFgNwVznpMosM@9_ipFObHRG?Y#X zNQ`{inVMC}%m#6X56_3Kf_25yewbGIu;qx7reY_2zn-!@Y?Q8l7&z~<)*hy*c}&7b z35|nc_*)NMy_jM^^yGYh_~XXRC##0poG&+Y*LOHjy6mN=Z)Vzfuy?X~-rQ_D)osNJ zHi{SWCgmC^rhKW@%#oSI?jfXG=2aX(=xY3Q#$}Ss2wY`f%y9w zzJpI4Mp`+br!+enIAr_HXWmK~r(Gr~=w#z3GNuNXaq4@zuXQQ6zi~c({K&`8FORZ% zdOi8O>-P8W-xU??cb$RPwNp;|U#GOSwWXw_(9zMws0n}PWr8>p0JPO>N5|BZ%4A|@ z#`pfl+rnaHanTg(gKC=Bp)j?6?%}AG zcfH<5v&*jv-p_FDV3v(98Txi;r|eMv-tq(*Fjyk3ELsp-v{w(L|(1B7}0`%S{ zkfR`==N2>(^}R1=6(abKEPH6OD9o2a#sHUG@OW~dC}W_kLAq4-qrtFgmT!BMDDkZ- z3SR@x$d$oN*H`9=uSt_ZHxCV+>RgqK@-4EW7C1Alfx6j z&*Hvr4|msPXJ=;$@hVIo+5q4wkpc@7w}8OPxZPino%aFg!szMgJV7zC!vr0acEh1Svo-N-L zPaBRoxZ6Hx>*UI6mGRrb{SCE14~nw*^NfijEkA}9^6zpdBVQ_{*cfRDBri}K?pVkJ zW}}8DEoGYL!?)ukQ)06}C0n+ky&hZ0_CBEElkG9kHfcndwP%qMA=!U6ZaP{VOmi&N zjLpt&E)foenwpv6-=?Ofw%uPW>{-vzR|4$>rv~Hi>mk=e7C@Vei{!P9%|_}AU9AbA zUt--C_u<2{9vnExZBfSW&t&=NXuf=;-N={WsuROQC(4`1PfPFiPF9&KT7I`}{GMS|$3urWTmzUhS$CG2Z+nHE4Y?~I zHyhQe@>*SdgW1?A%6T!GB`PEM*8?54dX|DJ-c|9Axus9zV(o+rP+VEOdg)ZrrynKX zhNrq}@_Z`y>uJav?ybkMx!QZ`VxUCc054B0-apCe+6@+0gu6ST4eE*2g^E5MUsg`& zi-p?k@1rXxPqzWr&M9gD8Zd@qUc2>PI&aoB+s_M+L~vt^l}0K~4X;KY z_C@k3hhg9Tf?@WTg!o)%FUJGd2Yf;Fy3e zo`Slsukc#=$;nARb4qUR<4@LHB4T2Chys(oiAk&~k`&7j(zxxygAxS`h5_`QjZ5@kGW?F6jW?dQV`|AJg;M#?_*C93!~K zp|yq2)GQgD;d{(dqoyF4Fg9kmAkfOVzrAGi6%W2^GJUDM=?W7A-U52km-`Ei?~bh$ z)XGAC=ZOMN^&(0ncSLy@=)>YriM-huz(?tg4edg_zuF6=T%>iRGIqu?~G^F3w(1Dq2u)Rz4YAr zW!CiOsR!XL2mSK0e>jc*$@#gY$C`qQ3fk={ZB~~95HI=@s4=myY@C74%JXN>@~XC@ zc(en^mp-xo5+m}pspvQCJU2cr^*Z!BVZdz>Zf>lhli(yX5DU0)@$lfitz&%X@9VPy zZR1+orKoFaYW6s@%|`MPk;HbXHN*-y3a)wnq!xeXbQw9#C=MjwN1OfyRoW0V=RH}M zkBEKhx{ya`=5M^ij$1c7JC;kt%SHD~*ZSe2g5piDuhRN0kK?}y`jHqoBW1?NVP7lO zmKPycSMM&+E+wy~4;I+?s}2fU*UO!R5qcv%zL`S~Co|*Nqz=L9>J!#=6wM_#abak& zy;j8mwk>TeJ8AH5pW$XyW%piFFRS>J2DF(G#E zm&BJWgdqKvQ8Qj4zt6)(RL2|-O1O~(B$$gmhcmryF`G!`!%2%X>? z%Yuxk0D;289ym3G#-UW4u`H$=o{5^&~r!^Zi(oRN@- z{mgd%nT57WXcSV6nq_9&b+UZ z+Z{yNwR3g`g@QBh+Ez1QR^SF8<1z4l0f3aa5rTVYm68Bz-yUVSBA$1Pz#^pi%WZkK z)Hp^|R43!>Or*z}XHWhbxo&u6PlI(W1g1a0S2tOh9+~JC?c~R{0CTtlpMK zR}RtvRrC>x9-Hn+@~^&{E>g``0n^P~E~4Y7KesM)&5~+a7t^nYG>>wxy0Y93nW#5J zj>fPcJO)!U&nNK!mXM=q=$w!-+s^x%`l`o3)&5^Hh^|iuHC!H>&pJ#sza2Ic14h_W zncv$Bl$x2bnT0!h&mSt596XZMhZ>FQ0qddqy9(8ZOkpFo=6SuT;-;MCW{xC31w>65 zqRh%XSIwP1agsJ1Z73P4E#!^s`OE%6jOE<=OQu8^J4n-8aqKy@(8T-r?|G4?>#KCI zHPv+zucvMlqnW$@DBtXSx{T185|jiYh%e4nycJ9oKscepMI{hFyoqsVCt9?77SuDwuTBE>pzG}j!q|ZWh0{?F1(@y5d9!v6>AJv zFwN0SV47&w7m;jH1!CzG_C>hFl4iHHj`aLsW!oh-&;xx-Qb|HKB z3r~QyfXUULe*Sp|7zJfUQcP~|q6D`ePReC3UC~XBlZf&V<S$=wM^D)? zp~6f#)pzYscidArfKP@3X$-{;3QeQ@i2~>XnLe!|#jR-|M+IVuQEqX!0QjM-Pj37w zt_Fp}O8K~^>j0-9mP3?Lz?I*GEgy!bJGeq=+Bj8hcl6D~RnSazSDJ=-Zv*J|BE!>- z)GtePASPt;K(T7IYNGky;X&^u;(R7qRzGL3S4 zd6VoQXS_Gmu`Vy&_9K5aDg8pjpGFHKx6E^#uLQe&{?eF*Uh@0JEW7p7B?=km>nk$# z(Ns#i4NIk4GMVsRSf!&-_Oi>cTM`vON1*KsW@_WD)^_6Izm@wT=uHv@Rl>15&vO`5 z`?*{GXI>>h3d=J!I=xt^GV>yA;mK>`u_aS zc#)saRE90D&BxnEL1~`a_#CAwzJ5JeuKKAf=?^x73bG;UHHDsCIsee; zM-OOgA}+;I;xM5w~sc?auyMP*JfmCU%FbW*X;YGSGy5eGey>(>vbxd|2G0)dlMZv|lI~{uc=;dxeJm$s1^|lpvG=0bwlql$z#1^A0?e*{)~Q>t#2h+ z-)2$fsqeZD0M8J8e}S#^~sZ^#r8f@S%WjxSfUli z#oq$8;+x_~MZMfSO$(=lFBKTMENH>4;{J-h`Rd&Z#dEO1ldKN}GBY!K`SPVFb#&Eh`+n-IB#$$9 zQlZX{)uFlEk=xW;%RQ0cJCVfxb&@&Bzxox9`qb`2zD|Y0a^#VwQgyu`*=FFmV>$?S1r(bR%Xn~;|e#E z)Y;F-WzY=Y9K{1;|K+A=?Z5#b^|0u>wYEBWgH_crCFbG-kc$W?fVu%9tNlq<5zwoD z_ST!_0;9up_!zf4?IK_3xr$es%8Sw$X)+iG$2zUga2(;L4Fa&^2-jy;E5E3Fk zdwSXT@;~1LP^#9*jiv-qM#7~N%-H*0vJdqKxhSk4=Sm^*{LaFLAyF~4Eap} zL;3Eugn^t#p!DwKCo3+E#5JbTLQ@(W4NWF&;XU+A z@XZbYe)x?05>6K=#@^iAY`ndmZ*b=ROUz`b1OtRAegzQK3VWrgk#4q9PkS?_qN1Yx zuN;8si&qaBMHd|HPYga|MAB6`d-7HoAeZrw*7J#sN{2%>aCnJewDo}i=?)($|E&t> z^{1EEn3&z^PiEj5yw)lpfVRAc2wlWZ#z*9rlpx$gZcRc$q}kn{!(httDG^Yqn{7rS zo`|7O+_>n@0MxZ7BJ945MPKkgHCxKGy|YB{qE$ftoezFup^9l|5XU7 zRu~$l+lP;wB(We)4OLY+=5RsB@uDtzvWW1_-QCtVt8#Jq?d?GTY}SbGe0i{hN3Nt} zW_G_8%Z-DM=`R^t@&lv#!zPph3dG7L7nm`~D2WbGg58%6+n3x zDr=;w8k3l)X=B3_a48X+ zBO@c%uqG%eDlVnp$c9{{N-B7>I>gQWUS4d(tGrFuCd( z&9nb^fv+a4*scTfsc-D$e?;?>(;q8luG;R<@EU$XX{AzarC2em5Ln?Dpg7ehF#=x+ zgGcJ$iTuxbU}Y0996G0-UriO!U`roU&CGs9ZTDdtQ1N?mS|9KiL4$k!8 zl=&*oz`{p#0Gix~81L?vCgKhiR@MSmCo3!KGS}bF%FCO~l}P_TsT|OAYKV-g`EeLsCGi zT<`YsFywZ>k@Tf0$ihOpb^)kcp+J&N&cK-vfQfl@b`n5q+Zi8eZhIa0aI!f>UwC&H zNRue+wYCko2>{q4rKa8oSnBq!^Y!TEYk=4OUHRn;jev;9TF=fzsps3bfk8nlA&)^o zpaQ6@K&~m$p%20x1SHZ}65fch3(#%RO1#9D;>h`7-QDp@g$7@Pc8WhG2^Dm$JX|!E z<_6y!0%7!YMEbG)Feve#xsQK#=Rsfj`?sY}J-_`gfZT2~^cT|2%F5DuU&V8}tpbFZ zQQ|R1rx`%* ziT%G5FjNM}|6hC$L)%^c-(!}L^HS;i7wqgYH0W$GK=LB{=FJf>ek0CMxd3pK|GMr< z=mU@(-7fjAm`M{rH;*W+ ztv&hdyL{bP^PBYXw7uG1!oz>g-8~4|e@>`Y@slIHfnSFKRP z(lSqhVfDW`AwGb<)i+h^lf*m3Orw`4pjFtArqv_?{rQG8X8)Lj8~ETvfHMIHmJ`Cq za2@lXELjux-C*rq;J)|9O=cR446aJ>AT7wpwwB26Nlj!C8|7QVP#2F>`Iy?xR78T=pHJ6*9x@CqQY= z5C`DVg~)Y-Yl$T;ENSW!%9y8Rs)p>F^6WnBX(HLtrK&z-k{&{zqnxV`ivNs&C|~*z zr?a&5G6nRlr~M`&43WV2<;3k)%-Jm+w9NZYs{L22UeK|>l(5Z-an*_ks5pBD+5r0fvmcYEqry?yL@VW`wr#5sz8H1@5Ddo`rK8> z97TV#PeBK*{G)VUZAa1I#h96gP}O_q>-SjbUpoy4-8YJJ)qjb6;@l@ z{MBJeqS1&~wz}T);mBUye(bl-2%-uAjJ4KRTqv8CF&=Yiy~mph^Y{wIqLBBqLH|&h z-o}#B)zk3C<-f|{j|ZhN_7YOBRyS2@yaJ%k%sN5qEl8g_S46;N0PpR5;8 zoZFY>Y^p7Px_aqZ`4{gdQ5~XmF?c@ju^(w|13@Nwrg$(_d9^;)79lnGXPY(opStny zF)%?xmHycku_PPg>V{=7b$BuVu{&?%_-mhuVZ%&$y^^Qfan2!{N~WMBJu@fo9A_I_ zmrRYHl6j**4hocsfbPbIHjio!mG&xnnegbhd=eFZT5bWL?hYJFZxRsp{G_9!xIP;W zJrHEAOh0Lh`4(`o^vHF&SyHGKI%cT8hl4CUd3Rs2%C4I%#QyR> z_LkZ&3yLdqF@6ec`WfmF8||;@Sw6;O|GGOeYyu$F_)mRQ1ua|cgfx&b!gQr? zKTn4fBq_#BCR};Nw?C@@a3A2~JaoWD=YS4U?ke z&C5Pq-T0@ejCHl3<5@Uzs+=MMGI?dKU0@Ju{Y60)z_ZX8V|39l=_551PV06eJmJFx z;|Sg_s@EAWmtHp_FZ3u1ef}*wQsD2Uqz@>Ox0PbfYa94W(zK-3pC{05uNEK)cQl6s8~H zETIIf9yQnO^%ZDlDISKIkoaA$)dxzJTNUO0tqTxQ|vDa?6np5Z%@;)5hm!wXLxVf?BZW~=(gtyZs0F$7XDyRe`jHxEzn`5)`opT3wtf8VrtvwTi)7DEd^w|G3a z049f6QeH4KZ&o!f%WXnoz|iF#P(uP(6d@tu^OTrgtM6Uit5+tKN`*gP-R(VqTA0sP0cf19+2O
hQF_xK?_XXPKhOf1Zmm#_j(A?!py zH4;y@duPNPzsmi%RB46gXq!NGEyPc1Sj9qyU$wreg~q&@&*#|clm1uZrKRS1V64*o z-6{l_9k+Zf;(I`q8mdaRF_^|t37rmUVG&>>N<&Kq*dNjlSJnfYljXYl1qU-X=+X%ES08nVP2gKIcE!@ca-PT15>P58!4Jnmy4cJ zYIU`>5#bQ`!QtV30QCvnTIcSNA|d`bV`g9!d#GJHQ9kuY)Dr>B*@o8x$VNzyOxhD9 z508#)q3e)y;*RRF_yyB;-3a38zZDSo;|VtaF69CbBth9?VBi1RFRs+pkKSIzay={g zAN~gbIqI{Pu`z`ZN8wn;=g;wn6f4x?6}PM6dJU9mbst1UdKV+Eo>#bVFHr-5YxazQ z(iTSYL(t2Gf`UTM@Y~sPEpzZ#foaHNQ*Ug$use=P>-X~VXlDBU+BTB z944K?k~)dpGcJC9h&$(34T1S*+#%PP=|UI6(pO!$NBUOXSDV}+(Oi+##H;i_gg*wJ zFm-$$-5ferFLs+-t8@E2#EMz?fdO^0(PCX&OY4aC@tAhD#4?v23?2z3BY*Y0LnP34 zwh3H zD*fC0n>yOSH}9q@!XcQRVPT#?as2$*8VQ$Ny|>%1oQx`yW*^}$7(}^9r`+IcuMpH5 z+69Hl!6AxRLrg3z3`FC*nXDBgOib^B?>w4X0|qmj;GX68lH=kK$l;S{b9;N%2S#R_ zky$xr0|>ys`}4=C$B2uItE@*vTue+W`Vbe{hX6O;8UtWY?TUwVY?bDIF>U7ao+w!? zD_cxW<-|>VU)>?r@$R@-Q|bjS)<)Jc(m{vU4uJ^`!L%}M5D_6^n53tk&%SQw?NIMF z!{;$RfSXnH%=)IDl1+YlZP7dW3NXH~a48Zpb+*)!=TQ2Gsjr^={HF%hQq7JN$C>;S zAHtZcs!Ut6WkA4x%b+Pbl>sihBY4q6R`-Cv5lWfJD$aa$5=1j0ABnQ>M| zS<8Cdci=x1oYUa5-DK#q-c3!6n8mSAW>*e~C$V;1t;Gff1r3}fJO9qMLS>RbVoyd} z8GsbOKHjGj8^lCod*jjk-LGzUZ!W(-VKqQt1;2gy1!un26`X&>@)q_9XnF8Djx*^o zWd8UBakoGJGX;bRv;yD51T^IsHNsGtoS-X}#Gs&8~MsVy2{AZrIEcKmYK^ z4It!-qPH$eN?3xFD=R;EsSkFU1szv=XKNg7rVQq)8CQ49qklIOCFtZ2qn(&7FtVh| zhcu&_2I-5qQGwb(l6Eu#KsAb4Ld0jTuCAbdk?xLUjUevuJ)yK{6cq9z2fn!H7j|>= z-xQ~o98FD;kWh=yfNT%oNUac3qcu8~HULoFT}At6-Hldn`kg)1&`M2BjUZqJ_;@lj z;bLzF#GMH8J>K{N3-~<0CBDMi5JeCVzr6?v?hqr6QaC!A)}*+<-VH6)RdC|JXd^>o zF8TJ2?kmpaeW?}Olsb3q(6*E&Pw13ZG4uWii$7a;lTyHVR?TfG9c;)!m!inWh}STY`-p1?zl zX+^^se$!bPgs1{**Qa|cA058Bi20O&VA7U_Q9^54zbfC?7@IRzO~di>X!%{;@?Z#t z+N#YDdpN1xy}g9Kb#eMoYIOPYa7CAB<*=vFOlab#_kpOW-4fKM1QxBAU%u6+6q8{1 z5bl-NJ-R}qw#0+}=`iMK`4m$f{<~#8=c*Zt0Bn8HNae%sTtD&)AYe69*U-{#61+fj zbPO9RZSAr`*V@?Acz?gQPqBmus|F}wQ^!=7J>MnX5@W3(-tZ%{*f(6&3JdgubS%wp z-T##PlkxP`Q|!BuPx3++7^0cN_??>R3SnP)`4eb>zNQ#%gR!!lJ3gL zx?_~`Id$_rFWG+@wg()F$PQ9N$YH_xOTTZNi3_9N^Pkq7TPLyz+Armt<)AVC0a|v9 z@lhZhg7gmpAr&!#OVBy5JC?aeoV=g;)oolF_n&SU{ACuD0aYDGgUENwOZ9EDjHo$p zX)8bg{{uaM3!-OHPG|pZ>-5DtGGpohO8VrVW<0lp0XgE^cG2Z=N-p+9SfbY%&4LmH zbQ1q*lEL-TLKqQ_OXRHjn~7&7J~=yt2>ze{M2Ao{S@#zy@{#M47!)Mh)a!f<`Ul4u zG3E-&+n)M$W#09yVNrL^gxlW))sgETID>>0bmv46X&K!(>1P?-l;n4eL7(9Ny{=Hy zz5;H%j|37F7!J(V9HgC>bJrUG=Z`hCh;$A09g5slIveo#%d_p)y8q9uEP1$1VkA zehJukNf~SaZc2Pdou;`Yr@XcXXZi1Kj;`+wpAG7UtMVP~_zj!<^9`XcB@X(yMxw)a z@9^J?6Ix}O)0|3QO^n&eM9{^5y4lqr;g(dROLjb|2}s(9))WPM(()*@*jCX@GtS#K zPTCf%if{{`#hQ{k1LBjfVUCql|GpmJQE}$K9EA&$C}(SoX-?7nPT;#^%mozgKi@wM zbxBI@RBm)oewJ)OB;!D1LefEU>2hCJM<-C1{P+DhsA1s(SOl)@EM|u@gUIw>`f}ye z;^3Uflh*!&xl2W0;}P8Ddvs3aO%#|}OM4sbfGDGX7K+DD_1f=EoJSI9G$rs5VvG1W zl=L&ETfSMef9~z7Qt<@%M@%E_l6dt)SDSXek> zeXy(M{m)(J)6vlZwAbNm_Yo+#o$@}eMj@*%`um=5s%{Qs{n`IHMdwswGB8=H3s|Xo zNjJs+y;;66prBv_?~(*yi!ZxGHx`9R{v{It6k{E6 zS9OY;{+3KfbEADSk_DPLV)<*)2Pk(&{$cjxp#2H!Dsnq-%W1k$0?spp$vfB}qRqG; zUM+8I@IYWe$p&6lApZ#f{RQLOEF-3(i$M6hx+EHbcMVA0Gfk{p)HoyS%vg zA+1b6K;TK2<66y>!Nb?a3z(t)e);}K;6V}p43O`NEd;@Cv# zaWP|JBliOH`+#Aq-)#h23j-UQgPk2Z3d%#VXy)Q_dbHLR5gvYga-An6Lg{> zg2Pq`|GPRslRtkp0vJo{^+fqY8Sv*J>IEo3{>#JAykN-S5Vh$3rcTBb$I4=YCz%<1vJzxDt0Ay*xz7Q|b86(kvS#`+(^ZUL%P ztzz?uc}-kvCD>P%>_NG+@ZXCwsvUKTDlD_0q^z@0eAle$W1~skMn~GK}rJx8l2n{bjGZl%z|iwjWxXfj_8%&cK2J!9}&M&n>O2R)CTTWPACa zq%VQb36xBh@6A3wl6`4ZvZbUquoqB-rIi_J6UB-P%!vfML|qyz7*r(`cZVO#n~r-k zVwXYm+OjNWhctzM{Z<4UPw9NU>sbb*j`2^CIu%NgcUtNdLi?~UcGbO1OsY4A*uJZs-ZNz7Wtz7qJe}E?pZK4B z(u|YV`%_U+Af8cW94$rH*ad!ml81!~5GB2%rUPW3;~PIftLZ}I4E3YG>VIACt8t2w zacDfl$U9%D-PbLhoIE~uK4_U+S{hPE|5#Ud0TclZylZgOB_9LT)$_H|wb}U7=Uaf$ zQpqD%(aXZES>h{~lAEDEML?I177uA@_31iVh6r26`arhdTlTTQ3#Mv(7A*r6>}*hk z4|2aeF}C(JbyR-mm*%bl*geOtT;(^S$&rdD@J=Z3PE~CA`B`sGzq(PfY`j4b8Mx>x z3uQDBgC1kN##NkTl|(XE+GXtHtt}f_uHCnJ`sDG&zA%To{cIvL0A7K%PWbe5(QI(q zsZNEv%G}_O#`Y=Fa&xzJp5EuOYxPR_eI~3dL7KuLIQ~b3Nae<6f@R?wS*wa|%o3F) z(yE`{A!`IcfBvRcXl*R7&8Mq)d0}l13)@PenW}n`r`egvZ9Yi_-C;Sf?6E6(Tf%_O z)_XDl2*v;gG`9$mp9q%hIx6k69+c?B1lLBQ((N(DfR=KQt%|KW z8>2m?JsTqP<~uD?TO*-TDBFGHTr zM0XJ-=&YByd~d$tq`15VcHh`2pjM_+(+iXsc84n;Dd?U*|Gd1v-{N=c6=VV+>35Ef z%1nv2@Svn~6@8_ylUoCr@)A6+j=FuM0zhWrrOc_$&$6jTiKM*M=%6R8-no zTslbg@?1v{R>EKwc)>&~UH&#XIp_JxLOe3Sue-ZOg$br1kFHyfmdm5Wk#^o0?XgptZ(lr%F+= z;c&#?_@pFo*v;2tI}$K`#GeF^?B^noC<=B$kkXj>wu=V}#2yz<`d-^WxlYl4CZU43 zsJg4EMhPAe0FqSGw@xxvZ}3J!i+N6U+?WM2S4hdMDIKNlEDW1)5r}YVD9ooG?P3cq~GP(5__pqzg1boKz_mVtXS< z3@j@WXf7I9F{;@5I@tze2J^ke2Z?TB6F7-7ADdU}p4t3RV~C)g>)V~}j4I3aC1`ZB zyG!M4=;=uX5wO~g<8~{s!-em=PqOWOnXx7xM3zoahb0kU)lvgOytQXI8lIl~Bosm( zhrpPblar%Unnb*~4^B077PzQ3l_^dveVBW+-OPrjGfNSF6STZiHD@?2!)P1)ijuZO z%sAuSuci-GOvP`E?PF7PqpCx0E=AZ2&X6L~oJhh0PU3}(W3QITrWgH!)Or;MpE}AYVx+z%l zyq~Ld>_uY(d{GZvYHHRq1n{9wW?R>1Q1u^0>MQBI$-yBHWYBu)kJkX)x3aLXP*lY1 zcRkxtSF;C+n8=@H^Q`UdA0SX|NMd3l6_&V%D-b6FQR$&aQycd5Lq`Gv>L&EVcO{!} zIR-#h*;|P^34#;r#zc4%--uxBUyg(XcDaJ+h?)}Fmtll1J0}gZ9|I~?;Hk~r)iqs> z&Cc_Zdsp$PCdJQ8GKeP}6|9g{@jVl&IKl_=N zR&G21C4+WBL9Z5AfI@7jpn%TQ4ud7J8DiLx345J_F2N!gpNPls%+%n&vn+uLxGRy1jzjIjmrCc6|ir`=xfj>&}ShF2%DITTL~NU7Wc?#7*n%QPNm4| z+`v0~M@z962@p@EsWIAa6xVb*u;9|KRS+blPHI}g-X76Q_ti47H0%8iHO{r8%T%7E z*=Dhm#`$Q8RA?NoDF#t8Fww}Y*S8#hxzgVbsnI%PqC<#x3-?5C-fO@^YCA47%gd7e z5kwSBhK8Z#7lYg;cFb&&ire*B4lUp`p0tne7YAXIycvsa(v^ifMZ;qKM0qE33wIuh za?N#Z-b#YdBy5M*z4P2burFJ==sedpw;rwvF8P~bpsb8jaOoz=;uJbPM!B4z8Luz3goNB8d_kLngm4hZ8h9cPr3MT4OW zm3asS2M@|TiS$$$wb9o9*iH&IPA~e}yealgZWDeXx=KHvU_^25-O)jmMU+?;+_e2& zd)4SqcI>69hwDhrMXSA|gU>ngjWZ*MKqVqq7&3@P(wc7Vhw zs!g8Xru^gj5q?rHldR@5(T?o6($kk?^9_4$@Nmg*3-R4UbxzVz9y_f@O9NQSJVTBV zna!5jRv86ybdxU<)p2NGjr zmABN<6~0`vefhZT`Nedb$q9bbwMgLX;j1aqMT?74f?_dBhhD2!p@h3QscZ2g8q;VW zoG1i^q647}X&ZfKh1}Fc*8Y~agFj{?tjMkuDn(KUEj^#9cO0jn$T_GJ6#58V;l}^E zIUDy~AaziCy_c)GedBFPMq4ULbp_xqlW3`Lp7c~0)`NCRhc^eD%Z>MEMC4pMkuZYS z+7gbS!hIgC^)>v923+NvvS9eNd61BiHdU@zL_mEo_f#Em0=UaqtbcD_>{3{OqWK#P zCzS-A*3bZ_#V|k0F@yV&voVLx_{*Bl!G_ry@s1+2=avZGeWl?AD!&}PYVH<4_E1!_ z1&SgT2+Gb@zQ_Z|!q;p$`|bi&Idx3D$r%a@{G`M$H`gHhC15PfZfkk}vp{xa*(eWx zrP!EBIa5*vp$0H7NJt=DY{WKXvrWkF+Hfgn{gJ^QMTgg*(%gN+uKC*%t$VhSSx~M$ z0!Q)Z&u3w8j%2%=lO|%6=a!iB_Ho_`{}hON9h21Sl{XQFAGXhd+?9KB>wInPt<+QV zP6%X{6NK-_?ilwWWF3`y2kag-rcJ1ieZEUJLgk+9a3@*G&csjC$5_g=bdh~^(iH7e+huXPQ_GwiQ zEd)^?Kl2){`FA?plz91!(sLNE2h$KQDnvhA(?{KhKhpD{FRT;A0w<|M)>W=rnbs$| zo*+m~DbYd0T|HUl+sm|4F69Zk$OpH?fjtWL?8+usfP?M+QJAcm8DRX7dz; zH=WwZOQ^e>umsbxBfYTD6Y)4-K8jh(`j8b>^u1F7O9KQTT$p14k!yWD-}yP+)zuZf zVip%k6bKMFJwMN4hrodUK3I%ys!FF6sY~Q$uL_*wAVgjIMRIXz-1J~>cBAmw)OKqI zml-UHRoB|aX5=LU15*3TT=FI&K0ZF82a&@b$X6HXNI5w^rj+I7tpn!_Xz&Gvg)^Hs z2D6k1m{%!51TbwmB_tF@u0`|8K2^K7Jl&BTb{f_%Sv;=sX>VdIN>;!sGE*E z6w|IlcndU+kJj|H0*gk2@J|~boMt6+genvXb7RxIpU2Z!mGGy++0jgBKob3j-Kp~O zrKUxipEUJCe3e|sYOq2(@7hdZZw*Q;kW>QqH@W$~E9kArAmI-rOp)Q?MTLdRg=)Z~1w>6uEG&^>VQnlG?&!6m@4{z{ zq>319S2R15XtRv=5mP`D`&(WG&;j-05~9cPY>do#>eh1+x~YOQ6wO&)0u_wk7e9{* zhGKV?L;DGe^b0Ts4}@_>>YbI;sjiv_d}?H)$KUB0xEfh>zS07QGLW0x0c7tOnf!Qa z*a_M(sfo$>$^?!=mwe+Vppxn8>T*_acr2J9;@h}Q2SVKwLF_X~aCxufB$ln39|OEGiW@d_uF<{Euhv{L+vi-vL-QKn=x?t+S}0 z#jxcf;3ju@I;NQIu^I-_H_i+5v#tR$9?ef|D`L)0A3&|1P#_RK=TvU~QWJyROr;}( znb=NpK&JzKesuTkuvtV;fMuCb6bpP@qc@fbJ$4+ zSEGc#(W+1|NfcT{{+?{3k zhhfHVU*6IgdPYWM8R{lt0)mhvAjV&_o2x}f?wgu&x8!_9x3#twXjukkDdgswl-QR! zk){Y2&sZyweq9(%`x%bFyOH+#lD306N2pR_oEj<=V4Tu!p`&VO=e~isfngYC&%uq1 zPtss+JLFAd2z#krK$mr`qcQaX8uI(D=0<#nCj1)2BxGWLbJA-Upficbfw7T9eJiT# z6`YvkoIlaKZiru@uM$YzB-Q;WsNs|krTj)KmqaOXd~uP@Y4J&(uDurp@|ueXelJj# z3pb(zDsN;&snQK>8-oVdl}``UlUGxd%REi6w)Vgvg+1J|7ltiO))Pf#Wo1C1!Mo(+ z{6@>q&#(XV$?KLd9y>d`lp(Nfpm|>mas+*|tZMtJYWba6@Wi(&hQ9Mz3uwdy03IS| zA1K?45QiBU)xZhrAN^#N;EE3Nux`HOdEEu>ko=TSgpkxy7kEWikeYZj&LgFcu1x#K zpm5NLy2$HI=ke$7iM4cjw5)nf? zEYI70_g38|4@U@uN{6~tx4~(hb4V!AN+CND!YYTD1w$!g@9zBmSj0=1b5?1^P|2Fb30PhCEF!mjK{OUG z)+kQI4B)8ZAe*g9WJ*K{H2GEV)6(IV5i5Rd+hy;)xT-rtNUauLOie|hv7wzJKCO~LPjv-_sQ6dce&SLc6B`57FS;z=tsAug=ApKhjpuDZI?|(Sr3)}#!7$IV zm&HXvC^=eIuc{>lwI1=26PrLF>Cw^A?(XjX!*dQ8eGd-1^R1gq%fdUZhGP1IGqnb0 zVJCM2SFZheV`4|;>JG~fIV3NwRTXJpDi)B-Ox z3Tx><-$>#N;Pnlna3$Tpeq>6&Y)|@R2d*Dc_$b{&vdt6F?=ehL6z2B+I_WB_n!z>hCHAj2u+bm8ErLV2(zNZMJL5;qKzirT!@8h|j9SAIvEyXUbesiDFG006F ziD1H35^FYn*8au@?1#c0{Qv`~M;+otM_-y>$T#-E>pMu*TK zMg0EOAqx^3qb0fRj*1~__&V9z^pnI-71iq2`h`UJTA@n0)rVy$qQYz$>gC^W(aMkB zNP1osYFFVrhClE*JXX4(D#^b8vuS%p4(%F|D<|xvhz=L&enUSZTr1G>rB%_KLpNr9 zVN-*C8;^6pod_c&F@$hCq49>|oQg;n0$~D42PuUC=Ba(l@RUZy;w$Jg=s58mR?$3s zNP}Qq+u4rOHXa$E#Q9i#CO^;j{rKT!st+LxU!~veh)n#~(o*;Dm&C9Kf2llOyhbru zZ$hkZl_=e#;)&k7toPAMF^9D3R*5}}N6H`Djb2E|^NSDzA-GOnQl-j;3597WfSNg^ zQ{_2VBwQ@CzfTD1@RCq4Lm+>;kGY=6+2fW+Sx5sTaAI;;bdG@(YL`vM#sfk(naRDr#_`EP!DY1 z-It(p%N^`avB7dfa}S7qBGKDqqfJE6+jlacak!2(BmBgZZ;y>7az<=KHj1&>z=^BU zs@QMy(oT>H&QX8iq!=glz%$xbI(4^$PH3;-hqcJTQ$?o#0+b@Pl#Ga^y== z5?W(Ev>bc z(IW=>)^U=N*jAt0mWo> zlt?IAHNCzIjnf?wD<%E-%x~=$yf&IIj>pD6mRUdB5eYi0%D$B^RHKe%VPZ;qX@J~C;&x_6(<}q3|BuqmKa*amO>J=3o3-#pVS}W{MgnWDg z6sCx2>C+M7w)Ch*)7nvfB>lSm?%qW5Dhp;0p|Tx1@dZr=JTRW(7%cJ!!?=2}M#YpB z81|vp;AA%XRVEwoxaY5xW@cu>rmaDc8JIb8J(4T^{rmT)((l-?)Xy~B34?zDoyw~% zJRn6G5G{L6SbwU#~UL5cY?{oWRl{Q=f#RW0!pbUFiHLv0D=>r~U9O3F`RDvI=!&Jt>Q z>XxjX{(2+|+Kl{)2ISh2XdLI3rXT!2eNO%8@w>LFrzJ5Khd}K=@lT<~i*2vf$)YS# zx_{emsS=a#^vnf~bn*uSlbMJ~@Y92dJ{V?V(%cChy}5i4caZGM;f%2uZ*I;GW;lpi ze{5*L`}t3!ZV1M2@FC2#sWJ{bWqSab#y;p3`cWfNqr(`(=|0tX;OQ>`$-!338&6C3 zC_03ReDwoCC3?AOfhS(+m)11khOY&|9-Gg`Ot&69cMwa1CEhF_EsNAmj|6I8N>zOh z(*$lkR}R*ZO#Vp>|B2@spX2zWYz~L_vPzP)pJUhkcO&|FsgMZ$H%9 zeGfejOLa>Y-g}L|RM&+#D=Qhyrhes{>IPaj&z6}|#DPlkLi<Oe7nvM8~MUczH%&JOkgDM+6wXo)M~0hOIgQf;CE8!&y6__GL1(ms%g&TfJA3S5*b zC}~&g%Czsa0f4nS{8++3Dr&{vqH`%9s-+&55E70N?BI4`U%*tquO?<=OWdkjB5B`U zLla2>J{mxfc^CWqRuSpa8g$kxz!bHPfEjTThHWff({cREP4=#hXbH+arf8P^qOE1# zbHG(@>J0={sVLHNnU42*-cHVuyMDNvu_v5dMtmdR^|5hCzFQXg*YzmR)kOck{)c{= z<>vU=Rc3?*oYKSs>-kk%Sfx@YazqKm$6!39T0U`SWDR9TD#uKqVxT)$bY+wqK!sgdc|yYmn#AUog;^ z!emQeIvJ`3`OBAXc(`!B6bVdysmq|n*ec`3SQ_uEwH-YEY24b;u$5eyh*t*Y0Tj95 z39Y}&?0!0i-_=mm73oONLV%!zlnd%^>o_Loax>t?W#14W?poZVx>oWy&#V4cat-^T zH%@aW+xvT(RPQOI2ARtuZWe&eK#yU)r%H7kkaOtfZ`r@vN+cZB*_`5^t(}rblAlG13}`+t8lu57W2jIMj4` zwPMg}y;Nc^p)&W!1~Zs92>(1&Zhv}5)0?syY_k?_fofm5B2R)}6Ftet(b)e%9Hbd| zVeTRCUrc@gGtRNn;r)!ub+j{P<5X_efoZVc-tw8f)39trdWhf|X;bE+`BGXgc0cPY z5X?u((Qgwc`vmQ$+FH;^L>GCk#ha{ zQX$*%?VG*0a{P-L9p`4X^@vC|eMf3-KlUmi? zNoNLRsC2D7SHHtJmw-A_I)1Z1{d!x|fz5!|;;f?l)1Lm$_4?wEA-5af+Bx?vZilIw zx{cD+kZQsFx0$O+gpl!fco1ct;w+VLg#p&aNEO#twWG{3e(YkkFJ3iuOP{U~x1lL6 zO7Jeq?Kib%uPTbrc;Lp4tB>S^4dQM!m?~}^GMWe(Rrd&%)p!z0n0uFIN&d(6?cpTj z9UfXRWWj?idqYt&ul({vXj4v3czCEI&h4C%U{R^6_*iJZ8QdT~^d z($nOk+v6vL-x#AiE)D_~d?d3o@%vpin^$|%U1Tm_Lx0(f)1VYjN*HN1_(ck-L4{~AZ(I)AR+zx z3U^AGax&WOI);b1I$WIOCIV;kW&9ATMNXvNOWkc`*6@J=Ivw6m{oF;c>&vz1nN3mw zmfZ1M2Q!dd1AJolz&rSKkDetxibo~Qz(lfembc75Ir|dT)a}h_S*VB~l@SPnnWk1p7-IE>^c7sAJUd=j4Qagy(iE@iMXs!ohj z=VjLf8qOUD5;&P0tGR1LI!Q8Bz{Wn9!)M$Nxym>XEH`2 zV+Q!V>&dNcKaT|UNqN!)0`eiPiLY`!6!ln)3-1gLdHRF&To~{)KbE)Y(Q~UinL`u7Wt`47*vIOeepxpw=*0LbxGD4bDWe>$~3XVmgYDv zMOXJM^$LDdjJ8jagML^M9g8i*Io);piO%m7kYo7Y>y1o;#td&Wnw8Sg$u?d!8BNM8 z+Du7guVZBVX8+a4DxB-CG2UHPSsgX1j1pUjtqn20Z*dOL4n;2y6_H7zu%6nare2%n zM*}MDzr$yvl(7kFPejBKsSD*`m_kJA1I$GA(-tM8DozM&dbuNz1P$$C5Jh)dv+axp z0V^%2cDRrwkN(%Ll7$oY|30XJmXvH}?&&!$8(&ZQySMC|;C?Kr1@d)>@Q)XiRVEAw z7~xlMI~iZsWv(iKQi%qrkYsV~zf_yl6wW``0{%|2GYJX~{>`u4a=_(ZBzTZ$IYaRL zy@0I!P`j|3mKkF@;s^CW9xAQl8cT)K($m|&76Zm@ z2*q5@S}au+&UUGOy_O6*$7GX(j^k|e4Ym-$dxhsO8|2d5KhM80`0t%ffnG=A!>vjp zmBgUAksNpJ`0bqQnPKx=msHZ}_nNI_#5ZZecgO{GURSsh{O^)YgJ`*Hp1iE};@4}` zv9*>Q{prgtz@pz+-O!K7N@KScf@|cOVBM7=#7v`Uu!2R!a z5Q6e*dSj5iKz9~r*SR53*_uWs;Iah*rRE;y?twAN9Y23s*2piP1E^X*{(2a**qJFW~yOHaEMP8w9s1VWS^|mj`dWKmY3EXv%ELMV7NxBeO)?T#Up3EW|S+ zqE~P>h>}r%*lK~+sC#g516&$#A|DmNDrZ>=!*jEmWV)ZuEL}>UW8G*P`nsNOjR3_` zs7YG@B2aV`_*g==T^a`m-|i3izRQL^-a31)zRZ06Y%qLx>Gcv(x-%I_p8;m#JeG?w zp^MH=sWNLk0Q}Qm-`pr)K5VfgSd&2Q4MvGJ@VWzGsJ&1Tbf*T{0+CbkB>#-4&vI5^ zRTN1K3@Yx2|GrFupbczJ4B}c~kZLN2N$1Zn-1hc%Y~F|YskVo~tdo{pEhmG5z^bM- zG`tZ^Xz)NZ%)sR|0I>V>dmctcMu*nh^9M~RK(=$9=(YF|J75nq)Yl(g`HauELLXfZ za%y-U(R&}!@$SSm=-jL-!QzM~vh&E7mVGVdg4r~=QGixaLnsa^Uri@b`HVv{tanO& zSIWeO7)Qg=@#yBD)lf?-^kq;DkZ(!of~+K9h6+wURJOG(nXv8<0&BWWR;BR4%P9v4 zB9KTYb`50b#y>zZ6_CZ}JnCXKZ21EqC1Am}3?uoh##HgzSd7RM~9x7y2#{_zBJw^Kj=}AQ=d}G>AjX2egB7 zV2T$=XJhYph&~6<{4#Tju=hC-qk9~!O8Q7!QsRU`jsI*b`h#UQjOlk6NCieoIS&c* zf;HmiA9x05cnZw+P&(ViChZr=xi~-;4bdU;S!i_KvlH|6@gZQHW35` zEE-gRTFGl8)dK2fZfYu@EwW(5KFlQyfgwn!Orw2%j$j5dpgMKI{Asw4L5V3TmopaG zIRnGC?Ov8)H75`J3>4i+r@%)E0*9N|z?9}4$D1Q@YXtuZ=@TW358DjwRrY44kk9qc z!rp><*y)<*Yr#Q^Ii=OHajyQc$iszFt%}Fqp}_E!C>u;-du7XoF7oG4+y`}9nTq-j z2#5jLH2f&w{d+JN6$Jma0$30e`C+m&2uuP`&wERyKz(ekU;F!?d`UZzzvtj=oq72z z5dGqu|fD_tpkA<)_HWNRAuNa zjEqNzhaioN3<=d+e^0sM7$O`Pt%M9oOir#MrRRB$)Mv{>gB}?XAYaN$<5wrkjLpuBPlvZ?*my$C>%(?1z48sIY+K<$MXx|6n4Xi`rAvgc zRM=tMHih8(`O%`!iGoj{<>B>ixe4N{$4G6r2jE+Xfj)WiAcr)CcuM28|W0$f)e9|*`w75fRmg$ z)`(Urj?b(Y56JC`3kocO=8S`bLwpb>8ySk0D@MQ%tQ#KzKsIqJA`{@F4G zcBh_J3S7f$vcz~H=Bs5$`PwEajtWYpkSwe&L!^meEVrOh-lF+dWc)#3094zhf|#~f z({dHQZBuyU)+|6GoH^ItvyHF zl7Z>2G5}q3zrg|~UerC;Soc>xVAvfg&(CyFiz*)FR}(wc>v(fi_e8N^Cg2#8Q(~kl zyM7V+6Eo!)UAg;lsQ${`l(gg<1T&mw_F*tK7%=fMBbb%q2D26oqTlM5$%=`LYBLD* zZdBiZwPeu?ZTIqM4e2K|Hx1-lT4SZO-rwDXW&#hU&rcM@utl(q495aXcL}RF4CFEr zqObtOuw6%4S2rCz(3_(7ssH)nxp&6~kwnGH+Df*8NSts)?{~P;7K-2&vM9~=`#A|4P);66 zWIyk7&M${FzWmTwoJE`0?!gEq`SI!5{mf(3xe&WY_P3S~L7ttt(poPrh#@sKHB{U; zhwYg9L*GMqf;N6_EGH^uy%ShJ1y4iFfPSM(n9Vg3lzDwxjJkvh;Yr67K4Cp??vR%6 z4Y04SjYLCyUGKY~SbsqG;d_2%L0^`IREinJ7IE?R!l23?z2)Gk0NgEkWCN5PKKhEI zgaf3IZ+m(`&~If6pr^vaFlZ^#yp>+c6t5H0?$M1*aU$C(~%*h6j`++ahBq)~rF54;Y4ivx$ zl?KfH!4%YpTII9Z`mS@Kk_ylfYqS_Muslvkx1RTerX)kG+E!#L=cX;M+ID1SirbZc*+DOSD(E*;CM`?(%) z3x9o%f7=vLeSliGe2WtRW3Fjh2-=v{jg;NSZ2k>Tu_i$#t$@R0?aQmHOn&EY<>f<0 z>=IH^`?`lTASwv#tSqQ1jjO?!#$Tky_!78uR8k7}@Q$ zo~SwO1fpAk8M5H#w|d)|m*&R2_C`8;!NYTP4*vJI7ufJ1k>vzTKvJ3jCLIGXiaU}* zRobbywl%)(kZCdSqF1ubwnn{wV)h|h$kgy*A<-bCs#%J?J;~R{YGLN#jlRTnq%6t4 z-Lq)@F7p<{8I4q@!Q+V9Huw=b6{a;Mi&~oeH{b)Pu;3K8b7;AuJy|6P0FC!dR0TX5Yw2E0)o~cxl~-9qtd27lacDxn==q%LwWw1J-7*z8;hV) zRG!4|Y6a6jl*D5POlg0$AJUtYltgIY0hf3<-WK>2o0p959VJjQ3D3QIqh-0hvm@}F z1rswmXWU^077R28Y#be;cOa7R?j*aoxOnDzZdk`GC(bOCm*(p(OKpXx=?a5g#b0CQ z-zxZh_xL*nK1@>UBABE}V&t-{Gf-_{BS=p>#moc;1wrd{-$McC!Wb^LfBs+t9iS|E z$eDx^;f2IJuo?vtNS$j(z`;M5Eh_4;D0J?$1@vb~sK|6uHNbyI1*u5hfEw|zhsx%` zrj3Npm#6GLuQ^s`0${}ucOX9Pz}3k9uL=9_nu~l7eHHQI_RFC!z+MWEbD8==$-aMJ zgfdaa83TI)sJIIvLqp$(#B8mvucr=}BiR7W6i8XUY&9PsK|_KoHE1Sz+}qnb3x&Wx zW>z!SdhQOehlYlR?z>^4L|}F_^t&0>aGuQ$S2F2cC!+<>c7d$%Lk1Gstogbl*3v62069CB{MP zy~xjMiy`v!MR}aCUx4;KXga}YdJOxRnVTvgrFNSYEMrlo_2)moIzoAD}WKYP2a3 z*3>4Wb(qXEz#lqUZr)(K3vei^jXDmzYz5OC{`(SdP*Ayc;%@gvvD*^0|TYv ze6>N0s_6ZRD6m<6z$PHTN=-AqanB%Z31nf+@mI{xQ8HPFQ3$fnf*!E{HmOX&PX4oL z7`?+N{s_Gl%2ZoKeCMKuky`NCPh3UH4k?2@DCN?o?D;yV#&7feujzqvll>S5<1zWH zhQDKEDwEX|wux9(nLvNlNg|y0?8stgz6bDpMI_K;fN6|WvI0U1C^98_cxtve2ddjJ zZW|S)3U6X#V?p=i+X=b6wNVrjy=~1-{}XTFccEKm9RtFI(wL(V_Xe7fa(lZ`BZ6zS zZ_pBDjsrC%v$K9F9OC0*?-Y|^cvpHJBY`gH;!H3E`*CMtdPRZ zq+IegIIQLM7f?$qblD^>F3IJ*e|XQnoR}0HpCAgLkAM|RCfn!TJ7Pw6<=jN`=Q6Mm zq(@EaCZf-N4Z8DfSslX4(!*;>elDt18n(r)!NA%SyKqe5n8!*6YZ}6T$4; zOb&Nk2pRwh^@O+J7=l9Ae!Z_-In`xpA@f1azjA=W!V~O%CUcM5fKf9R$ijX<0eO$ho?q_&>?e2IcuTcG~9`LQQ@ znz3Eus#a|8QyUO|V^NZz+lcL-YPC=oZZfS-V8tj=n2U!ZN8vJK#sK6jNyYF^3HfW+ z?myBk5FCsrL_7T3HBYqxmR@^|heyZ5O|wTbk&PtvY;)1LA`npQ0zK*PPoH6XrMTn~ z9=IaFZj4k<+{h+cY8k-R6xLCqR?3&wMAO(nzJgqEgcMMAY~<@7VRxdLdPYcZ9lb z2Y7@&#L@N~x91~{;jG_?eeDaNH4N)l*vpCp^$-wpEdZnyL+i4+^VrMo8LSvBPjIvo ztUAMyO~Rmqtc_NUHb++S_qETj;1D!I7f{rbnaA5)XQwrMrLrr;tnI}= zS=I2b79vN(Oe#B)Yy$qj@~-=z>i=)2l)W;tvXecMQQ0GVX77<1k&(R}AFE`SJ(7b% z$QI?ujAUm^6j>n-3HS5(eDBBo)BOkBkK0e@;g|D1=e)-Cyq?$dx{PgR_cb)&_v)5I z_=uAu=(y9mc#_PT?Z1;&m-=(jF{%-4TithgU*cDak_SG#IWf}e6BcB!NpOGDFrM$T zYwN?Br9`A)W2~^G@c)fh2{srgf9}OE>*hrU<^lJG#nseyW5}2T zwtI;yj&OrOYAImFWo_)jKV%2KM@0@_Cc~=c{JxQ_X?{kbQ0u^-P*YPoL5$}5*RM&* z$u(X-v|`)=<6xZ$fSPz|D593E!U0n3gI?{B9jt*gJ9|<7DNmG-M9|5{*T;LxVASOv zvYQ1_4pl|RiKho-k3EB=nfJJ0nEw<@LOF&08Oi&UDN0nSp`j53R{KKr_8-%Mt*zdG zt~d5sb7#e~20X|q%{HdJ>Xuy|KdiSZnGaXMbNH0~A|)kK8$8eCzMW!DPv%d3QxHT~ z3U7#t`amZG2+QkQ+4vAoFaTZwbN)ZB8WZoxPhqX?`oILieX^#wqy*0mvH^;ol|_<| zrwpF5u(HaPj6nJXG2$5s`VXj3KWez@7;8)IQ4x~U%y@%sT}rG!F%|-YF`lN)=1J1HM4y!2BJiFnF_Yu4=T3>qsQtoI;{f$0nb-75IQ9Z{9utdS>X zM>zGNyZgb-{*JtVq7XL{yBRKz12B(C)VTz3?(;I)B`jKQbROZX&lM72L3{G7&m02+ z1ed(^JGEP$v&#v86L|TJNShg>%+=J@n`jz5N~(k!diI`CV|}h>K`h^g{5Seipxxdo z^w`JGPr?);EW`x_NQdPlA^L#B(6~CHb)!`ixXzd+ELVrC<8%&>wXw*#85~0mZAi49 z;Vfo>!dbrHeeLJVbZi(L8%bH%feES@y941svdva~U+0NjiwXaUGcQI?jpr=Qv3jLZ z$-n&cuz>&NvEL{9jZHMeGfkg-lD6E79{_8N1D|G|`3IwF24!ep?=A<~R zUfE)9rl7qp_)8yEC+M`vFmhea0Ct+(Uj)_Va06Rgw%@)t^w$pBWkcU39nJ*2k#~_e3*CVE3rj2C(d|uCD6rqH)0acMft#T+Z?c9DG`KByaQ5J(z<=vs0LZk&@T(husSt@d_O3c1I2NT(fHW6ZCblL3VZH zJa48@Ga&H69?Q1o-gz}9b%xxFuP&##o1Y4NP@7QPT_^%THTTyU#<@TlGvg-+s4gT^ zhB_Ht0s%u5!#?CDg+W#|iym={_(yRY^Gw{+iJnGR!*bHB*X8(DqPh*oMU83VdFc%(4PM1TWA=8_6 zPFRi?XAvP>Q!%Obno!f@jX(vopM}Lg_Fp|t7eEyIzV9aVse)ZzqIUxzolu@WoE3hUhi#zb-I$ z*wi<j=CQXjTP6N*&)h~|(0_iU}s=f2D$VG_mq%RhK6!xYKrm@V6rU&rf9%i9&D zC(}9CjX8wGK)<{3bdxGl0KP-u_Vt!s%O;K>8MD=ELgTC4*KBDdA|8mlNGf84@$KKRF)7MV*>htw@UcK}^*cWt{pGH} zUZdaskzxcVg|0M5gZ(iYLk>krwP+pDOnj>$M_AfJb+X$TInna*13jSPr+}{sk<;S- za%}rJu+=Z+OhTerK6ID0A)t}@;BFMfy7XNokstAUS4x8f@aN?4r2JEo|6q8Zu}<}b zR|tbw7xp$@PS4fp_4J)9$4BM!rx~aW*}dXPr`S5lujgti7E}sZqS_+ioTd(C6&h=| zHz$e+X2o8ZBf%O7M^qczAKFLVChcZdqZ#8IF3TQi07W`XY+ai=Fojg#rwEA>2qb#d zup+`=`>6luh!%@5zZ4wB+?pb3x^i&~_9+ve38$#<=b{&EFw0cF7t--Ud9}@+98Pr| z)5D}1O(@V+$R3CeajGe2W1~&7)PAWH!EhBP%0Wi(koUN7HNzm z;QbiP3x#m=`t}CTwSH@lgnt6Pn8CCIGI+xRy?py?1=Rg_ZiZ%Fao2kz@Z^KZW3c5a zr5)R}TY^E@XG`j2a}QK^F3_uq)hMH$GTz#ONR%zWZL83m#Y;U5lICGHHI^^<)p^Bg zX>JA&!_6l zr32a^Vm47|03Dx4N29v_)2@Zv-VZDkg1{&WhU4UMPSjLX{5I+)LLd>x&J~HXy}f;A z$%Sc|=eK;@h(ZyIl5y~bc}uA5)G=&rnW&LbR)qE&Nw&ygfsQ4n&d?;vJLk&Q9-)tr zJb&e5#qcV~5u2Zz1G)bZa9`~=kWsdVDC42o+1byZ&$*?grvvXh($R6@5sh?f(BTe* zKGm9TfLmP_cq2b619u$g@Eka)V59Lo%pur#O~Sg)R9K>mz`zZf%v*D<*cNQKrQPAJ z_G#b~cN50;B@0d;ovne^%?TGf*eE0!m4?OvO=U-2(8@dnMZ{J7wd*p61Z<@+R%#BN z1kHIC)URJ2^;TdQJvcb%{@_6%kj@VtJosALFdx!VSa|;YZQy&mnL~-^A;ODwLg5>$ zO}jTFfB$?|aZdlDYQg1^v(Pds9%gxCmV(ekkc!|QO7lvY8hKMb1bV-ews?~rM?;VC z_mVb`5uTKjpOUV=g~cqS<4h{3W30KZy`{!~0MQ08+rh#|g+j6=9G6xHhzQd_3nHAv1Pfsrbg4D-) z!%~v=l2#F`ZP(gb%zasra^vHZht^3`6|OUlk6_Qz_U7Pqb}dZ{8d@N#2rmJ^ojgOv zsm=3lTunT=SGcF4AN9xpgUcgVc2V4Iu5PmA{q;HyQC>mbW{xST;ov9d~S@*GS zv95@_tVLK5bjlILH1LW=UHktp!=Jh?hz3y<4F?$%^uYQhi6$`bkaA4MD-z z5Ed5GH9yas#-)*Ya}`8b<}Hsm{$URBgV4w)(YH33Y$5w$4mt-|wq&1)45^%z7U>Ez zr;$ZB#KkcK;`8@8AAh@)$!}bB4#)uku%zQ{@!hh7?GMMz=ouU;I!qqC~j1rtbI9I|*g_g5TeG_6Da=HXlchmuqM3UuxOIoOZ|{RH3r>(*569d`cznS@!&(2}5zjo;StrL{`Pc#}8>j zxLvo*Ns^`rwh^XagH+7I8Zj!8?C5ZkiQp)wf+ zKSAYgAF_Q)s>pXZI5=b(fu_0@bRfjW_nTBq?jdr_rMwJ`1Gn+E)c%0D!SVk6d?~bm zF)=n*b2&FR7ZTZkL*X}XBv1Q14(gR8BXp$lQ%1VWG=coAMC;L1HLa~z`^qaT9oQSE zLBd^lX=|N{+d@#dA(`Rh7qIOuL6gpAJU1)6pQXLSc}cy^#qN_QEuEvBvHRQYOEoey zQDQ2~`&;wOl$0Y=Q-tr};#1{JsqU_N$|Mzc+MUSk=stE1A?KpPbcNs4dw<rMtAYN9L4X`@KHAwU0I0DWO?Efrcm^@HWy%0G z4K5OHC~e5748K@Fmwj=qzyvZK?ugM`sCYPf4WW_&5<8_nv3=UU-U8ku1uSB%IFi4o z;ClL4Vy)&^$KP--LZU%wqhZY#H!cc%o11B0@v*X5XGT-0TVUzX1Prwc3MP3fBG$Yp0vMxp_sB1LDG%a(dpo^+yg=BmXda9FUC{W+`G;SZdCK@8bSsi)#~FrT053^IzmO{ zn{lQ<1-y=`P~K_-LA45>z6EJUr8N8V@V5MWEA+OimyK_o$6n>MkC~_6^v{?S#m1z% z{aVtz&Fjaj(ahuczGYg+HJ@oAX*&_E;G0)(GG?e+F3qd(m4@T+Pr|~0S42ZW8NKGq z{u$w#lAg;_+1?fomE6!Y&|%&(3<;1eG%+L7&G zWvV>_q4dgV!5|2PY5Ax7naZ2_vQzkEMv?044c;a_QnZZ3*tJj5EQ91vnVFfb9PBlO zs&N3?n{ivU7ke%}(*v5z2Ddn{znFp#vufcu&o{dAa#0HCA%RHU|Ci8V)81)MwXy)S`tmICD0IoG1!n8LCOM}j zZj>n*N8bel!1(+qt}D)5`W*W>!Li2sh^JEtw{MF){U%|wQSkwB`u?N8M0|(G*854x zw~iuSCX)%=a}1preb5mBAg$2X+wl_E=@WjM9HdeU-#k9dwCEuE~` zB<51Oi7MHNS^o>Vh)3fH;Rd0v6r46UQJ%9?JyX9v^Cz&QDjcFuACfE-@`^O))NL(a z?M5`ktbfqT93D)18TW*2EV=)cR-jd$JbE!Mgps*7zD}d4)I}qi!MQi+V-`Wd$#2UR zHGL3n%9u_zaRs7lc555M-jCfY7{2^il`(85w@y}%ER?RHDZu=uReniannFTE!O9!L zAX)SxVQ!Z);hRjK#xCo)Pkjc4!+ffBA99C{