From 3566b4e750dc9e2ecd83410886fd280f41fb6c99 Mon Sep 17 00:00:00 2001 From: Soeren Domroes Date: Wed, 7 Feb 2024 18:39:40 +0100 Subject: [PATCH 1/5] RFC for color of edges and ports. --- text/0000_colored-input-output.md | 68 +++++++++++++++++++++++++++++++ 1 file changed, 68 insertions(+) create mode 100644 text/0000_colored-input-output.md diff --git a/text/0000_colored-input-output.md b/text/0000_colored-input-output.md new file mode 100644 index 0000000..854135b --- /dev/null +++ b/text/0000_colored-input-output.md @@ -0,0 +1,68 @@ +- Feature Name: `colored-input-output` +- Start Date: 2024-02-07 +- RFC PR: [lf-lang/rfcs#0000](https://github.com/lf-lang/rfcs/pull/0000) +- Tracking Issue(s): [lf-lang/lingua-franca#0000](https://github.com/lf-lang/lingua-franca/issues/0000) + +# Abstract +[abstract]: #abstract + +Magnition mentioned that input and output ports are hard to differentiate if they are placed on the same reactor side. +Additionally, edges become hard to follow if in large diagrams. +This is currently not solved by the highlighting mechanism since it highlights the edges by making them thick, which results in the same thickness as the busses. + +# Motivation +[motivation]: #motivation + +We want to add color to make it easier to work with large LF models to make them easier to recognize ports or edges if many objects are on the screen. +This is even more important if we trade layout stability for edge crossings. + +Moreover, I want to test this process with a smaller RFC and see if it fits. +I my opinion this is something to be discussed but I intentionally put two different things in here, since I do not want to do an RFC for them both and they are both effect the color scheme. + +# Guide-level explanation +[guide-level-explanation]: #guide-level-explanation + +The different colors for ports and a proper highlighting for edges improve the readability for browsing big hierarchical models. + +When browsing large hierarchical models, which are simplified to have same-side input/output ports, when additionally improves the readability by adding different port colors. + +If one wants to follow an edge, you click on it and is highlighted in a bright color. +This also occurs them clicking the port of an edge. + +TODO a picture? + +# Reference-level explanation +[reference-level-explanation]: #reference-level-explanation + +This could be added as a hook in the synthesis to add the necessary options and color the elements as required. + +# Drawbacks +[drawbacks]: #drawbacks + +Too much color might be distracting and additional synthesis options might clutter of the sidebar. +However, edge highlighting would only occur when one clicks on an edge. +More synthesis options might not be that distracting once klighd-vscode adds favorites to the sidebar. + +# Rationale and alternatives +[rationale-and-alternatives]: #rationale-and-alternatives + +- We could also experiment different port shapes to differentiate them. + +# Prior art +[prior-art]: #prior-art + +- SCCharts uses a light blue to highlight clicked edges + + +# Unresolved questions +[unresolved-questions]: #unresolved-questions + +- I would suggest either a blue or orange for highlighting but I am not fixed on that decision +- Colors for ports are still up for discussion, maybe black for input and black border with white fill for outputs? + +# Future possibilities +[future-possibilities]: #future-possibilities + +This would be the first step to optimize LF for large models that might be used in industry. + +I needed roughly 30min for this RFC, just as a reference. \ No newline at end of file From ec248ada6854935addff5d1066322f092d01ad79 Mon Sep 17 00:00:00 2001 From: Soeren Domroes Date: Thu, 8 Feb 2024 09:01:32 +0100 Subject: [PATCH 2/5] Spelling, grammar and corrections. --- text/0000_colored-input-output.md | 18 +++++++++++------- 1 file changed, 11 insertions(+), 7 deletions(-) diff --git a/text/0000_colored-input-output.md b/text/0000_colored-input-output.md index 854135b..aec0c5a 100644 --- a/text/0000_colored-input-output.md +++ b/text/0000_colored-input-output.md @@ -7,17 +7,19 @@ [abstract]: #abstract Magnition mentioned that input and output ports are hard to differentiate if they are placed on the same reactor side. -Additionally, edges become hard to follow if in large diagrams. -This is currently not solved by the highlighting mechanism since it highlights the edges by making them thick, which results in the same thickness as the busses. + +Additionally, edges become hard to follow in large diagrams. +This is currently not solved by the edge highlighting mechanism since it highlights the edges by making them thick, which is very hard to spot since a bus is already drawn with a thick line. # Motivation [motivation]: #motivation -We want to add color to make it easier to work with large LF models to make them easier to recognize ports or edges if many objects are on the screen. +We want to add color to make it easier to work with large LF models. +If elements are very small, color might help us to differentiate them. This is even more important if we trade layout stability for edge crossings. Moreover, I want to test this process with a smaller RFC and see if it fits. -I my opinion this is something to be discussed but I intentionally put two different things in here, since I do not want to do an RFC for them both and they are both effect the color scheme. +In my opinion the topic above is something to be discussed and I intentionally put two different things in here, since I do not want to do an RFC for them both and they both affect the color scheme. # Guide-level explanation [guide-level-explanation]: #guide-level-explanation @@ -39,25 +41,27 @@ This could be added as a hook in the synthesis to add the necessary options and # Drawbacks [drawbacks]: #drawbacks -Too much color might be distracting and additional synthesis options might clutter of the sidebar. +Too much color might be distracting and additional synthesis options might clutter the sidebar. However, edge highlighting would only occur when one clicks on an edge. More synthesis options might not be that distracting once klighd-vscode adds favorites to the sidebar. # Rationale and alternatives [rationale-and-alternatives]: #rationale-and-alternatives -- We could also experiment different port shapes to differentiate them. +- We could also experiment different port shapes to differentiate the ports. +- One could also use a different line style to highlight edges. I am however unsure whether this is enough if drawn line is very thin (since the diagram itself is big). # Prior art [prior-art]: #prior-art - SCCharts uses a light blue to highlight clicked edges +- In my opinion the Magnition has created the only big LF models, hence I take their feedback seriously. # Unresolved questions [unresolved-questions]: #unresolved-questions -- I would suggest either a blue or orange for highlighting but I am not fixed on that decision +- I would suggest either a blue or orange for highlighting - Colors for ports are still up for discussion, maybe black for input and black border with white fill for outputs? # Future possibilities From 59e92606b85c4cdaeeb71154225a1a4f893a7ecb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=B6ren=20Domr=C3=B6s?= Date: Wed, 6 Mar 2024 10:21:30 +0100 Subject: [PATCH 3/5] Update text/0000_colored-input-output.md Co-authored-by: Christian Menard --- text/0000_colored-input-output.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/text/0000_colored-input-output.md b/text/0000_colored-input-output.md index aec0c5a..d3644a6 100644 --- a/text/0000_colored-input-output.md +++ b/text/0000_colored-input-output.md @@ -26,7 +26,7 @@ In my opinion the topic above is something to be discussed and I intentionally p The different colors for ports and a proper highlighting for edges improve the readability for browsing big hierarchical models. -When browsing large hierarchical models, which are simplified to have same-side input/output ports, when additionally improves the readability by adding different port colors. +When browsing large hierarchical models, which are simplified to have same-side input/output ports, adding different port colors additionally improves the readability. If one wants to follow an edge, you click on it and is highlighted in a bright color. This also occurs them clicking the port of an edge. From e9b8f1d56a0b93bec8da07df7bae1b43f7117069 Mon Sep 17 00:00:00 2001 From: Soeren Domroes Date: Wed, 22 May 2024 13:21:44 +0200 Subject: [PATCH 4/5] Added screenshot and renamed rfc --- images/0003_image1.png | Bin 0 -> 91873 bytes ...t-output.md => 0003_colored-input-output.md} | 4 ++-- 2 files changed, 2 insertions(+), 2 deletions(-) create mode 100644 images/0003_image1.png rename text/{0000_colored-input-output.md => 0003_colored-input-output.md} (96%) diff --git a/images/0003_image1.png b/images/0003_image1.png new file mode 100644 index 0000000000000000000000000000000000000000..3d596ef80468b1f1c8a328003856248fc10640c3 GIT binary patch literal 91873 zcmbTe2UJsA*Dj3xh$2T65EQV0Gy$b|R0O2=PC!LU2pvM`!J~kRh|(gxmm~xf2qht) zq9VP9NEhj$N$=#YaD4A~zkhsV-2eagfDuU6-g~XN)|zuZ&og&k80cv*F>*38FfcG_ z-oIzWz;Miyf#HbnU&p~aTx|^hfS02_cQsA^0!Q#)kDr78IegVDe2qOEeGw169T=S4 zJ=`2beC)j)9Nc}JJ$x6B)G32TLi9$e-VP6ap&ss+O`vWL47$+E;^LQeAA*;g;*ytd zNyy)lmA@r@Syj#0q~>F)BLl-_2F-hSO#D;lh7kTH4*UB{J35WI=eo|ZSp98)xvX~R z&WDaX0X8#FQww&e-<>^-MQ`yBvmVn=%ho3Eg-`kA3Sa(*k@wl(_phAfyP_m9wQ(XM z_UQc#&E-%CJH2yGgYr(eQ~6urA23AVgmjCy}{S7Uon$2 zp!f9SqdiB&72=R+Wc?Kt6_xO3&je&;EzGcZ_XeCxn6-^f(GU>+*tU{#-***URgJxP(MPYHCqUjbfjxG#*CLd;9h+ zUfC?~uuZol-e*dWkDtHUy%KBR@S5@DN%Y#IKj&s%X>4ifsc;)G0loe4!vgO%U>5PP zr+-VB^{4wlg)SP6b{VdzmWNYKoCcm8`uD8NEI~oR&R(1~{O89*Y8o2YkezkBpL_Gn znIC0N?VZ0XV3gu#m4EKwc`2nezZgQq1guPIX=-*3lY(ILg9WEOeSCaad3eM;JUrkF zgVko0`-lHM=NRd>I{$Te|$GS%=9z4GnGi#1Fk+G>;5|wp*K<-$zF3zCHcZ;I{GE3l{`H zuN@p5$eT8-$E(1SXlidafAHWz^oc)>!t(Pi%N)T}8+&!;Q{&?6{pU>Qm#)$&x$=yj5K+p>|J;*7sD0G)zI-CyjH2oBh`#UI ze`=)`JW)22lOM^+&>nR{go~&#b>Z|IFV< z)w4hU7&|QT>POJ0!fVA(t;;t%8##w}POC|6#OdFDXXQ7Sr(HrcFTv?_zo-=V6ol=~ z5*!}uq^_YWZF7R7lq$Dn%DB7W`(g+ls6(EV+fCl0+g+ zJB?=@&unRJFS#ix&uTF(1ms((9c^mhH+bmQ*87#xN{+NH)3?$l_iDyssVi`A4!y3Y!ydqy%KSt0z@2=#^6?Q37+v#5R2Hm$)StQUsO zlp=L{?K9lW-E~oPt4cZgAm}!VHvF_m>&)$xD3{GLsQBqe9YW?l+FMRYFITOrrBz8= zv~_<8tzV^tKoiy{d?DhYwH0i#=ZEayd`s`M*?Iw!q%9u7KkD*i&A9QGB=hu6A3HSx zg%GN7@<bN$d!$5YUODXNcB*kPFYd~(a)_IB@`WSV2L)!IVd6ZQ$g&{mgwTm`Y(@>lERcUTF|BvVbSjjft->y6xzgzcqvyNdgC}(rE^UFk`vh zoPYt#Gun)7JNR8BFs=IPNnGI^Y zTf#b7`)iD6z_C^-D{ba|V3Ly#ZJ`QYQsYAMBco?Fw<>D~gW*0EmISM|aNAj>^;$^jI4t`4&$rbOht<21qtnJOev8?p7Nq0XwC3Qk+H7+T@ z_l|bUtHni$of88(Q6l}Rzekl(L zKw%hqo#dM}1H&h`YScpW+qH zhEj5JYajJ37;vhU`aDt|2$$jcVPd7j+ECaV3~~HMv~Qg>OW_cobd$jUbG{3Y{1Bk~ zthGGC#$L3snEC~?(r;RppR>X&Qxd3B*0QVJqQX6EFAt`HQ}T1Ly+=}|EGuM*hk`2=1_ zAB)2EJnSy^DXBIax>TSNI>fAkH5ev%4*sQvrXmN0W5>(-XbBh70gAk@hXSr2gMyjC;!(vEpYY&>b_eP(r!zkdPe0WuT1(or3GP zH*u@ovcj*Pa7dA6n(n?McXCPIrugSya95|e>d>;#KHKbDN?7jzn>0$XqZEg2h~!-M zPw|yX41A|zS-iJ-`j!bhO5_Vm-n!SJ(xUGsT2@)S#9T$(-jWk*vL91ba8VPY@BPfH z=8_J%4P0+i2C}DraK?qpAUqFvl-sx~2X0ok`1HJ9BMQ1HRIJ)Evv^^)sbjeOYEq&n z-kn@zb5l^WBGHW%W*UB|I9QdHYW}J0((rQZV>VVyAqF9irC#FI+}a*XOG@^iweEj6 zq1f2^r3Sv~`Gj}T<#iUOm6DJJA^JFA?yI!TU|;*_dD+4$&PJfYg=~=8CaG3CoZEt8ra>Fk zxeN}5m<#-%p!vp|Gl_*+cyx)x7T-7?L0E84?3$UsFm0~vGu%tEoB z;iu)5ipK1#AqrA@sJ8Z4ot67x7SXqIF>Mq+ly>ZB$sGgnt^Q=x)osTIL-I) zSWDf4G$d*%%m7Sqq`O5RK{3Tq2S+V37+B|WYxEr%g0 zbi(7Knzj7+h59TbrOXYC6DBhs;UKF|{NiPOKRsQXnYn14>R%IJ5wyXrc6zsw(gb>Tp{kp%`6yXa`7|Y>Yh>?uHv3FttJVFAJ=-W zz8a$EH4C2;F3=}+nH+#xMb#M=WsHQFr<~G91~0C(zg0bERlRvC4>iCRV4)IHuESxv zU~hfSH0`OeS%^rS_u5KJ?&>W5 zrK>;PpEA;&5vi}U{!${8Txv@6<&`KCSZ_jeay^{xFyEj~Qjq4uAFko2x)mg6aYLAP zrYh5nr@C%!&LY@=`*w9(cJnvn{Ze5xPNje$h*eFO zu3?V-_`KsC)EvvIA_aP1#Uyebytt&;AzLA<|FDRqWW@}p7A|Bc7u8Pr8Nc$V?TYhr zZY~)x^`7AG_pyap@^NI@udZU_@LNshYfCCY*s5{V_8jS5Zq)5+S1B?vnkFYpuUnI!1pch2 zBuKAcC+&@-^h`x*kjDnoU!Gb?lu*!pVJ+k0^XpI&iKqL0im2gZR((4hrT8@r6Fi@@ z*7A=ve($BzYW)%R!g|_l$qG?TYbIrNOn;z!gf%n0Y`Ck;zJB_jQ(*t7?}~CUFl3(b zM-U97dP{nVv<;awp12a+NJtU0^0s=45f@cHw1PWh(0DyZ!}`43u389fUN~7fmsGxI z9kTg}z29?F2SV$w+($!Y-HFV8o2}H^ ztr^znmqnYUWiGQOO0Ok~J1=69olg4tM9$+ zLAcZ1lFjg0kau@^)a~VqLI?u9ykEHBe-h5yPfbBsQ}`eA&tKOa!3u~@6%MGj4Fqe2 zDCG4XpC_8;m$rReiuA3Z=p6W1@$A7ezc!__pJD4iZOJDq?DgIpc}(|R5ARdW-jkq7 z`f~<$VBEK585{8x>`D_0;)>j}bdaEbkJ$#i(2w5+|L@Y_gT~AbAQ_Au_pXkQi_6K* zzRJqR)->T=P2@fJ6oBDWvP(k!=o|1;S66qs-V>o|I@!x0BP^^vGcyBB5!*fE>m>N6 zHRmnjP;p0xf!e)$0s;cxhbByttq%{*&AIaN@=kYTsmA7pg)tmEdh|PmV(v$TutnwF z$shf5uA&A2e=nn=5>Tju)YMCP`T0UpQl?j~TmkRJm6VhawH0xJ%${*^aS3nUT&}-) z{_NST@89qDxpH?l{$~cR{qmIMotb_;@cHvy`UOBQPn@}A5P60Rv>t6^(Z|}xb-N8z z2!bou*4Dao=SSC&NV7ivfBK;Nu71>DwigGikpJb&y}hLd9y;g&?+iiuH7%*IOzezJvzhEjig$O#S(E{9P>K@$QoHx7g1s^Z|_(9+T}x_vvW9}hz` z?N{VOdo?uw+%NeimW(;WB|qJ+LhD(dADEb$D){*EHUed;mv*8`6s5hiv{Y(w!)2ht zEqv6iuOso|yFWuM)Xs-CJ^COZDynB)>24YvTobrDJ-SfZgkE7|3|gNveE2Zyk-fce zjin{jA9mqer^=sO8lbew?nlzljrrdV3zpW_5_})axO;n-F0ZT%*>s+zw*;%yy%Kc__FuPV0Stxa^2P=Vn%rL- zLQD~s&(=FK`0LlBKGzDur9VKB!KLMq97{rSJ{qjU`H?z1kg~fMV_qK_ENu-{LT`!v z+dYO$?Jjt&*w3Fo^J>=7_K5@5f<4eM>$Cm*;PcE*A**8O{9V>dQij^ggAkB2Fkpni zf{1wdeZqUDawIgadBWRTWR05+KR>oIs!+y%{2l&9uXieZK{Wr#Lpo$lK8hs^0YU|A z7eHp@<>pr5*f@LWy~Ka*zk?dtc`wgeX(&S^Mgh~_*7XkvpwlvEB2@uBU}9p@)5&&f z?FHQxFcgaPCUW`?>2i)Q$b)|k>;bu=S76-P+1XDDs;qGB%XS|kkda(#%2&b1F8aeP zx~~|`oQY7Y^o%T1T6$LVwx5CPy=RZwWHsvZ713e{wq5vpZNU<|{O5%)tWsf3Es&xY zhMySE?9b}=93^GUFK{+1Nxf)ALl;mhj)MUl31NHKPg0cRB?PP)s~O4 zAgSaDi43JQ=noco9U-D2uDMt3fAzqB%C@Ff>bzhbx|q|FYF6h*{FX7I=9c~WJSU%Pfx8Kl4;Sbh;%Wu zEBPy}>&v2<%R(&8#f3fcaG*`zfCn?VVMVz&gId@rp+SAsWj8a>X29P7Jz?}qTa~;~ zyCxo_oJrPp5-2XsxQaE29!7Gx3e85IkP7XJ>VIc%xZ)Qg>Fi%sz9@sUSt{n<9z7Q# z4SzC>^n7!-dH7nT)|g46;TT@{6%Co}H-WP%#ah&g5YX-6B=X>o60TXZnY0tg4kx>z z;*H@t?T{nFRWl{R#x!C`;jm?VcIG;y2d}TqbszCv5-ZCD25piATy0ED%<}SbxqZVK z;3frb-h4m&jsGL?GR{YBPM~0;lp||MJCTmnvLg=njWh|h)gCq1YYBIK3fhfn69_ac z1`F3HU~r>tG;A9?L0jAqurE;6fxzNU(Im@^+4L0Ko^SQ7zQaR{&{4OL^R91s3rfwD zi%%kh)MssLHGSH)G*>jjn+hjo6PyGx#bJn2t`EoRreDmucgE)4PD3uGAyb50L=o!?znK_%v$w4hpsTw4ZcRUtWV5}=-II%q5jg_9=IDt z(ND&a-!4aUOQ_q6I+uiDjy_K)?#v@;+jjHs=mc!k>b8$qaSm(6nqJvk=!vRakFRg( za4HcoE5#DVdf1IEGn5KwyN210syto0mJQ*RvEy6?OZtkL&Hq5OwjX5G%Gq>s1p5xp zp?rg&{=%9OYU7olQ)~6^D$4^j;LEra{S9_D7C~=M(jzEZ+e%wG z4d}4C+2mz3uP5Uw@r6Z)aeIz=-a6PeYCwcH3&Lfp?HrBQQEmEFg;`Q$lp7*%)T=D^tB-4^NuvlvkcEyRCLbN%D~i%<2l=BoAt9HQeQ_Ei6$R5RrLH zpf6Vpbsgn#%3u?#Y*(S7r(L+6Ixt!?G91*{EZS&!!)cVQPK( z@+H;b-=Tf`c%y?_;7%55`PtI3!90>h`=T&GhGrMfPRTBZz@Ay%vvNq}o!;Ow zB_*KHuN-JyD(+QxX#T$Fb<@1Ju6eNX!mmFXIa%EcAIuvkFSW>X$;!Xh-k~Vwap;$r zXPwP|Yb`tQ0aoA`|~;ytgGesDZIo}=F}ao`Uo#dIvfCM$q(q!)BSr|+ zoN}5-M0d#Xtdj#ES93#B@GiPFXR3C|^BJ_>oNKDh@K3ldD--fe z@51AOYr%oD3*lnUBO~seNcNHJPqZK_ND#t&z`#S!rwczD)7qcxYv34j!gpqk-7HWS z>`VjN>6}mxz1v{`gmhf6_$;~FHzh?_u~Dk_tXAF`&20I2VeP^Wvu<5bL`1{ZCB%DF z;9%|TlK2*KR7PG3{FP}d4EJ8S2 zO)R=D_<2OkrL4qW&Umnc!_*@W()bVW)u(r%Vl%tY1liu5)6oGx-J%0BF;6XeCMRiv zdy^OxKiWmA>5bi>L2F=Wp(A-l*3`ENPqYyG=0yD(r%3)C)&13&hw{}}ST1qVLPUql z8Yd1+(IMMGkCg|9;(0o#I5_+T4!lKXqu2bNUI~e4cETn>_6KK9RK8A!Tq||Mkrgxx zyLVu~_fpTe(QBsmtlzvA_S9E0f-Q-upz*MI>o+@9dJBfi%k;Q(JI;P_@4fV6#kmD> z`q|ytC;sbp2i}2x>;G?%MD5`E^z*o19^^RmKmXe}Qi!Jth4l)$hxq6pfurzn{msW8 z-cPOiM_>IYA}ZSZ>FEjhbjKCe^XChzsw_lN%|i~rFb7Sqg47Eni$KddcI=oS2(g-x z1Sa{9B0@q&T3Rnl>DemCp+K(Hnk*FuLUL0sGDnLa*0D9XzK~MRwUcCxDW(Tj`y?^hW`GKw}fxaaqCg#V-pLclt zxKKAmn(?o{JQ2_}%%@{j`A{K2K}}0bOK;grba(>Pok7TdvSuqFm!0S2!~lc^bQy3d zO$EO>16S7~kf{zrY)MehL++0rWuLhun+YNp-i7>4e|&NTsAYx#0|{s!sMqsWqWEvf&gIBZES2@USD@- znLp2|6PA*ag6-)s0isc%Db|dY+XvIpd-D}Rh@QoO<2IM9@}h*Uu^HBMz8~KWB(#Kg z?+V+}6lAvbr)A#t%?}aH0jdxcE&hCSeUrWW<|}XHzh^Q?-e7eIwzai&=_}2nW5M+F zg-OO)+oykd`gnWOAu5msjhj%Z+SfGQWTS`v;Y*EXEjj+-s#1vrU%m(^2!0ro!gwYjR*k-98849sr#D-I4%M zXU4{|AW$YS*M)=a>v^$0|9M%PY2@FkvFO;rke9TOvf6;4xLV7adr0KoH6<_TJC}(v zyFXVNpPj`H4%z_NEX2pBCSqOT3;O@h!QRzER68@)I2t+z0E|Q zc*TiozP&q@t$vF>40|WM6(1d6#^yeIb`+6l3_FkjIm>GJlFxHxzxV6LE2^ksZIjTQ zQ+_7R-|v5|Sj-zWPVYj!IL4|1pE7DqfrlUW^C(C(G<@ksfgBObKs(iG8Q9`p*;9X4 z=&z0U+>)=ePJMLsGb=aQXr7Rc)hR4;-CmL{z2LKjrn0WM@P`{9X`FI6(Je zku zMVf6AD_^wfg#yp!Qv{c3rog#9c$3R8ggv_U?pOq~LFEPP`fmAs+P*(l2r+vS#bU>q z{r%0~YBtL?EH2m9q@qksoVCOsp@h> zJn6}0Qye~Wx+lbrls7YUB<9&OzM1Vw+BaAiR(Q2zb&8DKN~5}oLi z99a7-l6NJK*OIksQIF)QtuNPdI%L0}g^!4ld!1CUx~l4Jd9^1;-#USWfA+NwABcb% zHb$AM?mM0Caj^g9yqdYrShx0(U8NbzO()-S6j#^IlDrd#r(z2`TV=T_aseo|Zibm6`c- z>(??S=&r5R5!ONStiE>?z|g~|HC|b%nZ>(Wu@19i6FVfrtOVUpKiXbw+XPn~qFvW-F386fP+49ezP&kvwcZ5RDNsM|@|J{>sG zyXSu7f4d#=8>Mo)J&HnlkR7J(sfX8L)f0V3~^&Qwj;R0u!}+Fi}dtrD%at4zTt)ABSn50?AI;b%0c`Lr_+{fTxRo z7kBkz0daX7Hh@q*A0U+egshk8qgwh#-syt%+{J|*=fwDhmD)NNgRp8P&5{mn#(`sT zto;Q0vRa@gr9B)d;Nc+Nb%-L->M9WZl zVnoTc@_psj^>iXV%$g&j^T83Dz@H%CNghhfjFMXV%$2N=i(+G%E-Cv*JHFH_+>HNH zd|z-FxBtTk0(Z4x$*VV`f#V}G!uteNIrYO?`KkI^DuvHTYosUv_6y#zYF>$~Ez;14 zNSs}_n(<2Q>;K)03morNIL|^c9cp*Yd(VJnl=!u_f{E^rn=)t++;DzmGjVvZULmxD zp9hEPE5k0-z@C4G1?;&H=;6^*4Dg&F6+oa2MGm-j-6v=Bue7&yPq+E3eHpNuUEw*? zbo!NH`v+RbDzN}&VVyC?Y&QLIXKjWOvf95w>x^BLp$_O%wD!-sDE#EqB|ePEKkdd} z_tL1T>9svH>ujY;W~!LE^HBZ>erZ5g-sG~};hgi79WC9>f!6H?2PdJ9oY)S|BKjN} z=>FS`m<<7$v$Rz5QPrg2n%=A$0!B!L4v%j|tjeY?q~4C**vm-%Pfp%^rXe2FcrF z-=ePpn38!mn+|jj4u66F8P*t z44)2a1O)E;5r>BO4th8Eih-Re7SQ4#+yK(Z#K`Ds{mt>Qv1xW1l4w^n21?F?=t%}@I0}W5_np2Bis0sl zN!F3fJbs7+-R7q>0BOKJ=dSB?0PM83w=p8KeHjIed>7mbpcZnz?nRLNR}n8U6q-w? z=mHQF2TcYlkjpANT|r>*6aup3Y~7L#|S`w(VlfvBIO9_?bHxee7eqI8u=Kwvt);m~b+0C@BAv{BS1;ga}PM`KWZ_;2)` zJ-hc2R2dc^X*(nIU6P!;HcJ8Pl6!BvdMe!*AmNL`hZ!>6K}jMQcT&D!{Y|~9Y7zj~ z&}6XQ`w4LDb)9#aRaLUB?{2A5Y=dwYvBh$SZK~8j(Whg3Iu0xg=wwS0Ka+P^SsBnL zozoaH8-X-OdBq{Iy4tNjTQT6?U1*rYs|hgQ>T?De2?=AMsnviz9Cp1Cu$2?uTzlKm zGQ+Z?CoBPro6;3lv05j*jc9))*X8+f!dp;T*;c}-tw*GCFuQ>}NGD`_6-^0*of0|! z(+t$6CMyM10D&#b+%Cj4JUpCVF+C$gOq2Vp5kr^)A0Hp|+ba%ESP!r>*MYDp;n>n)tgi(0k2=U$Lkw!j9f7bUEY|Kw!g_DeU8U}4pLV5!NbbPtX-eJx zHulk@M}roCA%)Ycc&S}^QM{(_SQ9GDZ=O~KX6XF!!Cva|_rLM3eMUfs#8Rwa=g=1v zji7H799u4kSeA}YzqVlr({t{v3)*m}&mSphqZbS!Xf^J@XLOjvFH}jLR!vht^!{_~ zRJrer(b`;J_fQ_0k#35I^%2mfctMb8%8%{*@Xbs&JmV8oQiAwQwiw26E0sHUUPUCFWN@bdiiNZ_ znbKbqPc~c`J?^PK900E!Z0hj}z6xW9AxHQJ{S-pR7CkL9~DLw~w zx~9H9<&;=WrbBb0>8Ah6WUExb@?$0*<(hQiBMj}OU`muW27RoEes1A07b8B29)#*> zt;Jyyh@)OfGX zf-#|0BhP3&9T+=y{J0Bn0LkJGF99V+Ez@E6ExR!sR04v%^+V5#tgLxS5>76^zPtdm zfqUT@`aP(6#(Tb34v8wN_x-K_4un9(U?qb$J=1~~s@*Y+42t@OhMk=edn}(0C>lw} zqgB6UTT^5xtuiA;g2wp*U@!gg`acb|2AcmKq^A(K$27uD#drmKTI0-4sx?dP6~R_* zhi{VD>TcVI#2`C*o~YFJb}dq1Aob|4dKg!6oy#DrS^JuueuuSvunUZ{P`e;7dL_}> zh}gK@wZTc+*f~Y`(frh9~;vw=ZJ+qg7MU;Zc}qe zo}AC*--EqxcXxwvwxsQ6X>GcODbj8|AmAM2Kn#-5qg9?n&J&dhMn%yp9=)$B%f>M| zXBje!6BerGDJ2;|oA}FP_6?93!K8xty0~C8=mNC*WO+EoRa%sTo-rUsT`svBt9)`3 zjJivB)svfq>%j*h;ImyiBf2CLW*m0x;h{{nc(;VVd3fwbbz2OG$CL}G3rE66m!a+m>*(g<*v6Jx5xE8x-} zxo*&7S6r(jw&8b$@;mvOd1ECx_^Y->wt{!hJ;OEdCdA??Y8N(trc;b%qUfh(v1;Ay z7=OXc@{=LBdb5Dq*Kg>7kIhoBVR61ml$@-`i|cBU0!2f#TZSxd#YQ{mDdmk|DxNyoK3~4;k+H4$-)v++k>xN zKr#N0b&_Oolkv9rhs8;R<&4`N~=P`z>!RM+HRZN2&~bin$Am-EvsZauqB*Eg>IS z^f2}Ns$W>ERpJ9Ut+y_zvzv8g;d1@kpPnZBcJ{fjpUY$O8uI-#vOqb395=IgI@`gs zy_%FnSpLjS?U1*6d&`SDID0rcW&1r_(U5sDpZ0t$>h-0`i3v6TS@oyKnPP|BDWFDV z2%<%jIIRk{uaJO1M^l3E5QM(lIv#_Z7N7ZlXP>m1l==7T2+-eZgry}lE5uEcA+by7 zx9n-S$t3J*+u%up^W2z~vEeUAM=G+Cx%)>SO+O{AliF2K+4jo446!YzMMw^X-;}FNcC1&s-#3dIZe-rT z*)5Cd5>{PEyVeeOZT>q8mMWXlw7qmEnll(TS-bLd-9H2U1SC}*NoVG_mLN)sUhmb1 zX(aI&JI5*a5YNTaO1qOW{W%8sMIW?!^o7i_-LCTOy#{!FUXCQf!7r(!GcTlhq38SA zN|*g*F7FENOhXitnNtHBNzSe6n+owx0G{=inL`>@3Kdt_Sl#l}YU}5HCeoJ3p5qH+ zP+@7TQMb1}k7bvF_pDh}&3<7gcn%B@mOg(X?7u~X#9Ze`^5R50m8SH2@>g$4**F zjxn}cESI~7=4O~F4%^i>D3R$k0I0MA1?6p{%2j5Cvr|vxaO-(H_K`}lw?SS(UC{s3-p=>+<( zihgh*rC4R9gi>@rNV(1!r5~!Hpv4OlX+dkv+C*2UnlQCFaBpjgA-z9vTkXHNj)3`% z%e)JJ5jgejAz`9q|a&8*king1E!$$5ln!2GBhxFb2j8*sL^LbQgIYRF>4V?V3KknRBl-qJ=D6_WD#H zZ=-_VScbm=>R5`_wr5tYl8vM6)^rWguFEa&P7E)HH2#8|?bJ?Ef8AV&$bg-ronsgO zwx?UxtKXx*Nqi(=Rk!-h^YDd7B2+`%gRHu>RMj*~)trCt=~K65qh3~scKnmTKO^Ba z$GfazpDB7#LOtgM-u!lSDJN<@bQPmKb-XJv-sHYoT_G?E;shT=IVLv5IkWaVX6U}Rp>v(BO^ zj$a&`!rvSgw4UM!TuZ|0{pG>eC|n+Od;_{g3GDqE)SsQtdNxoRfIg-RH*bSfzp16g z7a_OS*50lU^uX>!5$pKG#K{G3Fa=@PBe|+>>v9~D$7)+!qC6;{i334V2?$8_K0aS1%lN#ICS2cI{V)6sw1{w*J>@ziua+@QG$~)3*o}*Yp?)Fc^4g?9Ilco~owYIR zNsg$gfAwm+-Bfgy!Ie|&LRjg1(`b0{u8m%a{FL|{$#*9F%EUj0*2LE?PH`+<-SMNb zxxu&{_h@h3lt74Ao_t2dp6gIe!Kh`M+|(tUb)_D7^p5e&nMAS`tnLi-Z>w@=z-yeD zN%5%de0K8O;J=|I_wS#Fr5ueZ&~|8B#O&JU#wqxQ)G4WfVVw_YfipEv*kP-tV^UQi zKR+irD0`J#+Xml!FSKkS$}Hs4`|kowX`X` zY8)$U9AvcOzzGUfMYmUxcC%C^rkF=~EBI(QI~@pU>Fb;O`j!*5G3EffFfuWbfyhdK z4iY@z*!wU0qkH_2=-}rW-zM(2%_~O0r^rciikTI!{;? zHE?8bq8SDI`SD5g_3x?^(FuE7U_YXh9~8(5_F7x$FB{~jv((# zEQZ>tDEnm$b8jWNyV$?Ik>zrBUZnnpf!BTJ=nG`Rx?gVK26?kn1phlvcl*JTv@R(J z*BiWvj)mA#y}ruAWtC~@W_ckZ8~k6*fL`6SqJZaz#@L9T=istM@|agX6A~KKj!44h zLO8qy^9O$vuk!LuC5g|CzGTGT7wT=-R_@g+Kpk%hg)r;Cl3$W@EH*MelXl^U)m>ID z@azWOt})2_u~3!Gu0?E(br1|X>oq~CwwT4pqv9~%2quwyCbv43#anFnuIGNwlP=ib zF)CQ(6BH5A1=yt9t#T;eYwX+EaYEnEPfyp{6cz=5c8jyZV+KCG^eK00Fx%U2;Mw-s z5zSjr$(>W}lec;NeL%&+5I2CGt$qqO9I0R|imYSv+o3rv){f;AuBg1Ob3$|n9btJh zeB=C`qxU+FG@tzSLh_=}^RC?IXOAlUm7dO6kUl?UDck(S=-!<>_Y{vBqF-MA`)=f$ z!zWKZ<0UH8sd(CRzPTN%Sz0nR_G#?XLQ7k)pQ8kEXLvFAn+AB`w->mF)!C9d44`9K z>x}4uu(xtB=+_H=lL9?15itoCzO z>)Jrj~8=3KUWB>xZbDD7}Jx>B->ik+$th!zHBl$&)8J zZ#{ZeT=k2wHAzCl9g!z>=+4<_PAQ}Ad|i5#NgThv*)+jMfqgo>t`1|lQrD?pH{VmM zif)p9D~yuRXy|4Zd^m zB{QOY^{r2{FsFQAVrZiP=eKczfbP4b{dI3X)U5(9n?e0OtDWy@vih`*xf9z$ttJMQ zhX`o*56$TbNG^wAHr9`dXelwpTp4MHeU9;Jqw+`n_1lPltZUha@`%J#TssCGpV#j4 zqa%w`dJikU`1G?YW?(9Gt=M6DJcicsjzeX}d4G9OzI0M8I$*|W;=(Oz2y(9;ipi5Tct4Ie!5W5%GGpK!?|JU^QeU_)lq~7UE~=k zdqm4WwS2T1@Yg*QJERB-JGd^;l&KNJEq+=RJfKim4(F6cs(q0%DsyCFJ@=Tl0(U3) z&TSkEoUdoXygE&BEQ8nl^7&6KfS|Or86e8Gx27_LL&NEFQ{<7=Q4`>^x7;iSt_bL> z?kcab)h=x@=2_%XxM6_!Vcdx9T}#oJDq%aRuhnhYS$=l$5VA?2>3{rAaXvl4^q;j_EwK; z@V$}BoDPbk(^Q`%u8wQ(ujn%AeZ9Eax0~Tm;ek7Oj%HO6V({!NS-aboC+}I%ejXWF zXNU^v*MwM+-=3jmo5EP)-H&5ipHn1Bh*h4fSE{%LZtSdz|LrLD7&19crOT9y^E>T} zt((PK&br!qcL<4AK(l^l_E<@Vnv{fqt-RSNpUzsK-o#>yow@VpLSXpi0!b<28XG=c z$-FMD!DmTe&ri8>%BU2q3Cp8?UE_!hO8UTcY811^bkkR{!uko^dG>d>c#;C%VMR~Q zW6Qu=v;^t$I7n?@7xe&;uYv1*PHTYQ=&~AR=GRZ}amonE2lZi%H&4^Q>;Ukp#c$Y@ zKwXy+DAvMzjj7YCz+`2s1}R=IuW0!DKte+FAp`hm&S&ZJ{z-Bt@XPba=@FRGxHw-U zE=Pr?UpE+lF8&L%Sz8Y9J6+t~7(teR??n*0d^z(o1xQ*9{u0d^KLdZbN`uEH?%r8& zKtb|jRQBH)uh!^%I$I6sMd8Z5MZJ+c-Pv9`jHd5yYHcW=)bwH|^U#=G$Bx)=@wP+TV^<8V@(`8fGSCmMEeA4HN&hO( zVQI#{_8DZGXnNjh=X9f&KW5!vIz3_g(LTxw!D}<`kyN;W3NA9l;r`-0t!B5D%O;wV z*RVL9Pw1p1{8CdgETHhBB*qv9g70f8LO3c` zs+CZ&2~(wQ-%2JRfl~t|YrW4v{}D#k=Al`~GLQv!XLhKu%FNUmqL}HYk;6g@9t7F; zuQ@L(%zpQtt*+Z$jsiG66AAjZOED_6PLURoks^SMCfrEP$Tg4CytP`eMZY# z-agT3bYr_paTZCmnHk`k-%-XCg}~YD!{&7oD@F;y<=*`Q7b3EN%95rSU^IfHh2$MP zclO&c0-F3)dA=YoZw9z0P|}A3^e?>a6b*Qo2|psdQ;l77`8QRNso2{xqP?h+OQ_96;S~;@b@J5l8t}$4%U0+_D zgLQmuW5`^kf7uA2_RbU99m^7aoT!9$=X0ur)@-lMPDx$!X68{YqCZ;)bQM~|1Hgs* z5gn5AfBpJZ?m`x#SM%)UxmGRMU-a@d zpjn!lnI*EYu=ErfUIRCD0Sle3z5y~5B-YXslam;5b0?c&Fl^RKmx{m^bpa8x>HBvB zAdn=)#%6;nVSv84ytYOzsoTeZfnhmHL~$phlLozdakc+NseTG6W&`c7o2rfv_AN8EO8jLK^<7GP*x;Y>R35 zjefl}fw#tc15OHDqgxec@!_t_NU%>{@kQV`eqT40{OM()^ zm4dA8rB|<)e*pOzEQ(yZydHO5SLoLFR$wsj;F@F0yQ~vD!EY|JhfxTdzoOPgBY6%e zX=yjB50?=@spzlvDX86D*47Mfx4L!u8uF+|XPl>^%4;^aub%l0{{1{@3%Ar_Hl}vo zWlNn;Epc`OxeMq94U9i3ZFK4TwHRk`mF?-A7{;NIEY%Z0eliAnSTX&%BIkY(D&yb2 z%>veuq18S;!7K#o4*}(ZF`W%2UPQf?2uRr9+uzt?zb6??rS@ABv3h*S8$kOu0>DGs zW4H)F5j6NsIH(By$%hFJn;qS{JGJFKxz(ld+N=x?aK|TD$p(^!xKE zP#M|{9x$_ZB}^%mJ$OG8Fro;#FNFTF=XA=fef2`+0OXgX{srs)HGgj7MCH142VOqD z89=FvO3r^e!P5ga@5><-|KAVj2FM8AM)ww38awxcv>6M=%@+6y`oAc9>#!)-_HA?w zEL2_tP!w28KpG4}N)QDEq+y0eRFshJMzAH8NJw`M1JWHXr8@?YR(dFjp<`b+>s|Z% ze#f!DeeBKgzUvRvXP$YU`@Z75&hxy(O?$t@fh~>h@dKG@vwHF?eZB$ti*MzVnZGd* zPW#lFNHltNt_o+}fAQi4TJMh@UD>CXE8j_%^3u6hLCgLL4v+_-rR0l&|)I zf~+Y>y~xqV*f{ky6=Nn$syVs1G9*o{=ruD1_ZGt)La#FYo=*I-TX^Pq)S-gh{N7#S zFp#9lXnZzTINV+TiB&$b)}oMBgfMJdns`%7wDbLH5^qsigOl&GJaZFl>^EL4C0e%_@CLTD0* zkvIhe3cgROdguz5ELMgu0_`vQ7WIQmx9#n!+ni3#sn!Nk*}>EwS|?zInGRQ!Qy{K9 zW++bXXc2|dr<2fnAEFYCz2kGF9@*%ut>CADb3laDy4??S*e=+s`fNqPyO;Svx|j?R zUBlRF=BMq3Izc|#W%Z)9es4?nqb-~POs~7v7f0n!USMGt7S>LX3BV3lxKsbG5tEID}InIu`9PYu5M)Gc@(1S>>zR z@782wWXzgAU#Amw`f~8lA;Psm~W@B|9(ezzaO>J4p=7?!~>)_%~w2j>1~h7L*`pzv&3Ib3-6^~uHe zX9}f&=>fYPhvxk&)1Aw_*oo261lDLLNqF9we=)i{&i2NMxvsKZy_)<>I%a}pddssi z)e%dtn#nFJK*3+3&%{usV9u0b&H_qT=9JDfAf9%1Bd?FthapFcqT9M{Rn96|iNLTC znA)Vek4*3~@{8ouY2cU7d#?ekXadz9{4#0bI_CTt7!g4LY%}xe_r84k&9BkX{D)r; zn*Yd=3hc^$EaOKnQXtv=EIhelW8xBcVx5?CpBdPEbz67tI3#)X)o7#5$#tXZX99oQ zk?-!BBUsQ0~5*Tp+WHkIq;vqo+D}_t5bfE5qdAGGU=}CU+j+W*ZXA%o(QO^r0XnJ1NufZ#?34tap2|A zb1pk^fG52SLLQ`UPMBSTwiz3G2onMvDIzcj#wI5xgUfLQhm|Q6f?g>W=tcTJDt^H; z6}JBM5@LSSlqFmxHV}AK+Nrp#XjqD%%?|$b=`lQP<+K5dLMVxtWlz!Z{cdQF!Rl1F z6~pgP`DD)?+`^}Tl#&n~Ndv{X|NTOsaw2-i#Kh1ET5v(J19#3LBGOL^#KfxJic;L! z-CAg9X~Ci(b@uEdds+QS2wR8?gk&=pE*RSj1@j0AX+bRnv*1fT`@#e+39k>POw7#p z{4NQGn1pWv`6@Uv^0~b%Mmg@rjT?DJjWmd`#KYs?eVj(C;CUD`J4~d1$#KLqj(0%j zp@zK%4^(R(Ssn?#jHSf{Ndd(TAc`u#R2`4hhXyXMZGo{(J%EYFc`VN%F9^I;YiPI_(@o0Z)@l5^k3j#No6C zZrP`yuuV*4hHJ}%`2l25gnWas0=z|{(Lsr{qCtzWJA7lB9XuFB(1Yh^2Y|5lKVK>Tn3W1QxZ_pV)NowADh(KehKoxH zGR_MNGqE?pSm}FvdqWsC2g#Dt_}kX>CjbUQEBFz(dv5Dr(Bg!9ga`>6SW^$hv=Jg) zk|1>XG-ON&iPB&^08$koz=5iY)PafZ0xvh{LV!{D&4i?JPhUS8O{!!;-miaggzj}5 z4Yzix$Id1;6wxP~_z&uKU3hIccJvPnCXx!i47?N_z1QPTO6YlI0J#DvtuI030(KKb zBls1@>y{F7$3Q>n|BJhs8vlPgy~V!Ych5n8!HeU6DaQWCUxpX0Og%O>#)cN)4Ty!# zR>iu&;RzhG69$!$g|!sM$^*g(HClHU;m;o(E(+B5+_6`P5+?rl9|%Wn9GC~x7_ER0 zoCm#@I}0rh%E{e2Sj0c&l13Eq{h$AFZ}G1rk0X8rut<{p8GCH6B2 zh^E0E#u%*uua!+uum^pX1hu4>jyH4+Y5L_Z`xkF`_#?+i*kvV^ISul?%Thfncjhrn z!#tF3h~J8N^}m>?|Kn@_|9wVqf69S+r4G}f!-) zOD7+TEc_U`aADM`LGHA%r}W@KSG1U`qDWT%TuA?1OXUt=APv`iPY|duUfw*#V`mQz z$VvP^KVIQUniF_jRyRU2J~GL4JOdO%y$JdeHE7pF=2oEQMa@KDBAOVq$4dpncL<7* z_M@8yUR$6dnc8iJP^c)f&=hu)-=5U9-4CP_RoGG-Wzrb0wZ0sq4 zo<4apm0ioA22niPbJrQ*m*8i5|Gaa|2)PCS%DaCK3mf37QZ(uc&yM|kSkSnleGmU^t*H3c=r zl$(32K%L`<+M%;$!A^Mj&;Z2lrRWo}au9Ssg6ZZHwBcgu;A%Z{4vl;Y5PTrQLD_?a zJ1hi0P)?iwO8qd(OzQW&W{z7ZbgDz%Wbjxwgd$H5j6pd0&i?yQtz5?GMqIpgWT8yy zBoq#%U$QJy3DtK=W2PoOev>;x#D@Zv(-3{A=9TN$RbUC*?9M^yo(2myC29{CtDP`r zV3vj3?EZZHFF^ar-Lj5)X@WBe}5}+Kmh;mKf?q8BmAGg{C|w7!jm76)rO=kjRcsLW z@_<(fFoN-o2mh#tMf=kV`S=_-aNqL?p2dI*uB`Dxo@XT!k{q4#LLv7Q92G zG?cZuwf>nxvw6+|@ynq;K`o@JY9Pd24d}>#uiSX;BwikPueUfWwBQbdUI5b_itFHy zAOD1Q2MKLuWH@i#`h4wJ>fgX4hsd3YGAam4L8l45>z_N zg$@)k8E@Yn!^^>5Vuu6T0Ch7q6yCb>l?Wo*!0Pspzmc0OG}V21 z>_54c53O%);epc#%e4~-+kHXI22{ z$g1kIG__lGhI-qV*7 zAf9_kqJ-jw)6RMF4rtl#HSG@3f3V)Tk(1MK@Zm>zJ+O75B;Kz_*v~YfF!=r>>(cN|{5_Xu?~1 z#wk=t&joJZI56}Flv40mlTEZyX(DmE!VjKb)&#gd$-aB{uG(8y$&0c|#L53C1T-2P zMBm@6=vj@Bp9|>hvh{o4nFsK){=R6{2Y|n(yQbXWJEi|^xNqU5@rw1ked(YaBqPuP zBtSwj2oPKSytz6TAuhb2d*;X?jR@8%1*i_8B>}~&8Pp753S9&*2sjsVRgD~h=<2+!orX};;#rwZr$H4K`1yHlgEUO%w{zu`+ z((&gn(wndOZhJzg>VcLD0g-umeEiRQl|fF64Lt@e!g(=dVj@?MNcd@qiHSG$$Lemz ztUO~o9BWz+yjy6AxKcW`o@+zr5-w<&`LsD4h7T-PuYxG!E{!@YzN%yJJeBW$udbd3 zpdu-H57H=9p|>9wXDUgl@Dpq2qUca{~EHA6>s7D5jt`v-zJdtrNQm3h|9Q z^AHUAU_sl@_NpLYa@j{0gu%ot0|WR1@Bj;P&^k5xXMfoWM^$_GclZ}kDCeF(X#-kw!#)YXGvhXVSbo;u7A8$k+e7nX#g6hUACqV=rr_{D>mbOtb(g6XA_9!luV+5i0W4y$4$vabW+APYkHZLfn8{8&7e8?FzC4_eyj%Kn#y;;$-%2a(Pj zU?l2AzY+{D0Ga%7A?)vtGb1ix(8aUCwIKXtXJ><*_V^(-OxJ&)qPuZJ6*d^6R0akH zu52w-;$ffxvZuTfQA{fK#F0XX7ijuH1XTkpow@!()ZIY>$t{wDcYX>U#(l_9uoF=1 zhAqd=$JYg2GKRY9+DUMmKxPEU=mCUI+6B++@9SdNC<^qrr+2H2BVIQxJyb(<~^!D;SEr|^7xsN zZYv1QP=-JsKH2^$88Sq zKDlrtCIE_!d7ZO!!)e}0BizJT0<{niPxv; z(}AURZof514LoLLRs?HYHV{%ABxg*sXUIs8-6Yn(k` zacXk;dV1u)TmU;^79=JN@=Uk-+I`}1G5mGQ+^Eg__x?iFUTnIxrXGev#(8aRX_a>i zqpU~mCjL7QTLfbke$dq*9S(l$j*H}gHl$l+{R3Dx3mVWirQiE2;;+Ayr^=t9nGJLa#oREN z1XQ}blG?3;!e;=0_8DlOIz4xn89~x>2h>G>)}dNSIqjGgK3j&t89nZBsH&mo(l(r7 zryIb&;w59ea%MmiIMEuD1sLLV*t2N%>vd4!W<2Nw6V(Jo&!dBG%grT= zHJ9>j#v5!5Dp%=u*@M%fn4a~Sv5-yo45phUD0 z^WYeH;Lwq&_zygRfV5Fi(}aN63KTg)d#f;x0Q;6L8=YO4SMtGo?2I=24d=!REQj@>Xj6yDq1=w9G{EQ0pI|-)8!PC-fV7m< zG{8HZ)HvNZ2&D*I*7zm%5Q+m*1|ZC-z!F6!o=|kt;B+?R=&W7Q`1HyZ?|q*aFUX_#FU7W#XjUyWw*n{f%gxVTMFB6DXTwxNWSu*bGj+`>H#>H`+k1%O8a zkUyT+8KwAa_x_))?AfphaDWf)-v{X4wDV0h;@b1fx-;sjY#>jif?ead(&H6wOxJVB zqzH-!up;TmDZ29!78hQd64R3qwe25|6dH9CzxaLml2^DTD7R16 ztT8=AP*C+CRuN2qSoh6N%iaQx`m6c_>hTAyYw2Nnnm}X;etV`!<1HvcVZxp^*$Q2q zg@wiLV-|K8r}LJt1P-|^D*#v`E6ktMeKTD^R8*Hq+V|F+M&3ntN({dY)DF>ZOZD5> z(u}R{DQ#G`JF0Tgr zp1{M)2#@?MEo};X-4K`Eev48C`B0uJSEky-uNivtluTWLo7V4Mb^^zCF?KCHZ6a3lFFoZAu5V%bc>|-6zU0x_2!>fG^?)7DExj zm#8_hQ~o0J%2rmtFHWxcc2QueZj!p8Ce=NTQ5S`LNkK`I3hF!PTO%Q58=+RSN)lv` zASZ|a%{d^sFsVJ^4XS>jCecwn2gzmhxP_p_Kq?Z4W}t;7<*dkf5Mv32FF@bWfUXd6 z2Gj7}djNQEeG7GAStM&6*-cRspmwxQVQh=re5(tQM1 zKV1OeJ7xhNdfMKqaP{xF(JhZw5 z)DURH@CKD0|Im~*lX||fLRW5@I^CHv6K^k}!ILDX4WkqkUiZG9#3-grS^s_Q zOx^WIn_^+gDmbN~avg-p`Y zQw`1rG8yvN|ivb}06*_!I>|Zgl|Z{0MCXIBmW1{8$Ri0#3UP*j_>L zOco0;_(S?{G&ulAt7;;uFGi@*$DnaDFic#2e?7|ounL2hPd^K76l@&($tXt>OzXQ7 zWj`IWIdGoR0)&&9XPBh_u?_}DWO^Z+d$7m~a~^>FJz8{OE&5C$>RwSEfpQ-06lff2 za84(X-P7+YfXASQ*@U3%HTiydzn&^vR)k@GaQ6wX&>IRj#et80iU=ZsJd@6=3eloM z;wV1xzuDhA5UzRvx#UBS3e{xTeH_H;44A}SkoGX6@E%Y*q3@ge@UK#vaXD|@D$4V- zjnKdWcr#hZ_+L&7xV?FwN__ho+B*8N$o&8n(Z0F+u6X)?fWH@H)ee-7&HMPEc+P0E zQ~FB>rnIQ@hcX{x)5aV{#$O>JS3?_vJ-0xL+6B?J(R>5o4H#EIz3Na}t~{)x^mfLk z7}>{I%6qhibJy);aVylCqHA^{yT873%Dp&&v4Y!y`7C`OB>0Tqh`#SwDjqaa4- zJZ+|fNi65yDh&Ri`L2ZG=zj+otN~y+cH%?_SPATh42>Yq`@keFRVnAe#Vlu?VELX!D#yS z9Y5$Ofd|8|3#fFGckjXw`!E0%?4o3MkJM zm=lvVK3C8?mnZM4x8M)Va(As|KeNlujq3x*_N4L-^{h1%Ye1-ZYA>rH4fQ0@B=~{k zhI%;+MuP@&7aEXqX~ly<#l+EKT3xFT{CX`1EuPX1amMc=gLeqodzEPA`7}=l~((q!XrT17IRr?`(pSF?KQkS2aB3k zKMjeIX)9GH;%YjsG{m&J8`s$#Wxqq9GTw{_#stB~a!bq;Pf)F%{uMA+M{g>8kG+$=EuD$bx>iSJ9-+R?1mZ@Xun zNlLNa(@oc#9CYa=FkO0TvSg0i(ZU7XaWQSN6vi%{V^>qiB=An9_o<}YPcsu**qyZ| zJ{FgxSm(v_PGxDydh$)ONm1!K)?m5aOfry_9?hvy^%VVcdL2J`Ng_)Z%l97J#0fAO z^}kMXK7~!R?PaB2Ea5I{icHYn(=Xf9bN)!zl}0FO=II%(sZ6k!Q4(ut>P@7&I+%>t z=2v|_S7Pd-#p~xXcQh#)mlfPGf7JizGZ6+mNCpTBfcCNZ`oY2@#bbf;d61sA`;$#b zNI?cezyt*ALFoq$`h-{1(ONANIJ+4IHS)LX2E^jTPnpx|G6yp4SQrNqhAU$TJ$HB0 z-?;Fr-{0y#zo+a=Q&uKXiBGa%=+tSR_2l~Au1>op8<>{2r_f$iYCwGb;O`}@# zFCisQ{A?Hkg=av83f{6*zoqlAt)QIZVvse3Y&1hjmYvFdAJX}uEnWal3Bz(4c z%T%J2mOR$iO0G|5wUb)&ioc}IZs49iUYq#Wr6Z}hxsILapxileI_s@_+yhaZu1-w( z3vNCnil>~;3yM3!dog{+rMiU(2Bft533eg#6f*CG6Vx zhDVa`Ocp5Z4n&S`l#scWQ^7Jsx_s-apdCB&8(OJ(;S^Q8;Y(>AnS$ipgJnZ4K z()~iaBv0>|-k?)f_s)94?$&pVd8>XRFM}z;)#?IeJKFq<)fIr|2!2;Sw6g+I1@ zC)`7nCY3YAjUdDnL3_euK&v$0Atk`=N!>z+4z;Js+k(n$iOQKPWM|_?*&k@aOg^kk z{l?}0$*CU2xN$$X#!)>{Ay8LNha5S7neVQ6xq#%S{;aMDK`Gi3nN7Y~{ASbCE>63T z#GH(p(!|epa;wQuQ;W;@=m{yqjnLdD?*QJ~p1GLDZ8=MK z_k`VSw|Da;Y?`l`9UD}|?7l^9wkqA^AG_*l#P4)Z{x)M~fuVqGvVW$Vy5Op({3QcV zDf!nGNfCcH(6NOWiC;MJ)5&V6c7I?hL6ipe1T_EJdXj0tGYXqX`>72>^HAtd!7|2f zxmnN*I*5%snTFdJWt?2b^j+ujQ9>dfw`o2n>~`y}ML&gUPquZoifh5h>yomr9wXbC zs_nwOYd?ZKYn{rMVp%gjGMC1eJZR&j+Ep5i*2nYiT1Kx9I#rTrFKnA|NZ>@5c*X3D znqtJHPez=SN^@_Wk=Hcv3SWsxe>35p**?tG9oqkkxOuiVO_*j|=Yy)ktD)bi`bC}R zy6*=DJj(LaZXGIq;J#O0I8~$EH@Vj(q7!wZ)bRb#g`TwEsS3(l_Za%I4PxF>t zNQk&ck_A`i!YK>-&wB+G_pejC%q6&({C-7okkNoxx_D8{b*qqWeQ0+%qdvK4=up?( zbnvFj^kr@_8=p;SnhPI_CZP*{?C-0+!~ezAn4KgLTsC6VEN4}3UGL*ElcYn;siUkG zED3hG7xTFM&iDo$-}!-Ajva!MSemu%t4RKDqM`1pnj7U7lw6%}+Z2>4gBXY80=bjl zNDuwcW>grAjgsw|j-ixJHTSr0#undrY|#FPNceUqo%sfa2_b-=4h; z6bb;7qq!Dz0i0c`U%&Aw5Oj-Gk^cG>tv;K0rL9nXapc86OHwr+|EL_w)H=tA9r)%$ zEbV7WKWD{b9-f=;K$ad4KW)FMW694Z5ZN48<5{W|s<@>kZlO!aXPw9Gc)xg)5M@yo zH*a$3UIZ)Ebf^YC-*D@85`81qzmdDs&TPT3bZm(5a*${G?3={r1cO{zp(V9K{hr`! zfAcBRyV~PcN*CDk+jdyVqk{M#lRjdayRFgOP||4i`_!bTesec^EW2x>6bE~gxjY+w zXcxNp*o>#(ElTwB-xH}bI4x!~Q?+t~9HRLzwhJ1M@EdBc{;+XhGJ0=OoY2j9Csw|H z(mkGBEI^zYG{A+J);%on*mUsok2q~VC9WJAxoG6dLk4%;HsvP!Pb(AlNgzF0l|3`Q zTEhLC%Z;ZqA18C(gzylzlk7KU_FP#%f?-p>{gHV-F;V5qbMZv>X{${2?(2=?E?j@z zVnDGHlP*#*PP_(FmQ65)LT)-7+;i$(kHeqtvJF6eeu_a<^Kp%@3eYZslW5?SoTE=o zmp1=&v8d(}v)STOSUTQGLF?E?jnl(NSklKbG~bnXB#Jqv2cDj6;PdW^HGJ?cAe(5B zy7}UDcjWz!xbubQwl<>y=pdIc)pxCvD-Da9e^`s|KU8&BpphYU43N3B^rXWE9s13Y?GZCO z42@dF)^y`Wu&N#(D8RRG5Ck-IVlH;nlooqWUOKcDDS2Y|VnU7EdpPqaY8msN?$|UB z6+Or`aF-oq*pk@0*r|9YNfSHG*qFNl<0Q|;(Da2;8RpI=DuSZ9M}qGGU~d;PGu_v#Y3XXa>6d(SoA|}($DVH^ z!(ybX!dDzsmtS_wR5_z~yZ4|Ee@V8UkePV<_TkXWw5u9>0!DKjI^hIo3$zNqWV8r6 zaJKfC@80msEpuoU*ts0M<}u>5{|r)F){}8}F9QGoN;0SHtwRS7cHwcn(6eg+E}OCa zcSDnby~wu0n&W!Jd{0{EC(r1c8jl&n683g>tann@Ch3NzxE?P&Z+}l1=lmv`DORdB zhAn@TFhB5S&3O2@+G{25YU$9YTn5qIEjqFHLbFN~U36LpsCAseCamd&Kdang%aKY| zr1!iy&o?(1!=fgoBo(TAbd}^)>a=4&x^48CHJFyDC^*#h#ZAV&FP<9Lk9)oKc6F{b zD6Q_1z0ewU+Kij&(n8_^!JeKBPxCHT+d`AEZ+`g`ov->PS2ap^-HE^KaN`_t^Dfp0 zZZwVd(%*c#p+wdp>e(r0J)YQoL>zD1=!$Bbd-jw7Dh#ot)I z=^LElU1yrl?ZFNT3xqj~?R% z$+TMd%GZiVt+*TN_*Ngfjt-d??kwY}DXmSG1mpBi31bSBsl;yUpx#=?Zy|IWEYgh%eW zg3Qd!KyK^l`tr$BB*0QSg9 zQ@*0R0)!z@aip~|6grFV-aQnvuC0~KJkI6}2ja+crmS__XT`{g&5|vNjh3fXayzK- zqSd0w&tx3sV-*Wfu)p|#^sbjIl_L^ZrZGnlo0TA%KJc;nN>{p3DNL)Ml7K{y6)cKwI#Fi z-}=)m$-Yw`!}od?`>xH|my0hSB)E>doto-Zr*Q2ysV+Q9wBEj8zt^hMH)|E*A;^-N zHNowndhyfKX}`i})4!CWmDei7h&&t;(M%Wn$ejUwk%8R!HFr9f!B?jG)t%<|{Mvjx zW8xLm4BFo~>ZjiRaMa{s%C+%@jd{&XGim(RB}+3~1tXh+p49Bgsdlog%W_hA;F)C3 zOorsCbb&WtcgVG&jKujxTk_XRi*9E|vCP}ug@F(;6?+ zC_AFmpgPanNS^oXX%H?gooFhb4ce0?ZVCz|k@N}+;Nr+9v5J55r`4Fyl za6n9;peQWe7?>>2CP2-~Dl7}3s4a%QZ z#!re;O@%prS|NLSs=ufWq_zrcDR&HSInH-pZ2flmnwEI^@3FnS46E-p zrLiDZiC07i$E}};8#c(apSj(cobXyQA%gR2ML?!vnR;lz<+PXSA>)-3rXJG?n8<6{36GavW~)xvm7R&37|MY)}DS9b@pJ^dGanpK+1!UmuP8mhh(hS z();f#gtcoAx~{4RSQu_Dg~;>o_0#q8dvyYp@E?#AxfCP)VU*)gJ7Ty1iTI-skW0Ph zPB!K=beSWi9u#&U#}R~?u!id-jM~7>meiMzPkfx9n_i-PAFyx4h6ceYjBnDIc_{tw z!#I-Y48xL+Uj<{^Xm$ycCTfdX=X{^EuDweM6}C8bmp)I3>bB#Sj?5T=w5T2*L|?Y7 zbSM4V`+f!a+5&WrK83*426Q82Xt^*4T4VO>*RyL@_mJlUs5*hTl;pANELwXt7hGHs zYvq*SKrCpUqwNerjAW%6?Y6?skvH2L$$zhUn%Y@WT#6`NnSHyv*-7_Cx}xZAmanN- z!nS`!0z17$o6Og9E1MxHcE`m>6zd0e%A{9Ib7iI6QljCKTFXY2*SJv3wS@A zsuJ1qc)=^!w}E$K@D?yb2d)T$h6jFxw`OzA1jpF7f&A99y|G+gCfSnyW zb_fQQ`eSH-FtP>aSH>&8;9Ows(C^*01&$lc&XgZ-4a1pti8+?nLeC2^ z1jwK{JWN%Rkl8U!GB(xuX^Yb4$X;|$C8tbe7`B#aJjbWNBr9EVut?K!z2Ob6waO#*ky-uz9%bw;nt(d z`P@WDorb~HifEnnoFM~pf3`^-S9{GyEy*#%K8}JdX9Jt~LQ=c3z zdEkYfep7B1r5(ajxK&7uM4Td+b*I*>S^{x!xi=&4wPDc4`S+dEK}K3P6mq+|P9T?C zkWlMC7BZFlS%9-&ep&2diTfD&)7*a5%h2>G^;TJaMf-0tU%-4rION^Sa^m?l$$$1+DeeQu>#zBW>uJT;G=GR5Bu7$rV-e1dE zSuVtr`wlgdcWZOWS%MR(ds)k==Pg|1dUUTF3}0TwHEHeGTkl<uJq}cM2N^p7kZ3fo|k50dDF>Dwv z$MOyf>*8yvG_0jMl{FScu~Na&clopE4N5II@MHYH*RQO7-&$XRQ}9wL&ljayKP82_ zERsiYF5<_Z$?MsDI~;Yc+sbp})RYjmkl7_q)TBIQ?{|{T2QG@2)%b5C?@Gue{d_x1 zr_-m@3WC3GyyhL<S%S6QXmHE;IQ=sS?%@=aX!wyO|>APLhL>u%Vd&HqM z-(pZ0O|2oeMgyM54-Ckzd8gXTJJM8&VT3gY5#rDA6mo+>O`80a<*>ZeQ32Cx|1Xa# z*M;KwoK_#5niIMAOo~x_NW?&7C^E^qup;f*q!?bsph?XU#~-lB$vNrivN|Zw=lP?w zBu=I``%K8IdKdG)@siO5Uh?-`ynS`~H_K8h2-%}}OY$DibH`Ly|pMr<|1!I>jF8(;Z%jlX5vD?j{baLHsEr@a#Q zT+H$*gBr4yws|Fk`o6(dmzvTvD6lfEE*V^SF~cb*{WHWZ!v)4DB|!CaPbmvd@=a1Q zU33W8ZYjCD=k$xtUMQ}9Ibc5dgIscxV7%Sx__zYanZ(t1%l4BZ3o`|+;vIVh&Dgcv zGV)`hzseFDlkT@k@uW+xFLwm4+>9k;hVknwdFCjKRB9!~4El66w|0D8qa`K944k;M z>J=UH!=Syk^8Dd~9%8_*R*WaV#zI-Xror~KsNXRmkl-l(k6`UWy=MJm+|ZvOHy3o+}#i?!76c1?wT-4PT0DevcM zWVs=OUvbWuT_&{HD)VR3GnQF!=%0=Mb(1_}=C#JRy{RqX44g{R2?`$5Nc@5uq4BdP z>68l7t>NEBx-k{wz$*B0L{lQ~K?iEn${kn0yVwC*o_e`4<{dOY# zv`GUWOPYk)ZG$AH5Vf7w`NRRe`UcK(Ma9AewhfyepSl;U%%am6)%YX7x#7`8V{k+?lBQ!c=sOJb9uRhc4l9O=rm*q`mGQ!^o0jyKK8LrRX)}!n zceZOp6)Lyv%|*vlHaatpunA^Ka9r%s9)G;e!6x_d>$tD#3RO@gGrmY!sylmU;YS3k zeD&tj-D;9;&YF9qjNSTMminam!d*SjZIATbCE}yzh%cIs#ea8^nr_qGT0g62-%Kn? zRqJecMtGkdO||T`nnGJ|!>5MF8couKFjry;)C{{UJ<+N?aq`=>hVzAfdd^H1yueE1w;UR9Z0uL% zShJq@=BKoqo69nh(G(wCFBGwF9+?N<=gbj|xR82c*0Z&a&!M@@je#0ZvoyBqiVQCV zyS-%Z40`f%YT%-0Pu?fLK)!>-<85oZ&U*Z#*2Rc-k-p_ zwuiZk+Q2Spy_j1mlEV-<2?AH~%rbe}H5Bz_f0gpd|1i?BedAEJR=4ykidUdsWlUYajU&~-|E1}-oc8)y zmiZqKops--i&-Jnt=X&f(=oi!Auj)Xi`Av{y!bR^byn<({70h`a%<7&ld#ToFFTdT zJv&WxMQ*zfZYMwaDLt)e-49YrBqjk@iH8cwKwC)_z_K2|#C|*mln>xItyI$*OaW0m zzD!IJDE7!t2G1BRrS(TjI;j};~ph(Q(L)$jG;A?DSO)V;?px*xTn)`TAs@4 zTk|AmX)}JaU+RVv4(^4UN9V-oVtE9I2xk4b%&O)cqvD|*RNp!FL>7mpZKN@%LRs;D z1Z)&JE5uU$dwj8Lf@ke&k>=Sd%Ld74fZg#g_C#kg8X7(HzE+&?BYEE;+Hs-rbHx6l+Olg&` z{^T&%TzpZ%y`=W(vja(pblNYxL!L+0KV)_r@64K$hF-I&A`Db#PwK*I_VlXJj-`2^;a0ceAO z_k^UT&}3%(J%`L3K&Ar>TCm_xJ$)`D1Wu2Ew#n6!S3B=M5C!eSQFujmBa7UUi_Rh2kgmS!?uA;b{`;eQX!c&Kj0j-B9$@H- zBe3)xYWIm8P|Du@e5mk%tejj2&_s!qo}S3<6illML?A<^Ub#t@FJIp*6n=tz^!VRy zqo(VWAAQd$NTA=OUi4$=4aSD-Iu$?^p1c2Vn3YJh+AF=eedB50Ych9FToQ@Ca#~jq zV#cWp6c&fjGqtSPkbV~JoIGE#Wq}M&9b{l2lQKdQF_^hA(NBMfeDdGR&)kKBHQ*c~ zaSfL(C}0-SdqA0hxZ4bFzwdxi+TW#qh8OzafS0Sl@c%C~g?buOVPQr(p#0cOF*$KxhY0mEe6R-qEHRJ%#?Yq#@+ee?_byB(drPN&fc&WoDlpY*f?Y-#;y)r!J&+Oj{i4Cp2?2Xp zD+Jl_pl?&Q++wyOm5J!a{_bq`ql-ZtHlVo21Cr4*@e(~7x|_+$#uAELmP}W!pre<{ z;h>-(5Wk=s>9G8uBbPK;r&sQhuh;JO8t{hB=@tJvbWRk%`=%Y@V(tUZn6~@CZ94!i zhi!;zim*U{86NaJYxAbILk+#3eix~geg^3wYn9#D?}6r~O>budy?c!z}8 zb)$<;`$2-yeMQA@&J)4|fFjUKE2iYCXX`DMi7^CpXBlL{&P)U8R=9{`CQs3bH(ew8 zKA05A7yVwB4F*Dd3z{1ma)hWcRiP)rkP@^wM09wS#mBAXR&g+JSjaobqDI;KHHQmu z^zt33q^3b(l9jy^k<8whqgbL)zbvSrHte?Sha>|aBPs{4+VjQeGf0Qk*!VCYr$lQg zAI5(``uLCrdpv~?80TnS{Pz}jqp(r&kIz9|c2BiJ5KaqOi3DVEhuVWybg+iW0N3=< zLqHh`0$ytX!1c8Oz&##$f(&?IKT9j!-gr_R(*X`JfRjR)1dkIAeu9J^^l4ZJhk`W+ zP(OpyliBk

z71wAi!&OM(~ZV&L~s^$8DpY|VioWLoxR%&dy0CK?ie-41A8qdWfk z^X{xalwD|JxXi+h6_67M7_ZGyxIc7m)2nK8bP=G~q8<+({(sS2Fy(oE-}M1#^1&i+ zzP#M(rzEJZyL)#HT&7vz831yX@IXaRbwE2Lsj5ms&vS=-zEI*2EJ$QP^k11l$jBb7=n?{zih!&K zQqqO46KK^`DV{GnrCXmG2gf2se8OO6!A@$Q_YBDeRq%d1N3bz)f)<>2I0zY_$(pii zX8lZYEp0Ih?nrhE$J(JIm2``9u(o#d17T^G;pQkT?oKW&@WQ{M7jx;FXTxAFy#&iU z*ls-wo_nsKXPSmw1ZTH@5eZR3q;VkYKd`2Zm1LzU21lAzkHKrcHz@z;&O_lDG!&Q< z1Fu`IorL~g{mp55RXEuW1n7ewF&O(NfNCL~VSGZu_@Yw~m%88~P- z)MAvWfXcQY`lBP8o#yiCqgg4CD;00ep7!da1+8mijveUSOA}xNwXuZi{)(CufIJXl z#4aj2Frki7uKb(~zB@)*Az zNqED{q_2SN5qa3683@?Fm5!pD15G1*#q*4emX7D4imX)%R#qJVp8k*0TVL!lx=w*F z1&k3)x7SY}WekLUlmz9#S+GFX$bI^MarPeIT>kz0u!e@T$w;J9b}}*wrEG=l5!ri_ zJsKn#$;uYlNs%4WQe=~CWo0KTS^x9WeLu(V`5(`5{GaD>bl>$YuFrM7ulM^k&e!=m zUv)%OLMW?(rb&3>)>~-L97U@z$PlWqay@n=Z%iWO!j2Mhf~ABZHETX`$O{)KOnGB< z8I5+Sw{LHrKJSmd3qwqdGEHKyy=HEnMX1C<$_?RF+3`(2@HwgzzI#SwJ@=DiUb2Q-z2ZVWwM?aAovH6Fn>t`^ZGYTJ_WS65r0zJ>V)c?ifci^LdpB53h2+a89VD;72vG92j9C%W2+ zmUKv!pzi~ntAiueshdbDAk>D#^Y*P6HnlP=fAdS%2CYKNOw0y~J@~f}$Dn?Hqd%eT z2-$ptV6f}^XH7?GU*g}Lel}jj;l#s5**iEu)!|f8mz6Uw@>+6 z{(ol`?E_^gty+X|WB?@_;nM>E5Rs6G+}}*~XfU3;YG4Lp0g1kcG2WGJ>4byL8c>I z<42hg_JpsnGcR>CHll+bA8r#$2smE1`#`A)FWu8be74VKs_O8-V)O+3{LIh0m$_vu z$IRPZ-lE8=rPO&XgU8$L@<9`JMcN~rB)mHy?9h8H|0NfB3hEDdXPV$n^!yutryn$O znkP;fZ47un*49&>`5oumcF)?hsjQyMa8)nXFAe!B+|r;@wYSggutnmg3+2#%L_x6WWi>`F2g+`=Y3p<}AY_)?E zniIdOqje2<0u3v_3qla$;1OCe=x1V`@fTZNY0z@4K6S)tae08E*2S76V-X=NN~sXZ zQ5~)JnE60OP;5EUgoX)84RqOFOIhY69|-RXf1Nox<3dzwh^UiF$K{ER>kuUv+FwmK zh=~IGNjYC*0xdDj00*9hl~u;e>r~nKVDs7aD=l{`DaRLWUMG*AI~(k4O_Ib|i+jQp zQ^-YMo#9FHfVomaH@XG8JREz)>VnqvB$5^==ofxms5EJyx9TaK5AV{5WU9?Gr1pb# zB)TD?UHtg>M%PMw(i`6>9Q=;FRJ27uM|y)p@MI-aS~d9VnpJ?;qPbF?>oU`oQ9AWS zy-g&1SxHG3Ae$9YS?SFr>Z_=V=I}YhpI_C};I0tZcDuWy*BcTu&t9%pBIrT=P}O%) zE0QUs`nWV)Nh2}JmFOp$nVI2>+{k^d`tB`H34if|tH88L3}seyYL(Sk-=J?)^QKRk z$(1ne9dGy>{ z)uiZ=^7Lq?y=2r+r~uTY+_8GFnzN*d+}fLRek5&0q%9i2~fg|n-lltxciDP({l zM8kz4qK^D~j*L5M>dQ5|d?janrCPu`OxOk!goRJqiV0qK^)lE+HC?s&Csf4IXqCvT;3h zwb_(Z@seE@eR_)6414GVj@IT8p#qw&c*okEP}ZkFcn*Wd#%ybM4GQ_V6$O}Qd}k80 z(_mCFF8veQMK!a-w~&mfe)f0{b&lR#((T)!AFK-NclKm{A{498Bb$SM-h2O^R6g1B z9SiQA=*C1LfY4ZisFt4I6PP5~2)yGyVv6#Qi5diWCjS$pZWxasi0*xb1;B1~GXr=?AoN6FLL&3z4UsK1n!+677bOLSDWUxU z-vi}A9SK6iBJtv_4W$W13K#he&6}lZE6T-;IsM5Rm)^``7d#Wjg z0F;)Ms1uNoFjwCfpTa=G0ziGZH~5TuDPs(#UutW!eV-yYVl*Jby*Dy@0(Zvv)100& z#834iot*|dno=A=n1$62+5c-o0XX9gdC+1 zsuvug1ekh*0Kbx&aEDNqZh@n9f_bw5+XT@l_7L<_+Mj9U6Op*|HRy)o%MrL_qP?z7 z`Ftc&N}byK5DvNYk%A1DQFIWXLmmK)LgGq%kO)dsC80&0gpE)9vM=E^s-YmLOh{Xv z77<;p85SEipvb22G~@L#XS`Cx3<}$20<@q}0YM0G=B}ZQl_ar>_yiKx^3K=jm`8`U z$npdaG1m+N9Es7In@p2}6Is7wm~$&3c=CX=RO)~5oQN>4@xkee41`O{=3S6daXn8z zJxNSJMs)l9B|E`jD0=23KnK@-tz)CY-YaO2lrr0)UNHS5H^~bKQY1oAhZyckgae1qY3!qg;!eF={ta1q%u8OItY0tK;3h4-mF_;>W{{-wku6j-0bX?;+51LX zJu(&1K0v@xfCM;91XzlG>Wzr=Y5;LolE@&_;`mj=gqR-v^nl+_6t10W_5 ziHSA{-pv!9RkU95Ze zma@h3)l{_Cb26_#SGyjcrOKc}EDa11ZDLw^xcch57 zTY|7eH)3&Kq|q6#+D30`WKlQ9LH4s(DPBDqX*Lm*j22D1;}CV;>?D2eXgRY7dVFc0 zh?#cs8uj&wqPoa#p?b@rM;p-(#4QVe(8yL#C4l4?51b zc*V>wWS5pmO7-||Rj|TKCK3(I452u5$QUP@q|v{1?B4uUx=^&tEE2O=h7Off+qip# zF2k3_xn10cEfovf0NE3Wl>USU5X*Xy>8wx1-&yJ)Z$7bE9dC*DS7!i?X1sl?uX6JT zDT&i*)H+a?f!3FKOIi?Y44%TE*3tqo%^u06dm>n?{#)C50V$LN3NJW&Y!Ra*iXaY| zO=#5u#nvja&WRw_){g^+9abfxdY}n)lJMAAtue3vhR><5)1yZU6t%UxU#@pvZE5~( z61(|EK2Q{b--uEXG8{x6MT7w{H8d}HgV{Mq(*HpK1VluLZ6Kgw3gN;dh5>{=ajYxC}P`V=~9si!bD|(vr4v8uLc_23X3b|2I%5hIM8fGY%JdNto@$5CD zqLcx_i@1fg?Bt9LDdhd`%c!WgBJWa9r@^+)!YS-HQZ<6*zD$r;k@AE?>J>2vVYdjF zVfXHw-_w^!#{7&lgwQcSNJ3!|fou?ol68+JC)I=9aA5AOrnj`Nb<12sn#v1ZCL)_h zX*}wL>vZ-W$RpO~y*9G&@>(0+&M7JV5zh77K{{nI8OGWElRj9RP0Eq8r82*GL- z0yhK-DmOb9HONd;$0ki^R0h)Uv;x(lb){O#^;LbPc+cyu_i{05QiTU)j#V4aSk ze1|&8Y%g-yE@HApn;DE(7UW&tPVEo@%tx#WD?7U~G8Wl%L7sCjK$azx zG;U6Hvy6U|>g!vba>l48kD!T4R+&RKZ2N&8!gIE}!qX|tVjHw3i|;Bk!1*J|Fu9uj zhC{;?bYA-GwjXCf$icu3WlPHmvn%fu5}>OC7a~JQfS!fmP&K`~9B``arj4J)k6&<7 zE_<_k@7{J|bc)3XE2wD@gMv_*Abem|RY4K21CVrm0|SEBi_s-1U;kS}BvDbE-0Tct zby}_)Z_Kvami43_I>p9foqjbw3+@uYZT!MUGJuas63Ge`|8f5aXH_6Z2>Wx8;lWa_t!l3ji8*E2}FpBS_tFk5EmXuQ}}lWBqR(Q zQQyXYi3G4vct`=;#2YgqU^w$SY(7E|QM%e|$`iV4l-6Y^xe$`~?#n1AHADBp9G7gx z%v$w-x8#Rg0@{}eNEVb#KhZX*F9 zKD|GMU;=G?y^&PxC&FZW`Gjml!W)17zuoD-d=Y=|5uVty=~pa)`$CcE-)Fj#OVe8_HE$Q;P^MS+#`(-y`{EcgiY=lu8fApYGV*c|2iDNb__Qv%- zvTGH}K^`yk1Yl3o?qWMi>sVMD==e0cFB1$icsF8Y{{-Ntx(Ke?9}+TchOL6nvV8=;UBRcquRM3O;|+<*{pg(xlh7T{e89W1Dr!VpaaZzryjaT1@; zN__sm!aysgSfZ51-FfK3oqlApu;xVX1Q35>^cC)L9xw$Pi2ncxZb|~$N3Y+OI!fB0 zXV2Jyze6l5)1W#yP-;u#4Fsixb}GOGP#C~HC>w-4En%HfHda6Dlb$mm-$4wTfypO= zPmC;Jw%No>226jfIrRaNyu`$0p_-2cBt9t1e>2tY1UPlriWAZxavD3`Bnb*Y<^>IV zXxI|m&a8}#Pg7FFcl)p=y%E0?g?)s#Ks2)vrGn~BK0+h*CE*Vr9z_CU(CxhFo` z48UdS<#q-NL%hAG2HCk=NP+?P)kd9eNBzJN`jBqvs-~u>_sx~{t=8k%Cc%o0qRjY` zNCYyfnQfc;!zoJ8U)Y3J+txxWt&M`v8S;1MjxA!+1|fRc)F04|0g6!ECoFmrhS@zJ zOjX>WG=&Ry8i9dw>k=52QfJ3Jem=ipg8ur2y$myo_IBck$;7GAJ@9P2yG^)#5tS$!UnZFX_Nfg ziQ0cB`db0ztpCKwysv;$CdzZ4enP;MSue6|N#KpgjwOHOu|($kadBg*cGHkP-@6Q+ zB8{NtCScAjyyZo^-!%fuhrqP|HF4|DJ9siD=t__R(H=*>2S|f3hyrI?4p);)|D+fE>gadB}%a@$BMK8!jN zVw&Ldy7_iJPSY5x z6DpF#Of8s#8dPNQW?Jm3b~s?aKXWluolXyJ48T>ZB_>sPKWe+aYd zyrkQ-cjEZC%~!LQV9y%PIdJC+$Ijk({IQSs`hDSJ8v9>}Wc=*=^YdIx^Y?9@6z4DI z+PKO@{aIEx%b+*qrE`3_C#S&5WUPhK`&z@;%3MbF?8LxGGZj(2Lv#jNE~*b!yAdwo zl&gYthO`eD%9kHDJ|So#gH$aMM?xu+F!C6a4IIqTd})}ky0X~kw)maNZM2k=EMq2R%Y{0-5^Y*Y`12x$<&=%)xGb+#Zb zDzDN#lu;C{8}|%}LxJC$%%?E%si?H%*@Q6rd;r9Pl?}p;ARHx$EEq3GN(97|v7legUnhMm(j=&@|B zi7e9bvU0qdYf6(B9vzuE*5G2w;@su#HW8^PR4M6RVA-TyXK=9f$uh}xx4In7UwV1x zPn~~@R@!LuG7Y(`&s#K#9lih9 zp`lS_ODQwsNr@bx`KDio8QLX3lNPwPDhZX&8gRr3s@`$GsUT+gOw;LSX4QS3xuW&S z#wKnpD$|BB{<+1nw6TCH&$b)`wh!-LU0bFfv1sK88SBZBG>mYkKzkbdSBC1ns*5-6 z%=fqJ2%nC5wj5>o_4{uI1F{tNx*A`Uzv$ zR7HTN2=Bzka-@UmKHOyUS83V|>JfCFa)Slcb#SYl9A*E z{uYXpHW_cP$dAV8wU37~^^M)QEPvgjO+AQ4L`qmwsK9yXu$%R$aY;y@*Rr=`i#U}< zr*3a!QAg95>vyT3*TqrC_B{J)u~)A3L&|#c)8DlG<31wMo+T1}^ERtL?<*B~c{)jG zpV~b(dfH)n+0CKtK1b*YjhdA|9G-US=Jr)>w7oxyOf*siHMf4s%ktth50A(UnWj!_ z@?KNdm>C)S&2}%#QAZ|O8e^;N%PF6i@w{Rl1c4< z`gFS(8Ow#vsru#Z)>2!V`58wXuIoIS7);qqboKT{sVH4Y%W76A5H4{C1SaH-jpOJdKv3*Yj6!TqAl{#6~<`)+IF=(lN z-IRHl;mG|43IW=ZavNHa>*>EH*RrY4cQ)rNKWHr|eUoK({b$jj{1lb4e{Ae(T)LHO z;7VZnNBhA`3__LVF|)L%V}$zxIt$Ol^(|A{IJw6c+@jg*_&dTWaN^go+y>nSn~R#S zHE*VAr4PGAl{G9SM*eOp&3_sb$#Hk&5wrTXJGVdz*5ji7H8=MjfpIs}PR8Gva?#wF z(Rw)ks-%L#K18KF&eCE#81L@ucyx$NZ1B==-?nFeg!ey7Na@N>aJ5W)_$8FGR)AjD z?<~WlNsAUAPd9m;3;#o0B9TB1zI z4Mx%~b*t61WP6{Yi+G#$&OhtKtcCT0_$Ho@QznzQZoV#Z<{LO1DZZ&u(zbuqi+p*C z%c0u)V(e;5hORoP;iaJ7x-x@`A76U%Ud6q z=du2mXPrKuLd^L}N<*xdcAL^s4l(_CvksIyu&}Lv z9r#rv$(|U_`E%2Yh2*~Ey`wr8nM`Lj_ZXWyW$IsoP$W+q#T*H<5bN^XfU8!-W6#)c zRAFX1#*H`6GRRBVjf$=BF=~+*|CL+%UoHUaA0b}ml1?h$3onzGS{tZM$S5~CK7TDR za!_Zn`JuhtZj0da$qko3-g=SU6g(yD-aOzN^KC>>j_1Hai}OTrj(*RVsMDunA;``V zoRdB?H26_HGj!sw7aL>R_za~aZDl8m(uJKj?x-b}$W7h|`d&l7pwpDD)j)PrJS*ID z=K7%!my_3}Oz*q5yRv)a*jLRv*VlQ~&ljFI>v3g}SE*?-nu-eK_AMe&ZKL5bI;x|& zg@0Y(t*9GGL|0eEjY+;OrKJb|SkL&7f9LQ?RT9>*)SEuvFNeMj zJF$OAFd27E?pfb!kzRQz)mfr{*5i7&W!?jpFafXr9Xqok4+UA+^K<#IQ!Qt5w*G2O zUUR*b-#+hX^>E7UxqI;Q`21~20ZJx+D+k}4?%MmKlK+v;9qqNq->o|<9B5v=Nf`lub=BLzRA(F)N|rfi&yz( zM}LYCt+yesOfD|3uKT3AGzeZLSPbj7S~%E*oUXY~WVT9F;5fr@wU_FiI& z5FM_#+)@%kqZ)g`L+oS6s{ki))^o-O=b49GGN;)DroMfG^5%{s0*_c}FL>Xo)8c&6 z?$(^5n}3f-e^+*J_rwFSB=r)dI*ziY0_7Q7$xB>CZ*4{fjGamh1AnMqCd<;7<=Z=A zS)?^EcCn3{ta_^Nhw;<>6TBA=tXsxa{dDHHT?_uce^oE1*!}d*7n=W&x;Hy{8 zymq#$Bes;aE#ujf3!A&UCr7lcYYz??oIfnd8vfaMT3yp%XGZ4drx`wH0vcoQXUNcG zxvROYENPlHFexg`xe24PCmy;-Gg&`8rp1FvG~V#O)m}3sh&l3LcM` zEWfmV>+ntgz3Em8Elv5AxX|77vlOb&W-{WDGlxQuMDO2(6qfem*Qf3fARAbhiCzVgZI{^ zg}*LM7|J=FVpYqNPz;lD@(6z3bDqrlY?jlmzw;S2ow*G^Du>8y$_GBbtUI^kjOK6c zzTQ?DZ>A?{`^H@q|Dm)ohP69q|uLfh^E^gE9&~K?)r`2^@-iv@<+P^+(Ixqo;q{w zr$bs}qU;N(m0~!^-KZ$FO(EL9F&n9WeEdO5%5fBA>dt-wUUPBaJH}@l^WWX~gC)7m z9K;{cWvaSU38N=wc(na`zyX4$_sXU(0rfxowUwo}x_ZC)RwU+)#}aHU$13YOgQi>3 z#J*p3S9-?QZ28Nw*EIRkmGX}f7lal34js|d&;BVmo47l!;q&S%`!A11{?4VPsWuF8 z#0ol(@SmM5z2B52=;`iaSb9rE?`x>a!gBJypAC7-m5dr%Cr%_9ELQ9zr!|QwdZuzW z(W9gBsnaEPN@0_m6URP1T(aA8>s--nx=vN{MYfo4o2l>L52*6r{hX4`@Zg`dFNFru z(PA=(X^YJ7GJU4&dKvPGedn-n@T7>8#i|^Y@KJ)*vle0;i+EZOxZ>nk&^KLen zl)9JJW~Qrio^FrSQ3sJI+ME9G)OIs>X1ORgZ6@OsJ~iuRwQDY_!f^0U!3t%R;5OOe zg_0v4`9F>pInWf3j?F!h_uLi8U-)}fOw=n_^`&P8Ll3J-$)v{j*3fKE#T~6Df<1*I zhDHw1`?>f@dBv{p5!L3=Uz$+xE2x*=D;M#}a~F-U{fQK+mALVNUl09igeAWZBtLXq zIe3y?uqyu5%fR<^%Yi!|$Uk}}Fu;?wc&FlnY38s7We{zH&Edj*kAK_p4#X>Y%s_$Q zy-7u}?xmpwo5nT`#^g9hQ?@qfWMvq_0rwcn@`#)BktiI@;p^RV;mxMJ8Cf;D-m4Kz zpZG|N#r&JA<~-!DT;X$I+Aw^3rFW4k{)oQajlpV-B@QOw!m0Y?P%0-EetGL`!tCZK za3cQ3cZ=K?T(L|XS`CJ?aSQ4rZj>`CC2nN1>96mksCm+gDD5_J=lC4jF5omr{$w#H zLwM}EpWEtT%}!o}kDaHBgmT8`V}S1^$v~>@&^mMpZqOWyZe=e=I-(3 zsyIRWxQAq(E-fSb`lkKsUnM;Mvg|=krK4Lnm3hRpw2&jmT<9USeZad@$(d)8sOI^t zzw6T%9WRfY9(iq5n?gC~5~7$!ny<=n%(UO}W)6dFtZ-uUD-B`R2LV-)iNt> z_0>7|l9l5oCl0wBas5U`Dq}Ys!6ZAXxOn_f&a&_I%If4ur*ymArohBA32MStWM&^i zILOj(I((avb*NbXvAuBZrr(`&!FS@>60CF$x(^?uZtFPQ<+yx#pf_>)W~AQC%IOY| zpYjXVs|U~V+r-Rie`@F19`-terO!koWLwnL2j2?vMH1OHtLhCZ^CutiSr=$>yNr^j z6`rr@zoJEE8fIUSI9tdOqS`nh9IP_=+{zAs!4+>Zyq>dsM3q0lpihRl(n^FoqM&1i<&&{oO3W-t|I2!0neKK78^el zt{us7dB*rJ7sz?%)Ya9KT0VC%5kBH^VzTk<)nh_JF|#8LN}zvw^f)bHlmc~-M1tpn zMt@aoWOv03I!YOj9wo7{v7w`*YwrCsxVT%{7<@@R)Vt^eY<+N65B>a>+>a3sd6-Xh zinATeIrPL!1N?Z9#EQVs3w>T6A~{0#_7!Myz_q_^Z!c0OEkV^a1jO6jx}W>RAN*54W;4IJ_Oje`lDUQ6~T478boy zWi?b2fgZ>`XktFb${K*0gi@iU29FwXs{NZ~Hg}(Y(KTW;bwH+EUW-P(^~d)f5B9$c zsm{~As53BKdYH{jmX(!M7i!;+tsa)4aIdT) zp3*cZ8I z`+Z_#4?9nFV{iHZO!+=F75qTfODL2`z{LiGwif@$e9~n4bJ^zM`1EuG8uNVa*~GPM zFUhU=%c|?O#I$G69#YLaXC~BCEd{FLhsbznevi0%b(A6ieyvctgh`VaoAq2lQ@ugMNV!IB)^dB z5-M%4xW4xGCg7#cE_B%_JrVP*UJJZ`w@8da7dwcYhI=c&m(5OYdhU{iGYN?KJ(Sb(J+)Js8dGJd2q)Q(q?mEyXrEVJ z;G4Max-ZG3dpx(xWJGNL&jUm~dh`~}Ab+sS=}Q77Qlu>yZxHi+z9Tjg)TsbotX=B3 z(+4Nx1sWHsIV&*{2a>6eCglv2{C6v)$~aWu|= zIYuxQ^=M>eW$}m4qU$S{q@;Fy{rdG=S66JNKJg~PB@Xlthdr?rCa<5YyDpLG(EsM* z+TU^Q&h}|?H|lPk5__h}xMkw4*bb-{EQxitdyO16++lr%Li`E1R9_N=%M|Wt!NBcAzexuErm!kU zH9Hj(pXB0&B5-s@T)x1-31bx8aR1j^QfXa=ia^TV3s*|2Ev5z+iP-v%(3(uL-*S| z9eG0W!5DrtQd&Kk^6{WpxW}l;VA@`Li`I-=u-iy-VKW&edFJxVWaKsg7=EO+^1gFb zIhiVApt<<1%RH3@fOA`SGE>KzAPv(!ZbY61KlyV?HJ#;FgZK~BctQhG+V$i zhEC!l$x>22Y%;GVZfhNkzj`m3xx37{L9T5lT@8jDYvrdCi6 z=cv{~Jf_5XnjXJ3%opFhd6QHljd&F@n~0P+JnYw@B#))vAn*axVnnu_tW2O~FwkO( z6m&<9)TxK=6Qi&hHR(pb5z5)F_mBc5w+MTT8@gTBz-{HXGH)1f-0+NY%cvu^)BzB| zFpmpv>kI)h>m5S!h}J@Qxxk2sh?3gmKB|RIPM7^^yShsDkY9Lf&$x}UVBmabzY;o&U&C!g&YI0k53rtK-)@er* z7kR(MUhULOYl|tbi@W<4+o2jt6w&ImiN`onuG4`2dIT~!n4jxv0pA_WQGI~Dh{CP` zoH&+D(YS|<*b(ZXBx>PgXV0F+5Y8j;YeThB(o#}f!~-e*oa(D=05cMks>oEbltViV z5tH6$DaL526JX0;&Tfk-J3*W(fA+x?BSrIYHnm`6+qMHAcY|@ofVy>ta^|Bi5(mZ3 zI{~>Nyy3B9n}a0oL`6k)o1Qw1U4FoPmtp{T7EtX{0`@O)xaZ?Tf~ZUqGFY9{=XcuVqvu#2fzcA0 z*uPv4*!Pwk8y8N4*tq)#DIYL9J$v@-*TTX{M#fvf-$3brv%cCnU_TnSFZl#EJ57Zu z1*yBcyY}_#cDA-$N-9j%IIE*wMWmr!;YSySVK)509b4TE^2=a zdOUL`6zxtZu^OGkUc3DA#fvx1%?IGD5dIlTXmDm^1!QF%7$jZ+E)c-sdhe8saE_`h z^g38{D_)n#?#G7OhJz!nh}WobTU$*{%^~X4#&_Rk9(uZc1Mk_o_qKM9YOJ2b)Z;S- zm}@8c-sH_JKt?{m0z?X=x6R-@q6I* zp5^3Vncq}ZZ3>d$%=3_BC9|^ds4$hR=t8?JDTz;mfi5m7`8?g89!{sS zv2Uxn>fWkQkOoP-^VziJ&#!lTnO;+h`AZffc0--w=e!$nYferdaBKgyVDgmZI`Tjq z!3a8uS*fULclY$z+1qnFnO7_GYtv5<|}{Hok`9M3rBP5y)}pu zwIAF8g_|#ho}16_u-?6GOF%LaB1i<&ea19+z`~s2e|`7;Fhf^)Jv>X3c>zwbB217& z)QP+MxLV`U_ zF3btz_U+s8GA|)S$3uU-!PWo$yWUjZ&I*U6W;3*D4Fgu zG>fnW)^?j!9ves##~gWufu7ziSPtSK>q!J8_m7T#hPA?E?Nmg~c=eCV*hA$H^dCBo zvY!E(R);w+5hvd1X>|^Q+3PMY0$Eugv?Jy}dZn zgJJ*ia0Rb4IWTzG1Wm^Wy2%(X)1Nqb5`)|?A$xgIP_S_Y#x)}YgFAQ`FyrujROil} z!#nzYaduFA;{YXyfS&u~_fV||ycnVt#>*!Wrygfv8NFW%hTdkW5OLh!Nyt9=>f~;J z^Wg)jOJkl=xFz?NB5Hz`k6`{$NiA`p6J!c3+Rr-g6x+d5inI!i{Q7t!%Gs)Q-9r@T zkRux4ndKgH-NFdN8&+2FllD0E$WlLj;UqqRAVfdcF1ekXdm2&RyUxxSkWsUgGxevM zFN=I4*Cx&aENUhKo0-|!6cB`oYoXD>Axe3oyTUUT*-lG_;_-^5;aGMadli)-LG#FW|JP+x+s6?{?gmrL2=PdFsZ(t?6Xm%OGJB~O#t_h;c+y~ez{Un(P)@M59F<9l7$b^yO+^xDH<=#y(SP$3<$Cp((!zYH-6E^n^Ek#&t7yIEe%;hS zHwfhyy2FQKlR2+rtDJ<;f+1MhuOTt>B~dgHEw*Rg4G;m)`}g~(sr@BVT(j0IB9ssG z8{0!w1DOFs*%w<2gU-ra-Lj7i-pf>Av z=O}TisI;6^SJ%);El}X14N6V+6*Dw6^qU6bHxH{y?8;8I$Ht?q0br+^-WBR_CN69pp?&YE>c_3mksys zCr`*OI|B~+**Y4%Ig^ovdVlp9Pt0v6D?-38q;9yHaksy^Fs0Y)0KS-jTW-{Oo8vFhsT62arbJjj^bTZ?{i zy@rt1F(g?=5Cq;ZYiGda6vKr14nUBFRaP*YGxPJQpwl&5u5_C{tqMr zTc}SM(?K#tvgq4d;);2@t!49}v1qcSlPVMOvn72m>J1;-+6sO?H~{ZYKufj1g?C!Z z(*Gw6$%?kVY)EDuOegs0(BQ&&dk8Y_$7PpMOyv9aH-EC z!0;DC_p2s`48?K{UK|K$QW{#3wTc#NjGyG0$g&dwvKw+(@~5J-JS>~>f42_w;g z@_4&vyn#83yX>Cb)|R(Z`%=_K{VI;rI=J{%T&>1xSX9H;)g1EdLI3oOr~1`BJ@F8KJp;*)Q9FcFOj1~X>T@^Q8_v&?!?hpij=b?N zR7k!+C*tuK{OiYMfplf)UMu8x;5t*F>a(3^ZVehFb|9vsM6Lc(-*;XZv1G~jn;31N~{ zB24!Z(#lI79v=6Xr}6LJ`aTxsDK~g&UltY;$R-i|!XB%?)na_FltcLAeZ5)T<#~7H zd&fS{?tX3S>{OMiukw1l=xK|O9s9Qmd&V@(0i%DVSbYwF)+*GI+&G(MA#m`~#L`pc$7(_Qhp>~uzpdTR8pQbfhGawGOQ zq1PXWo=}-GP8Y?sdQ2+{ON8wZEDdciskmBnvo1p|h0NMo<(K)d^TK_a?-y!!p8u;E zWog)6+iDwsTB!8L&!2xDuWP$_HHmWDt$1be^GaI)W#*5bhc`V> z<{3^q9ksPCiL3W8Pv^mQS-2C35=LvJi&?Ab-w5l8$c$Dmd*?4r75X( zJpp{}MKeERtqwW0c)0ABXxy@%Jj@2`h0nzdD(RB~bs6}1_@asHe0lq6OA zz3-B@zV6riU{JdF*tv2j)%X(ETK=gQ{f~rIEZUwL&;EV&s-mGzHl1L_(e;)`%^WVA z^%~C`oQR3CG_7fRy6$rFRXv^3mXEf3a=L0d1W0%7dO$wT+&N%;qJLb?Y-vrp^`nD8 zsq!lFx?i^O&sXyP9(%x7@#YN`vqDF3IgTPZT7HY4bfwJmqY>y0F!}(E45Wywc8d zv!cN^*FU}J3;y*zlEF1Q!AYcW=*(}P1lrory`JhN$9AOq1(_|pKDD3fs;%|3+H0p3 z?!`r$8;`5sZHf0VI%1$3TOa&};?+=AOR{r6Hdk(H~D|I+|61$JN^87*$js*ce(qO z()y1(J)>XD^YkY4#k^xEdLmc)vbA{iSxUtOy~}kfk2D;YCtvcV)88<;Ib=p>Hc}QDT-T}8 z&axUfdHMOW{F8M7@5nlJiH18o8Hw!)g#pKNdLLiO{?ey*P@p1dJKGNx%dz00ly-}! zzTbvLtzFY4riXjZ=-LfiYiQPgd(+8MmzlJQYoF(!!M42`Z|@r!M7RCn>bvRSwohpI zyFf-$S+ua-?kJ_}u0~D972d1S-iw#Wo|L6Eja(6ZKE~J}=qU8@+v+pn#^A+;=f)oI zyzgA|+`7GYy86ZR9vJ+FdP!)JZEwy^R`_iC4G{;hX+WWR-N`E_`S zHEeOE=7*6a&5Ml5J0pXuqL2B%L>&Rya=XU|P>htiroKyu9dJr`*M5XPPM+z{iU)1< z^G`|?zR2R?a^FM0;sc}%K0edP|DxSCOM)Ktz3y#Bqv_EhRFev)V9 zKZ|}|Dpgb1+4(y1jx$dV*3T$cIG!L)bwKk+ zuM_<)-E8fn-zV?ThX z!Mkb7P!6DKSJN-0G}*4Nc@hN?6yP)pEoq>EG|UM=Z3F9bY#E<7<)sDqMJ?jt;-|V3 zd8_gBt4J>o1PC{LoxNPP&hYiB_dS{Ez&9gHrNteF{OQd12et=4OfolXDn9AFWlM3C z>;5)h+62v3(bKjIr3ue>H&YFJ$svZTrI%9awx@^Z}g=15y6^hZ!!O1`4b&CE~^A>l{BrQ{#0;b zODjjlpNmXWpU(R&O`UvOx+zS}vyLQW&LDQ6m_@)j?sL(R+0rW~@5c$bMN+6pK9~|w zu6>j=_G_Z|j>N3I{mO*m)gA`%Hb*trkrjax_J4oUTzipxz36JOq4fHMXjPwesm9WMm5C!{bpAs!OT3VP@lHvn-h!F0 zRrCH@muWX05S$r5GnFY6voI;&^Cj_>p#r&Au75Qc8XI{UP~h3s#XbT|Lvc|OHQqYa zsIA4vg0ixJDFGFfzH;SC* z8s_#c{nsA;&0!;w1%xcf+kjaH{@oy*2 z1fO~MR$xntm&5a}M88@(;VHis)w8_UVd9Tn@T%*>AQNxB0ksFNUWE+fC(qyGkO-8x z@G^D&eFIIjYow{)#T`t`0b)0%SlW8ejRP;Jel6xAz z=i#R|w>4ax1|<|Hi(a?JIeKimbn1^?&lACvNI9bmWq(~tBT@n*_UvY%`)zf3TIEbq zR>s5W+ShH5`=WUqg_e(5nVq-d)1AwFRA;pIVW47))boU4v;cbz0xbtM@ zlJh1Gd5)h&L}iZyL^Ur!CWf#J_|8BzgSR2N!W<_aPn#_Yp4?>3atOc{@Uee5Lrx9{ z>H+FnS}6qRvg_FZYFhqc57%n$!~R3c?vk7wIg~e)vy|_XQL;WRd#`WRm~;{K%un4$ z*wHUvxy6~A()>l|t><45F!t$Hu|H-S92kf!>#=t7Lx zv*U}tvCfr7Y!OOYMRxCQNOwiEJ?4L<|8YKZv6zNl&Gw?+Z_yR5;VTuD&(dWQZPbUB z=?XhI)Sd-vahk%j3T4Rd~pt^4hD#b4S!Ne=Tne`NdrGvAQ2M&-Y> z#-fiGOcj_VD7slok{BZnlDb``Y!b}+-}#5nchonaGM9+Fq^Zo=hBxMb!@`LAwQC1Z z=Kt{dbEZ_gMQ0Q$j4CQin9758&}}Glay*)s_0b{&uni#q{|65)rMD2%s^Fv`c8Yjs_Kgacjw5=C71yXI;+P zSoYS;i9WYuQrO#8+n9Vw*0N}F@zYDI^BN7lt1?g+e6 zX089q{7N4^eYCN|A>$)UN^{E`=Opx#^||!#SbQMs*cv37KdF9z^-#x}RrQ7YDhendh?Jm! zqKHUKx3o&5bW2H>bg4)vB_dtYDk+GEl#(t9sY7?yq4RxP@4fHM-1p`_X8tqIUpaf9 zwbx$jTi>sOQ{4R{x*v>ptQ>t&FL>Vl?#_?*s3`-9DYcM-Vf!~mf;+^6J`XZQN_P2v z9Ny@{{-dhw6E$*r$*}jcoR?ih=Qj`i3pgR1?b?0f>f>`yl@rqt`XUxO_mID+IXTEy zE^YKyXKAe{;>6YhipX~8CN;q6+zl+G@SL$t$;rs1vej~t{8-n+6;#meChn2-s}Hhz zx&RJ_o|}KybLPTbEk%7&HX0^={#ekyl2A|}Eq7>l)wQ?F!y)mFD;}J=hlhs|z!~Yp zH#R!%Z<-(g90I@uUb!bElwjVI*;Qh1c(N@#?>ZT@@)__6#vz*UNXFBX){OM{*h&zcH<2n1G zbZaF(Skv)RTH}MCTKwTSJYm|S*Bj;O9md3^!>%{aV~fri$z6){2(4|Dy1B5&AgAH* zTF~5x@-6=kB?)=*ZB6?Iv!`pg!U>oc*SVgq?&Ihtl1=)=2CNM+-Odz_dc2pk8(S*E z)yf}jW^tuaB(Y`F@gk8~IThW$^@-q-U3=h6kpyMm(7iD9CZCj3=siA{19nuTvb=(q_gUBn+v zTr-TZgd4j!QNZaLbY4AAk9Xl2XDRjV-~BKYNe9{>Fj)JLkRS(LhZ#lvC!LDtjJf~^S@oThiR)KvhsoufbvqfIZz^pVf|2OFKC&v^N zzDCN)@e+;1)OOACELv>tJJz+SMUCtFlz8vXjT|^NFqV^Mu`e~fo%}vl_*>a_KvG~o z#HcgrZN+bgb1QLbbqC(;W}(*^(#2^#<*(DMGr%=Sg) zFLHF@HT|V8CIk-jmP&hb?hVn2i0128b(|iLolZcLA9yTDaea81N#7xUbOLQ#l>yuu zPk5O$G-rGs7eNpG6-qiS1p*bAbxJM+JPM>SjIg&JfJz`QxAz5~Q6V8AI{-TW>H_d$ z;SGM5dinC@YM=-pB!}T)AXZ5JOeb;xQw;ftJMs=YzHu!twvS)F5f0$D-??H&m_*Nd zF{efCSGJ}P&L!{ou94&vt1{6iYDr%E7CuJqImb~>fLPGY>%p$#nEN*Zk5JN2HO}coi@+m zO{tnMBiEgex)au__Fm;yB~FZoP8rO-Geh@Z-EBB8?X=UtGs4k{w*NieZBAV7+&32? z#Wdiy?D9jmumQkk9Ja)o-Y6N$3Uk@B)*m?YnKd7WmC=5CKEk$qAWUAIBN*ZlVtN$3 zQL(sh_t;4+`H7T6=t=9>9VNAsgX`#@y8dIUw-N*^f=CzzmPdrl2ORGU2XH^O>{I$U zmz8=K>J1oakCBB# zL=z0u2zapckbQZB_oh0js%p`eC9Jcvu(g>-8_fQJ#x68wg&+>I+Lt;U%^M0mZ*UkI zUs(z9^*xvA(7un;>%Cj&^+Cn@e6y1%%X@nX2?=wkQh+g4xl02N``-I+X=!N}2?#(s z_!bzKWKA*9Wqs@qKHgx3HnSKcgfLeCWa#~>y7aA;ETEr3Jn*ReA3qYg@W6o30o4jH z4;ehx6b)Pu-_?;a1qB=-MJqIAax5+!9x#>=kfw}phR z1FHQO2Xuhu8!3m2iwlsjz@0A(lqK|w*vMY?8UrrLbFPD6BhuZuUHW3-3O)s^@kp7I zxmaH6UGU{YP`d)peFtE?)dEBCb`yd~r2-;lh5iu&c+5Jq$4xFcK#ofTuoN`Fb`6?< zselmBPkJE$%g|WX7Ks#@)Fb?C5)u+X7;QCBHq_7-LN)>5ewqpUcQi#kj0Dl{T>wNFQnO_+Of}qus zi>l0drDbcO2Pko@X8=%Pi3@4QzGx@=3b0q;qf{7DhzF{eLQw&>+%JLLJ25~1@cHw* zfT3;fj_X5w3sm6o2rM281UDd)!(5zY&5-24E=7oWfE8)d5P?%ToOX`pL{AODV-ff_ z9R#Z6`V9s8n%^eQyEr&-y5d>`OP~V&q?+Mm{wjG=jGy!x3_{9j~;3&23f~J;U_Otf&$fH|yG_B9Mu0TChS?Trd zloU`o$r><9y9^|3^($9#Wr~u*uLf2!~tB7HIlDQ6! zCln`-gWdw($7$U3UPk06guH+!Tg;Br!8i}FW>yX}Mc%+7xOZ^y*zWK=dHbxx!H$k& z^i9dU=2C5k3?iGN@>oqEJU4)m;)+TpiA?S#ub*x|j*gN^#fH9=?hn-s>)S$}wW_;6U->%{P26<}X9K!ZRR?0Xs7ureH8f$|TaBmsaD zx>-e+Y@nnI1quVu<{6b)NWdzRbGW4KwwJArrKP1mA$1Fs3_$p70KN}%F?o8HMPWcw z3+cEP88;ZHn1{QoEjaza9n(Sr5>`q3%>; zXHsIZvk`i!Ikq~{7IIC8&pS}xN3_AO>U2CHeEZvY9F(P$ zOWZJb0957&M^j_yD$qMeDHt|Yu)!%IhSQ7?Ql}6Y^&e@%#Nw7g*|StQ86u9o*9Dz} zK?L&g^E!`U=6K(8E)|3h6h_ky^x{~4$2-tBpJmOj{VT%wrlVWKv@erG8Wa>%S5uSH z)W`4&2sj^gK+QA*_JjuDYX|}h);gmF-(kr0K-fe{bU_*jC2f37`=GU;8@H4}F=-kK zdSqp5_OQfe%9cS%|91PG9!}B{i^AIGR)>S<98*d=fjF;hy3@S&F8We%7(K zv5-nT;B<74_z}-j&rC95=}rTcA}bulF_N80ta~d>``*k6)=h_{Pbxa%8#&t>+F6^d z`}3$_i-(s82y{@dw2gGI8n3Rd`t4*2dD&UUS!eezy~-(agkuaTE%46^@-Y*($xM{Cvi9!Ge4&~o2Gfz@UO=C4)7Q^6K_ij}2Aqg?@Z?f}GU%7GdVuXWFUXW~a0zalLHky;uWfW5paRR624Nkj;Wo~sGM}9Ia=pDvA2GZ^ggFLEF5#Bu-+r; z!Qs*8Ev{Xhq8oki%UZiLKe?*IYw6_1_7YL)1mhb>X#STGP&69r%5BsyBgAKnCA(uX zLEH6VhxbR?*YKv~rGEBPebIvDpt~X(?6HJrvzS^3cBmxW6=&umM0!iUp7U8yIw!h& zF_dPsllD}%T3gk|@YyRYorp@?;m3_WR@D}m+m<4j zpkm2ObBTD+y<^ufxgGH5i{?aTyT7JGT%FDB;SB@kqFd!~QP$JVYGY3Nr z1;}}&uG(9bm)icCQT0flwb1yY&+(GJ?CmCD!3q{@S|usT^mT%|Pte%fS{;c8W2r#F zwF=Hoo+y*>#Ke$xQzjCot|%_Wz$xeQeb902gLzgd6nej7s7kbY z4*L$Ik{RO;I2Fez>${JgsR-Q?`8zLVn$K{qp<^3=6uP^NFA#bExLhXPJ~QjgYo|It z82u*e+u_tj0`GC7QO{}lgIxDF={cav^c)R84Sc_~0cA%jRARw2!f|l2B5(B;o>(a@`XDKpZY3)(5AJPxhTx;fFDkfef!~=b;$Uic zzB6YS+_wDSn5N_4YMH20S44Caug{stMSaY+YNOM;*Eczzm4DwQ`dXu^QS5&Ad!4hC zFBP9VmKEna3S8$Bf9`0x>xjj7MwE&mrsdZ)FMFB%Y0Ug`s;K{*p7dpuyjMt9(q+PG zvgY>}CCm+69H-}!_c#x?PDr9EYnQ19&yQ}ho!A~}-n{*QG`Tt+cUQc zsRt;=3a-g_MXx1kEw(-57Em$?ywz-b_RPU_6`6iCf*E$hq~Yj9kMNpJno%sI&V&s} z=Y@SCa2=UjTg+u4XKobIrM@TBHv`j*Lp}oj!Zupf3J5>3nRfwG@e4=GaP|IOGgTs5s?Xu{UfN&DwHN>iVf>< zfWYNEx+~CH=pcSAy0sn{jaNmzg&?%KbPHE;tRqMHmaCWc9o2G?_BI(orL9n7^PE!~ z7RD&wALno#RnKM_YAwj@tz>aqonX#fWaw$Ki`R&HB$q(l=CwRD=btS^OBS?q)xU^k z#Fn7B=Uq)#0plg=0zuX&SCSivPGcv(7+VzrctReHqM|s$I*bJs%Wo+4lH3=+OkT7(dp|Xn)8g_IHTo;R4e!%-P|6pH>mPcPW3J+cr5jS7 zNb(S{RR{OHIMG?ZV3g_E)Hh|bXG;srh;$qb&J8)tKJ2=3?h z9E#epV+S#NCmm1>DO6UAtYq=IwO}QDcO5sOL34eW`hA)Z==nYO z*dYiKT#~e{yIRg-m&`nb1Ni``^gG7ndyK&Xl3D*}0w~ll^J!t-fJ@-7N=)PiKHP`& zgy=x&jBZ&HMzsV;+KwaCCO%5!_F}rE5^S3L`=;4u6!-eV5)dcYKIt zGI*w9PsK>B@kmT%?9Vk? z$y8+?*t~?V=kt~|tkZ0Cpf8%eeE%7qw-8=@{;c~)EZRo8mC9;uae+FIF4w!c3f0Ak;Uuu_A<>Ha$xU z&>omF#HX()Bl3@JdIi1h3mqg%rnG?*N-5|YIM8p@vIdt_OUfumkF9;6ON7=ESu2^N{rt71tSu&P?43R}SPn4;Q*4ARy2`Wxj(< zNQf$!hdvrOB5)%nlzHpqP}Go+lS@lWh_9Dl1uSV#OB5)-K)0KjxSMvHa0GDn`k^rvQM#=zY<3OY*J=BuEtH| zLY%$+`ohqbr)d!REXTXrWI|qNp~}-R5#uHL<+1hLN9BfLj=S81IXSwLYfM{ zQxh`r3hGl5IF`}gQl3fY5^9IYvLBWtoV7_wmQZd`7`)0GWny?02lOj*pgEg>%%d4- zK(O^aX2J@nLns{f0*T8*#X+D$nA5!RL{jpx8Za>xT+s!FKxXXFb$!}$58hw!IX8fw z;t{x4ckVj(aB0GUZLI=BNJ&|L@<T?0)!~6J+Es)+OSi{-N@BcX&3|x5^=ah2C zB!aCLZ+jeC2D{s_R?#QMo0{5f^=DLYTawAhR|n4=meLluuYC~;i*=fpQCoXqG_a(U z?=0s2Q}dS(cOplcG>7RBMb@rQxI4a!kd@?Cd3=%~4nvh&+~?A+^u)mrbxfx5hwkBuOYXj5MM{uACdipkDc5bc_oM^>>cgzQJ9B?S!=ved5J!2H@6;DZcq^LLt5v((yq@IK6Sskm1eMTWGqUw0X zHkeiv5vt9VR+)~y3;ak6zlPLbu$rh8naTqs2%@L5ajygg2G;1MRCFXREFC7$tfQ|O z53T=JA4Xifd}EOBf}DQm7TVU(T}1mp=kRV&QpMS^RH0xWTpABsoWlT-woRhd3``5f zb95g6#EJQ@#%0sPA0x)6+vk3uvL!Hrja^-1#3(NDT^4%j z;eOmCD2vg2oP9Y=Io;&`(a=WIusXkh6&60Z;y9cBPst$X+|RU=wO)&N51o%1);Jgn zv_zZRZ`q_%F${8|6Z2LYN)zw{A+D8nme99W-)bPo{_*-so)H++Z>VS zPBTsp4@=C^I?L1Y0bM*dq2TvPLdTnlR@e9g$VhC{SB977d->jfKUY=Y?u8ZNe-ufM zPmb|W4%JmATjb|^$K(8Xq=dh2#^D>}wnCHA`68}z2YBn750`KNKts>N6NRuwUkF@; zB4KQdHoDahV#0O_iNopc%afqc@>*I{5bFYKNO)}Q+ji4iu<-$sXjEkW)6^~P42l$S z6u5YCKTkLzA6Vj>@Uop%0=D%iAi+8{ED7d8cHhR;Bqdvtk^H=e(ekQaRQ&!L;9wiL zfu}a6b(7E3^iC%Bd->Wt`GmE^QB~oI52glXafD_&F1h<#E4;B)lMLRvl?mIigkO6< zD`tBWb**(|+hhIE@{KKROO8%*3y~7FnZ(e?f7VI6*}oOvaV?DSmXWmfXz8!UyPJ-m zMc?;V*+`6)+H%?s5?KxJT|%o|x)-39CM~Irb7{UKx6)m?kx+wpE7<+r6DIW{?^b7? z{2_4_ff6i>?oT5ICp^pE4O^wJpK0G>t#ZeA60&-_B;q^MscrMvyH$yri zl)z(#_>QwqU4dVaY~H{#S3)Uj!3>Mx1TWEO*$L~5-v+IqG3W~!Y49dAfGPXiu&`Zc zO**<6@a(6BP5(AXu(L2KqskdvoH?FUBw+Yk;IyO$F)|9k=?-`K2?efP4-#2*M(ThL zHq0idCLF0IqWwj3Rn-#s@5DOEytn^@ulHqY`OK~-yc)bCFGyf<;sbeQ>G+SCi1-$GLeDT>D}z5^+L7MdAcwxbobyX`};K>$R6?M{TP+f1j@2XZQh`QJAofXY8P zdCUz`FkRSSTY*N^?0vQ9ez3%7gLabR$;p2lgE2NfJ1*s*mV!X3=rs>H2y=(YV{Bp) z9vSI0NTV*9F61DP$akF(Dg2M-oL>Gr2%7^?1SA<`P5x(7F<4@M3&cn8*#W@AfK+)l zfp8;eoFeK2=$;`S4oG1NzXt6T(8fTtHVM$sVV7ru@09{@!Q6#hUuR4Gbg=#~OB+9ag)TMA-(4T5J;( z#TOFDfJS~ko`DVFP0xZc_(%s|<5dv0fs~{ccFb>=wgWri#&#?#t9&Vxhs|8vgJPS{ z^ISF{nw4x}!!9vNc&$wg2bg-V=VZ2`r*{tVx@&3&Usb=7Ap7;UAp}19A%Er>6u}bg zxS+9DvIApml~6vkyvbD87m6{ZX=W;3xEZ>cXsqG;R#0w^vWmgh^NoZ-;W8=d^vZqY zLXwixR|YC{;d=#s3`Qa%0pThF6BgTOm3!dE5egD9w{ilIXv3Z0tGq-mp#V(>@E$J# zzXM7UPd-?xcby+)w18h^hyKYXg-zMQ9c-wu;77%Rv6_sSm~l=>%mzwOS4b*@CRYGT z_8zxfk1+_}5akS{xZiDpe+3s%kvW?O-wJyZ0IDt!ze8$t2goEVbrrrC6b%+ILvY)k zxETBs|h}8U9MwyFr6NS6cRiKelNLYXOEv^d8SN3fBzBc@AbdjfLVx>K*;<` zM{JeaWjN&qZ}JTnFz$xqrZT4ke2S#xFU#wrtPkK1kM#@;Zh+O(v#wMrqyfHa8)xS0PzmpKeR zvyhp&wbr!NL-~W@RsJG-VNM6g9+ss7t*W+dWyTG4>z$ZlrC77sSQ+4c2<34{AkXcv`Qea5}r*5~D zp;jYMB0`(=ruwNiQKyx5YoVP$A_1T+pyvhrxAJLj;K%c=g&I}fUJA)e5aSyUz_4vJ z{oldF()oM2Teo~+ah%)VAFQzkqn)#GdZ-$niKH?^g~EsZy+^Oz5twxCt&wjZJ`yPJ zbOMyn4dS8}2EL`CTH!4xK1(_tWxlYm0HBULGVvKDm|L-`8yguE?X<%auMHEzF&1tK z$_Q9LHXNMjR6Ym=@wj)K1Dg;|aL#9fJ<$w$I$8xv@N6m+gzZ`jpryfX-kt8r=Ew4( zE#Ixc@aoM8m%`iI3Fx*b%g1Y2da?K8PI!N$JQ|66ny(!1pIi2OZFGV8h?|(j>4|sD z;b|D!;*C=7)YBiv`m?xIzxi^iD-PlwmO=p!cpW>So#PqNdMd8?#%5+lai$$s(}441 z8m`%X)_wgDdrGt5chU0+=zoZT;2%hUf$r1b2p*_zj$=a^6&u?O#PC>A9}%c-ryw7N zPDrRil7?w2US_X#h1R|nt4`UEYMZL7jW;6Au?|*s#`v|xaq(iar9VB?rFt?33>p&K(G0cszKV zCt};HHV5D73jI#M_|7h)Y1ygdB#%R9ZACz`PC>}jA?t8|uiQ{aR;Ot7%e>s@ zPqRSG%KOQr|7@_&4AV{~+5Q8M9fir+QX!u2OR;5TBQ;O(eddf$6w{TsOI<1+^e^6g zT7ID1XFOfS#stv}oII*23{e+tr``tH#EyQR&B-dPpErF_-%1#x1ZQf_B zr=n{0c^-#GiIK*84vi1**5f|@DiQWbrfeMKVt98pF-B2|HP!((WwMzvc}^dE zaU%-YKhx+{HdT=|{f{Wcr1kdaZqvKUBz1dRe-!t9GqlJ8%z7)Z)PsRoqf=In2rOFEh0j2hz&z*f{%oG(qT%r)|)bYh}q7Lrq%n&q<9 z516uN%~`%G;_b=Y^FuvFA)pPw++AJVXC5iOkgyiB8e>gxvp|;H3ud&R-#1P zy1ilteCf=4zTp-h_3%*@#pfnh)RJop`hTyYR3{EKtZ6VXK5H5izw9-oCU9bOPA#56 z6SJ>DrL(0V)QnXS|Pa44Xp(aQqdN<>FgN|;WL!P8n!0Q=! zcFn%RrTGK~cO^Qkgwz7RfK7$i?!P;>_t;*P0z%BUHDs@EVZ|lo6hCv|k5@BfKCh&#Go7wjGMmQy1<##atw%gP`z!RV;n*J)AyV5pS z|JTmN|AwAmi<)kVcn_}pdi!c=@unnqc5U+ME~C%yU~dxIj-uz`fTlpac4B+;*%zME z60-`=6$>s^%hxJ)ax91X6rHqtxaG84jIL70F_jd4_-VSTo*1*${Fr9(y7K|;Ta#z@ z3GY9b4iB&5XVawApSq*88lx~_7ikL_1QYa5^?qr) zaLv95j;#-8qcs{2+#Lv)A2o{l8BTeN=2`Q}nKC(W@+5M;(TmCF_Tt5FAT(b7Kv8-c zYpHpxV|Ik^_C5CvnUKh;*GbdY4i--GjgBU!6I7TSA!~BmOOM$i%y1c=c0?ts7p}9x zkpF4nvk8}@r3URU4m&4p63p6rx4uZLo(Pl(-o$QBRPmWz5KPl38&jyena?>_TEms= zIUD+);8%an@5X{pMg_*C3*7vNC-r;&Dno+AzbMTj#Wa*{$kHfYCe)H(0NzSt~(*5;yiu>~2h>Ga+%gYku+nOZdz zed{1E0G1RYFDQLIT*S5}P%g6y{t$3#DM_cwiLi9tdF6w#%#6q+ItnVkMzL`&EAp|9 z&Xvquo?LW)C#PknS}Dy6-qHTR^lt`EP50hflox5f@bpE?Gs|yu1Y`SY4#HVakNjrV zm?s`|cJ=aGZf5z>Cepb1zD=y_XuHE>b@k2f*}m0%p(NT%IC3VFA54VyRvwFlg{Ic4 zhW0pl9z`W5wC|x0;!w8nw?4bNNL}>)5M}Pf6q^DRLg~tX&nF z8>jCxzE#nGqwL6$Ti>Vnef|}X-=cdtrGbZ{MqOnD!4~HzJ&himUHrj!u#nw0GSguH zN21Ns{DOQZ4 zr=E-qAQSU*n)+$TvS+tw>fAWm#*{oNo1O5!@6%%O?){^TAuP+)68YD6fu(D%UWz+s#7ng+_`QdN3rX2)Q1D|PO| z;H}Au+#5Mtw~lstsCZ7@UcQMiH!hK9ZoPe{gK$>FdBw3#mGDN0yrmEQISO5ya{gq> z%#-g`E7Ia)@pa#HL>0|OP@?uNg*_?qMjv)p=sTresBu&MK^a*OHAIaJZdqx@__UZ? z=@iAv>AYAONwjcV{3@4~#Czqw3+u&bjR@i)-x{Bb)A5~Z8yj;QN87f4PAJZo?K?I% zTD5#v&hCF8K=HiAfNH5qTlU?|r@<-C628n2CfgE~aOMo^ih9L=|mD@zR^ayN+(tJEcO41nE1G z)(gGccMb?CB~cA$v6u2KX>ReblC*x79C0_?A8k~tq;WdB)R)=daC`Jki`kF+o|adL zKa5p&?>pAq3Xa{psU23{S@a-0X!_%eYV2A2$;s|-R))QKs{FP-%GET=0T-^7p1TIH z8DXYDczx%SQ*rbc3fH`yCkaAMDGi_Z*~9E_vtnN87GoAX@c1nH>1!Ke3kp7SQ;Hp# zjI+F9)~#OjljY}oL0WA6V26jCWmMrurHB`9F_T8})BgjEt6JB%t5Vr9dCk{P^<)3^ z^?Dwg&RGg^)l<)}_5vGchgBs$$8|~w=!!hRgLoK?_iGsbs%JtJFFSCdi=xaE&tleK zoh;(TXFvJIbOg>O55J_I*}abj1nk=iSQaUJ?vA)rFJQNc?2Vs8Tv&h@=J;bn2gekK zy(gjO>Gji0j@PW9+C z)D)gO9jssTBPfuQBVoU1zfuxS>69|~!k=wBj{GFqe&SYAYX8&ygPN_JeGbPyuePj1 z>2(7yLCPx6Hiq(HzP$O)>L|aJd)n{QG`}Mgn7l8e!KR+y#&O47$9P$9d57-aYQNar zIhb$BaLxre($567i@-z$h>2`t`$)2X)Z(V9w1O5avm7lcSWk%U3e=nJ6-ta!>^ zEYyBveDb^}vpqxf`Tq^NGJ7*6D~T2fwm}DUCHxd}tE>GI>|uOUROIkH#+_wqEu13O z!wf&el$(}-$?y1ZlH*IHSzjV0D*4+Yf0|qz6y;F8m9kxZ!o~O; zZLEE_xb~PmhjeFEB>2(vzGX?ekp_WLLBYGtIMRp24PcunmoI@WN(=TBFM*ET1>{!o z;q1w#mX?-ny?b*w<6$mFku^TV3PbB~gb zN@j=D_O1?E>6IlMuR7Yg6xj}%S+(%k{aF6RjUCru_Q92zm_+nzKS2k>nSn3YQ&wV5UdbpX7 zV#e4sBsQq)Fkv;5Pe1mj-*|W5Mm7t-ico+yp%bVQvVh4@0tF3fO22YPY<95F`L9mg zyFgbszAL#RXJC`p(DiH}83yGJVsr%Bs;S9A`v#g5%u+ zvEMvJch9M<3D=kIKkiGR)vW9ZG0c~!96Aj;T>kU+vteD!PlQ{TWV4uY!p03FyMN$BT?Ki9RLDr;jN(H3#iyWmARSzXKS zYaC~NT}Pt^GRC95`0bX368o{zs~(>&ey8 zai5fsDLkk&e`R-}-AvZokDNy$-|P=n4<-mE(bRL_L~XQb?-niP@oHeK6!SEDUs=ZY zzbqNsGhbm<(1Nl;k>ju~=>VMWE$BdIB(E5MLfJ2(cC;XRb$b`jm&;> zT84HTU;P%m+V%di--XN8#WVoxaSqxS-k@yFd5!{{w8x8W+Cc z@JBWGkRXc9vIfIx`ps&E$g^xDno3^a{&J*D%z*u+I&#(y$NbcO<1~e2F`dILEwv1- z0r4`<`OFI82l%yrUhoxFS+-}{Ry7}yiEb<{&g68yP|A?@(%SY2^mfq;$x1UxSuDmA z#0k>w(u)XMEq*xF7lh}k$d#nI#nzc+%^ z8HD9`+vzaTL`badWR28`5(_Mn@CbRZh>Ws6lB`HK?!X1YhUvy6KJMxMF&(>z2$ER- z52DlOc&Z}M4(b9(M+LCOVe}NB2QJ0k)Pg}P9pIl1J9Y}g48^=Y>^}Vba38u?tiNNn_6)R1&A_LBZe$0Mpn&HTzt1TI=K$c_=Y|qJEFS@DXx9lp zj87P{_cDQC3nBVIANDo_Ly=`aD}2sHLPFE2h7d5%f}mOI)U>qbwzi7-Kh8-~3efLH z@JoR4Q{h+m$0Fjm%wLCv5kaU!23SS)=IftU9Nv4_pmjOAR~&dO09^p)Weiqlklmrl z>A;o-W?t^)=NZrJc8x4M_GO6uDLO6HOgOS8S7tkjCeS{2A}~(nhoU2U$=itw9KlJr zcQX*kfRP&K+*}e(Dd@Z?LG&;I2kUfDf5TlzeEbMrfZy`dH7wFIGG_K;4X+NY>?GXS zMYLL=q)7(@Ig4Cq`oNE#eY3C~b!bmH$jMt_;#^2SUccQRqN`ZRlWVS%jdRnR^4HpM zlj72@U2TqBwmloi&yZHM$-5?#@pcUCzT>t&hu451_N?YLwp_A^FwCZn$$EbEwgIad zkK89cT#hGv*F$xR%!I}A=A5_xfosIJj8Rf;Li+14S;?jeDeu35A*5)Ocu4t-<{(s) zHmS1v5PQI~Yb6O?dZ*w>&tcJm`~4wK$-dzVx%a>kb#p9vUiAek=i_Tc!LIK)P(0Hr zvpGwyvgVl^vD%N4iSTMk{(h<(W)>XOV{}l-BjVMCISD5PWRVO_*bu;qcy9hDk!{E_ zUpeD38JqguzauiE`|W%Q%^XfCTh-Bhpkf$J{(1}MZCLvHW0RhIj2XiLY8yKk+rs=C z*|GeBm-+0Tml9efgdD8zS$ervyxGa0V#$bYFtefe61n@itxXPTeZhQn8MVGwOECPp zkeR7JXBrx7>jOq%j7S?6X~d>#oYNudq!0n7g19&q)O!;M9T$XyaOG4Twm`aZE8fTu znJhg|2}W{(QI$Az&nVW|*w_jPe}l{FO68vz`^4%))M zyL+@U*b=DgxtaW|$pt15AcdgoBc`N`Eh<~AS2JW=LLfaT)c{6pC7Vndk*>8tIrhl& zav&do`a7nRWO}h`Q>CQJa4}X|Mb{;BTmuvuiAaE#;Wk9mw*GM&E3L5xtHA|0x`t43 ztNg9%V17PHJ(~wGr2ds`)$9g9Y$^F2Zl9dcS4twN>U3ivGbAOyMi)&}47+R5!!q}$ z^$&6)0fvA&-Pt^bl49nd@$vBlsW!msJJ4nda0id0Mr`H)k-7~_m}OpR1A68oRi^pZ z#$4q00zYciQ;oa7)_w_!N)Fd`gM*zFS@2Lj+sgxp^)Gy(+$*cl)`A>yXlR8Z@Uaz7 zy!$W$V!=^Sjrr_qY0U~EUV{*1fTKH0Z~y($Y(QQ6og(3=MGr412{rY~O5x*>?EIf` zposy9=kF{~S^02o7@DPk8|RJxP|0{)uN)7bs`DD)GGg!}wT)J`&;=DIf}K~~1z{st zEk%MAZ1i6mG7x6z9Q1z3mKC-8!vX|h)k1&Jq#?w z08QiTd8}{)2wABMfpvioS)~Z=1f3Ss$A6Hr%SY4)Q2_N3L?T%zS)^w{%*YAYu)m?* z=JX?A*IYuRS>Un%i4uY7RV;K=@Ua<%g~V2i`}MN_fy(KZ;TN3Csq5H5gfLT2p`Q)` z?EluU45aFx9lqfLQ6k8;0zc_;>;$*^gLM=wvH#BANqItBiW~HGB-5;55&&w$O&}#& z7F+)vajb$tg-%Bfc}|8Vucchn-rCk8*JtgBrW|Gq6O#!P>!;s`9nW_NOe2}zl^Y}X z-UuBrx+J1NZ18Z8#GE4jlrVH4669PStrYARsXAO01WyNC5NFANGdb*ojD2MwfOzp( zUcP>8Yz!IxkD9Q!{0Si$2$P!nK3G7>6Ko`%vKt#4`E=L>={N9a0UrtB;eu9-d3^^Q z4mF~%AAqSeY|}=7ReEl9$p9N5M7P}8@M@OmQ?01_5A?Eo5bOpXv7bQC2C*$Na!j5OJwn=bB<8UY^)eeDkWYF5+(UdZre`iumfeDf5qJmx|! zAKXJQ>~NQbB?LN+(Fkxbh6bq#@`YgyEYZnp)k%aG!NvxKT({tP7oAPX1P-iX5WIkK z*35Wq9_I-G?nu~5)}QyLQ2&@{#$;Yhut`IR+;<79zOH{t{@rV0?PcHhRVhhzro015FH)4MIBo?x{i2cprN(d>$&By@msEjMX{j;y+r)5f-Zg@?v#OZo5Wt8(u%t_{C~jqB12 zfl`R)hy`^W&?}z60;^I36PW16+*blcOFy7i} zE{7~6KyGL)ZC`ON0sw%|co_F;b^=gp+Vi!n$@syvV}ZU7>>?L`K($~dy$YPn zX4qJ=`|#*yKGscq0-dzb(Rv-E8rlJ!3*ip~dqsBtSWWG0BK5Geq~w|RF){NqUtwIo z1IZ#7tY8IKOMF2Hj9D(~oCQ(~lHbsC+GT^9dlNSkZXTx*jd~EAU5JkfDC9-D!meSvH&cUxEiPm>g~ZEgaZN2ssVdx47eLKBpc((XOVM zLn}M2np$6suj2R{jyspb+{n?dN&?QwdJ9uNOeQkhXa+i|r|^f_j>M&Zv?tcbXKg5F zV;^yQAGsn=Oyvf=@_$v^u(a&&RBSWP&+OYux$L~#axPDVN(r&^-EJWLyMnb!!!PrI z+b?ifDs}x~CZC1hZj0v)gV%lL+VGGS53EIvzCl!v8S<ghn@YhsAyHI?xIP=m?P#q%I;v`#X`5A$7*Q++NONP0lqTwgLSu>WmkyvU13pC zr4H;fA912g&cY;v-yj<-t;scOSlK7%BMIMZb_`|i#OFh1)*x^*6CC*zs(#s^(5;a$ zV^Eq=euh_(TZKC1Zpkq%3Z2-4*&QZZ0LO;rmX=KiKRSm}*E_;|i3)7$$aNk3;fZx% zCOCzKNB({U?;vy~UDi6l)qfs_v(zR;>FON5jW9e-pzrB@Rgh#wftmE*U1tRSmpV7C z^isP6So-k)zI^$DETfVY<3QJdeGJ}I9oA@6>pe1|qHqj+3=|rC-bZ{8r~oEd3-_U{ zjMjE{FY~TJrcXv_Tv?=}zaiLQH$ef>D=j9O{u;@oLL|U&OhM%SppGEEeECyS-YKWm z06R<+kI{AV8!*Z*!Q#ACH7d~c5hM!0V}>vgw{m12gzIcw%ELkgGKI{46?rgrI?~_- z(6Qinjg~gdJPz+phst}J=#!HZfOWyf!GW9~Mw$^M3=ifWAv>EB>A2b%IKs5=Z+_7% zp`#-UL$BO{MA7J0DbR1AS{WUIMFD+-1F6ps`J>|ET41634C^g0nnziYaE;p(*d=5y z4X?r<-zO$QOj9tb6)A0*@7(c+q6TclISA^Y)Z&NqB_K38tdEPa;N4Rp1O^`vP(T6% zUgNgWNEP!T0Baa870NI8e&7V$1QyYix}orm?f}aPG1@03O&>%_!ApjiF0m7Ub|@oT zQ?ex%R?djFdsqkomL^Vvkp_pTR5e z=HEMI4CM!uLmuVKFp#G3V4xU?hYNxoy<(blNWtJ%l+PECJ2Ub2IDCXC2)56BXb@SqqLRko0N{btoJ{i6JXEEG!Jw zNVxfL*`0w>M#j0knjXQhNUy-C8|irv!0);Eb*S$0u0jZi6=$c>Ex}tGNky(4eaM z#|$4s&%h!QND3Y~NURw=`S(dl3LuSyQWf|way?tl=CEX(g}png=Phu^gB968X91&b z4_gj$0hn{m9UXU=m|D>pZ!aL5WJg3`ms<1v_^fV!I7WiB)0GgRtTb?yn?W>r^)7r!0LmJyyCfeQPm#<8HR^@rwqn;AEXJe)xJz+w=ei$SA|DXrpUh8NT+m4^MuFd=C^}YMmiN%Xb%_`4RV#| zTuxA!s~?jPTT7#xk#u(#fG0G{Dgoc=-Uawh51^L);JceIuYHMrLoH(gK?r}CFGxHfx0_V(- zCF?`x8TFSvoB_zo2koXP6SAYwzKeaigQ3|{OjOxvg@F%aT_E@eX2{*UP3Vk|j7d|G zF)~L%fnR=iT=@PT=J?QczExT-Rv;#hN*=%g zJ*b}j4e!R>O$SS!>x8%v|HJf)O?(?}st@?2Q2O|Tbp$Mq|CX|Q7ra#8Ur$L%fk}pt zMX{KFeP~%*3pE(W*Bq`gAavpFrXz%p9f39Q;iE?>;H99Iko6u!&LDaM(;7Q)4aXXm zfWb6ThWQUw>)*8vdB4a4v2>bY%)v(If3@}m@$EZ5=1}*lpGo*NKV5jA|fLVA{mv8fD%OV{eEfAxo^Gq*1a$E>b0gF zy8nOwdslt+Rn@NAM|gQdhV1GQK~~ky2=w{dQK_7P9`h`8dzeU0UntI-h%uqZ6Nm(eft4g@ZMOZ+_)w; z4<4;twGO!cHtY4l{gpL$eKrGzFwmqI`N~SK4}+z`F+wyE+tyjPi(TNSs})MOsFJ&W z?kNKQOH85^gxO*u0s25{X9-q-gHIVNZkBPDu}_s9pp^n|^{&+^KU4>nOItn88u*3zpmDuC*#pa2W$9LOH7aN_LQL^#nD0vXUQ4;fjU#uE`6 zyV$5hOkWdhpU@Fq!Wd_tn>0<-fzZBXB>|fPloQL*^Aeu(?~G zjB3kC3Ac0}A}Shz;waSExoa2VokY_fR4$-qR{#JRh4YG^Vh_H@mk+QR65zshR{0|k zE(Y*6R*Ia=!=i}#88NG0jvxv1BhMIH*e}|(>V_W!Jwi^%mAD)q97b#M`I?yq?x9d6&bQd z0wLHyX4j5SU_y3nWa1Q?>*u^m{+z0ZIfS6XuvHU|&5D=fG+^CI?-=h+r+mJUpD_5Q zkR}QB93MY^BuK_HDJ<1a+G1TA00UNE7hzCTE}X`RO(G%@P;vU)JbsXypmWTqia^h( zApG{ki4$p^pSX%E_+a|}v2`m^{ETqVU7WjwjU=E)B@1stZq8v3E@gyMNa!wVD{*2G z;XnLq_p|B&03?hW0!XTbJXx<)XurL}I@bG|5HG-_L|wkS(03T<+R9{Fk#hX$kImAj~u zKd#ZrMU{H3SGkY*oUMVpF{#`X(cO1W&Y}W+^jRIdo_Jh5ulKq}>F;(Aly0!fug6Oht378s^)rnT^Zz?;{ja6{{{tZY zA6-~8Yg3DP! zq^Q$)cB@t2o(vQen$?`u22Q@V$~UazE`Is)Bw`NZJr$k*zOuk;wqiX!y@eNo{z)}8 zC*ozibu;u;XJ=<|1Ct`hchA6yti&<; zs26wz69jULO)A~#1@ z&KzQsa6V3m5~x!W;-teUdmbGbc?UOj7Lm5m28)$Eq(z9o?(iE{?5OlBd;Bila=z$N zI|oIywYS&Fcykt*!Zn2h%1?CM-Q0}WsFswgI9$LvqCQz}vAxL-?r!jl^9ylR^ZPI_ zBd6pS?oCv!`V%=2J0~ZS1nYYQQZrDGqt?4Lc+CCB*K_0DWh6q|^t5DCP%b!h7#whv-r`5llK<)!pOp*y7ayQQVUG19?~~7r)KO5DzcOpFD%O<2^xS*es(t)> zh$|Dh+mWQG`1_}C#popH^q(%DSFLe4Vxc8XE(M{P(OX9z{T=2%b1*78I-#wMNGere zSMAi|GRjx8%yFoxvgYCn4)b+;v75xTC&bpyF0*gUH0SwqL%9Sk`PKQR-C=b(p;XLa zRIlG%oN7B7VzKlXO%P^?BnN<$Y3Z$+K#7u5<$Nj+FRy#A-`oh!hGSx%VLgLny=z%F z(|~~4NDJ33H>n)NI*i$ z_c<-U@-2*MynDZrv2hH!bd+ZqBBm$GV&LH5z)lj0VqGfqpU?7iTl(R`HaTH$P!uJnMo8;;8-Kociv1p^?8=YN z-rlReE+uBAFkX@M7e!@c%n}V8T)kfRd+v5D8gKux>~BCKjiK^*bZjht9R%)r;;NND zK83jAmw@)^=O-Z!!~!obR;`wym+RE?x9w)=IYGDicNP{FUGca^3Xg|DPML~lz{CmJ zsYW)R1>dmY9V{WA6I3Nw?>Aaecyr6oyECp$%WspxPohkJ`Q~MYpgIz*-H}DzMfr{u zvxb1LfW@MKhA}DnXPx66<=*+OB@Z`m*)m-atl=Krn;vH2oAO@VpkeG4MR=%Y+#`!j z)&zpZ$HyDiQ4Q!+=0&T7@+Mf&xL^KQ6XzxysHutgZX`7nAf|;j%sOX!D4ACo5joG<5 z)B80%+ixf)X`g;)qmSB=f8YM4t^3s%!ltR$6_SFo+dg~%K*^!Gg5R{9lbv1jg)rGv zf+Li9jK_M8UrtzjDDK$h^-@GkOl;wMQB@8?_ah}kkK#PXDG4hD~%=$*QjSK-nMO9DRL>Z=&D&Sbi15Pd{7CO17-}l$LAx!k;_n9%;nk3 zay<#U3n;Y5Mw@?2L*_-RKGn4CTNksc7I-Ugu5u|le@^F}l!|}fyWHKIQBu+#&Q`o8 z!kHNv^`C1jQ(yKjRjzzrRf>$@Oc4|JGU0wCoywH(qxAby>WU}1N^wWG_boGT)yt)5 zEomvdw;QFxt|fHOIH)ThAKo6wt1{PhIc#I#Rd(Mm&&tRD^jjE76O)w8*uw7ho8V-C ze3|DYlv3})g$w3w_3AStUZm*K($bdJS@KKWK_@{Lmu>D%=3~v@YHVYy16m)0ixO%M ztAmcW+E;f|Rn0z1KhV_FG)sOlU!GF)`oH#aT_2qRtnM`y+>ep%ZX7=Qr|?RhWOxzO>NNHa`142BQ3{Bp?xBNm1y2`IW!~EtuoCo|R9YKNlw$4OFcShTvj; z`_u!UbBlA6BpG(ng$qv(!R%I5S$LG4L9Ka3tInFFTn*xB-$)7iFH?kX4)+5)CjQ^1Dpj((qtrBY_YR>0c7f8&9S?wX=#OM zJiMmKM&UK85fKq!KBZHyc?Dlj?)Z7Xt0A4?l7GDsZJhQIU}hK{NlSRYX@^YWkw;z% zx#d&A{tJ`@)o>X3R$!(PU#givTEr2px3Wb@RQs(=C$s@X`5^%EsQ@X181<9<{QUPV zpEg%lUzK4GBbN*!Mmvi94|57 z?!zUVA162dy_ro^dxnw`LvE4_nu0qoKxo5>F(i?nVNc1E}>~ug7%nUbYDTLcR;!feSzs$h?94ou^wS@vCCF}rs0NH+dRbW~erp+D#)E9$QeW5C70JJhy0Y=1h)_sL#7Qy42?r>izolY4b<{ z%f5X>+l3k~3Ww{vinv58LEk<)8-=@Jb6bfx4lgBM)h`a+JDr}JtA%N(IqTdr^eZjd z62f6(ViKvE($d`x%qx%D`)H181lHb2K#KXNff0Rwi z&1RxNa&2rhDRn{&kh@`UEs(hJ@o{U$LO59A$+(e9Rs0S6BEgb{X$Cb%`DZ}p%a`+g ze0(@nWMySpn3=Va8_&$l1X}QGQbQAc3b4WO=4{>E^h?Y%{i`f;a&iD@(-U#AvCV(| z^@p9k{gB7N{br1cj8TDoZribgmpv>C;zVet5(nN8x+yOi(7b7@v(#~NIgYrQKr>?0 z-}()H^CAEgUYp27lU2SHN{YUClo3lIm*7{)DDEpz4*==t=x~GUf{dvRa!aoVTw@0A0XvUv)fog$X<%9Q=$pVKWRK&!^-!@i8 zY3?qARipc5qpMW(rDaKL6|HaEe%Y8wCL0Pw>yb#&KEA#~gX<9mF8)+oI{*Rtfj0yG z!3$ge{#$7B5e%z}u7ksPmvxDmWBvUSwNlLB;GmTx>vp)ocS1u)(JOp(e7v>4KbfIc zVmh$pXvNoF`5c_U^nU94;hd6%2%q!4Pxln>T6^~6J8#x~9-W+QBRY+M4|-RaYH1WH@2TW+^U3mr> zqeyxt#z-!&&KNGKI{1CskVB4rA2_*O!amo|VPTH4Zp}b@v9fM5 zbdgQkLmhJm8P>ggdAj`hvRnH>tr5Kh?-N;7i@W?52ZaXs*JkSJ9}iM9fb^$1IckL% z>8`!ya=P&B!LPUe2&zf^@;zmKZ0?X=pQ^5J3D#H zy8TZ+D~pUY^K5TvNjBm;oJPsO^xX*y%YyY@US1C8M3gd(lH@YEd!cq!KcmK?D(Att zpE=bVtQH0mTtD|p=ypjHU=N%~pF}F^o9H;r`BZUIs4U-8EFPy3qkcF+jV~QYgNP8mgD{Uij(fm>G|LWV&Cr(> zUbZN#{5q6X5Waz$Rj3ZPX1>mG?~Vt?b#^e$w*2%0Z%MkFZ#-W!EC^baGSN&q}kK{;lqQ4g$4M%nB<(@ zyoL`cHI_iO=!W_cK5`PRx5nphULaip6j6R#GP>*o&1bMjh(H7&Gl3a+Fn9$0t|k6@ z!&D1k#G_6jpbY@Ww}*%mh{r`yM)U#Lqobp5=i~Due(7?YJ6~7vn>W9+^^i7agv$K# z$`t{3LtwOh8@UzQ1Y#>8erFXkOJ4BWQ_jKV%2ykTCwD|$d|0aBb9 zj~{;u>MeXQWzx49|6hjv&h6VvZx5V*k1dmU(C1Q{*T!*`<6gsnsJJ)~Sm@ZMHX()( zy?9su#am4$^zlEdUdqHX39bUYL(@_P3WWmWVD#=y81;9~F0k2z(D6j+ zBEk$q(^Uv?)9k%x9~Hz{9A0q#1s&n4!B<7-0N(XA6ZAa)`5IK$(jwv^u`w|^60C+W z0_9^6hP=*k*pzV5V+Pe$`MYK8Yv{~WO5x67WRa&i-EfFF$XW_zMB(K65bmj_=n^4C z5cVek3NZ9*3Q68`>adbX=wPMuI<;EU@~wT1kM1f;tV;)XzE*nci1ZfPe`wT<{tb}XcIcWnwzV36(oH{HW^n-PKUHN%W z+^acb<1sAHgj#wvE!oX3^3UPnbZ{Rc3L-0;0~7{dIul`qq&|Z6HY4(oie6>Wh#*l={zA+xs0kcXykQ0u z>ei{#d31QgPBY-%6}evHNf8D`7z6^B{rr~8V~UaE!jwV&jSp}n)Px(;4h#&K;8=F> zpqBRbjMUV_t!-_lJE_oLtqh6E1bo$B)J2L5^g7nl4~pBI@r=GXBahTv&Q?0F|F_~B z&9>&|$9Z|epq+rhgQr4mP$4s+R79H+I&!V*M}cGU`KVZhb2%#?j?DgOx^BrRAig%u zSAP`}5qSb%i*zcKl~8wR0OsJRlez+;4x%ja(zR;MT?}2l@dtb%=nOK-*%d z{4fa7-+$lT7+Aem#N`N_6CE8FmoL>(oG{#QQfyF6L2zH7ECLCH$Y@<}V4pYjTcDS3 z?U<}gUUgCXut4=fXwKGyND=ympc3L9XfP+~ba(<50Fnz}rn{fPRjL(M_XK8uYV@3{ zmY?GwQAO*TjsEQl=h?APw0N^G$Z%op^K;9cjKfpa81Jxcl1dr=J{1~A|X z)01?zJvepMtnx|;0#HC=P;>+olarDT0Q5_`iv^<9#N#5*_*bk<-x<%-xNYC{ePwbT zYmGtcV6p2jx=zTe!1G1KjS@8Nun3z4ccrICAT8gy&<<%f*f+v*VCM|Hl|rOKh&6U~ zb#)Z_%ANXh^Gh+daXpe}4iEQwUjE^cqR!>YEwO}y04zbojEG=1l0*TTh_!)hYXEE8 zz_c(?88~~XM6nSQr7rU1ZL~#eh?D-Rfm5G+1_5~%XAxr3iLOs zX^4W&xkGmhxc;D}Hv>BuY58(P!4$K>P^+z_71raw=m6!+$jfu>dEUQTu)J;CB|$Gy zsx&a&0xtISn8U86XJ@M;*qQ;skdzf%er_*oLBFRsf6EO32))nzyq&GB4#M+N($aX8 z6lgO<9gNHDE7SU1=BuRWf{MHYw!t!jv7xgUlK1XRK4CMR3~)`9y%UI+{iFmWLG zaB%118*hLbYX z$>Z9F6>%)`)d~14kK77izOk{9X^EV_rx><{NUcG;5Y`a%N_x@nEYUx=n6sWgr?I}N z#1XFPp3O9xeIy7p0cLdD_U&&Q?WxzMdDxAogAc!(VKb5v{xy@*_G|I2@MMeCg|^$g z)GuD0Lv9f#+#P7Y^t{Az7Om(5$L1D^(gHYS71*mUtZ`Xq5B1@%>Yk5HB_skl?ZToW z!H$1?m_u-jn{|8Evu8TUZAp231@Zs#n2#ETr%CxOu95JxSoZHHqF8@^{Q9_})5`y< zLm{f2%F0X;Hib+=GYo{7%?kcW9n@1sIB1zjZ9=;+Cw2}FQH@rn1#)oZsX(>W{gs;Qb<`k4wYRCw3zl<}?$hiTUMR=5bEZ>kRaT*!1=a z)(UZ|fU)5Xx5{I2QPXmLP7WPHOeMO3n>~y-qW*L^9A=<5LJ<9KQqy@8l1#-!PUGdv zmyCB#LN=m)5;%!r>N6j&M}J!QsYF&d8}uJg9%wB9 literal 0 HcmV?d00001 diff --git a/text/0000_colored-input-output.md b/text/0003_colored-input-output.md similarity index 96% rename from text/0000_colored-input-output.md rename to text/0003_colored-input-output.md index aec0c5a..1cbab23 100644 --- a/text/0000_colored-input-output.md +++ b/text/0003_colored-input-output.md @@ -1,6 +1,6 @@ - Feature Name: `colored-input-output` - Start Date: 2024-02-07 -- RFC PR: [lf-lang/rfcs#0000](https://github.com/lf-lang/rfcs/pull/0000) +- RFC PR: [lf-lang/rfcs#0003](https://github.com/lf-lang/rfcs/pull/3) - Tracking Issue(s): [lf-lang/lingua-franca#0000](https://github.com/lf-lang/lingua-franca/issues/0000) # Abstract @@ -31,7 +31,7 @@ When browsing large hierarchical models, which are simplified to have same-side If one wants to follow an edge, you click on it and is highlighted in a bright color. This also occurs them clicking the port of an edge. -TODO a picture? +![](../images/0003_image1.png) # Reference-level explanation [reference-level-explanation]: #reference-level-explanation From 94dbc5f9fe6e27b8c0d29198d8f5f484adc3c812 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=B6ren=20Domr=C3=B6s?= Date: Tue, 6 Aug 2024 09:11:42 +0200 Subject: [PATCH 5/5] Update text/0003_colored-input-output.md Co-authored-by: Marten Lohstroh --- text/0003_colored-input-output.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/text/0003_colored-input-output.md b/text/0003_colored-input-output.md index 175e93b..7d6d8c1 100644 --- a/text/0003_colored-input-output.md +++ b/text/0003_colored-input-output.md @@ -55,7 +55,7 @@ More synthesis options might not be that distracting once klighd-vscode adds fav [prior-art]: #prior-art - SCCharts uses a light blue to highlight clicked edges -- In my opinion the Magnition has created the only big LF models, hence I take their feedback seriously. +- The large LF models that Magnition is working with pose real, practical UX challenges. # Unresolved questions