From a01b48cc7c9a7ff61c468af3237ed21356f2ed08 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Wed, 30 Apr 2025 19:28:22 +0200 Subject: [PATCH] vault backup: 2025-04-30 19:28:22 --- .obsidian/workspace.json | 1 + ...hecking bisimilarity, an inference system.md | 10 ++++++---- Pasted image 20250430192526.png | Bin 0 -> 51796 bytes 3 files changed, 7 insertions(+), 4 deletions(-) create mode 100644 Pasted image 20250430192526.png diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index 8db5437..0c778c3 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -192,6 +192,7 @@ }, "active": "ec8d1a91f1f0cc7e", "lastOpenFiles": [ + "Pasted image 20250430192526.png", "Concurrent Systems/notes/13 - Weak Bisimilarity.md", "Concurrent Systems/notes/14 Checking bisimilarity, an inference system.md", "Concurrent Systems/notes/12b - CCS cose varie.md", diff --git a/Concurrent Systems/notes/14 Checking bisimilarity, an inference system.md b/Concurrent Systems/notes/14 Checking bisimilarity, an inference system.md index 92a8db2..3e5770a 100644 --- a/Concurrent Systems/notes/14 Checking bisimilarity, an inference system.md +++ b/Concurrent Systems/notes/14 Checking bisimilarity, an inference system.md @@ -13,7 +13,7 @@ just what we've seen so far, literally. quite obvious. ![350](images/Pasted%20image%2020250429082905.png) -basically we can let the left or the right process evolve, leaving the other unchanged, or they can synchronize. +basically we can let the left or the right process evolve, leaving the other unchanged, or they can synchronize. So we remove the parallel by just adding all the possible cases. ![350](images/Pasted%20image%2020250429083129.png) - if a process does not perform any action, a restriction won't do anything @@ -45,9 +45,11 @@ $P$ is in standard form if and only if $P \triangleq \sum_{i}\alpha_{i}P_{i}$ an 1. $P \triangleq P_{1}|P_{2}$. By induction, we have that $\exists P_{1}',P_{2}'$ in standard form such that $\vdash P_{1}=P_{1}'$ and $P_{2}=P_{2}'$. - By context closure, $\vdash P_{1}|P_{2}=P_{1}'|P_{2}$ and $\vdash P_{1}'|P_{2}=P_{1}'|P_{2}'$ - -![](images/Pasted%20image%2020250429084358.png) + By context closure, $\vdash P_{1}|P_{2}=P_{1}'|P_{2}$ and $\vdash P_{1}'|P_{2}=P_{1}'|P_{2}'$. Now we apply the axioms for parallel, until we remove all the occurrences of "|": + ![](../../Pasted%20image%2020250430192526.png) + and eventually we find $P'$ which is literally the standard form of $P_{1}|P_{2}$. + +2. $P \triangleq \sum_{i \in I}\alpha_{i}P_{i}$. By induction $\forall P_{i} \exists P_{i}$ ![](images/Pasted%20image%2020250429084921.png) ![](images/Pasted%20image%2020250429084950.png) replacing one by one every continuation with its standard form, obtaining standard form. diff --git a/Pasted image 20250430192526.png b/Pasted image 20250430192526.png new file mode 100644 index 0000000000000000000000000000000000000000..cc0ac5ab50a9292f67b8cf50b9cb0778d99e7708 GIT binary patch literal 51796 zcmXtAWmH?s7RHJccbB5Yp}0dSZpGc*A-G%d0>vSCDNb;Arx3KbyA#~?(R=Uvk>sqi z&dlt|Z27jG$ghf0sPBp1LqS2I%1D1vfr5hl@^-y|2=n$GXKU&8_Jiakt?dE@h1U1? z1D(u>Mhpc-0VVTAOwBX%xP8t=PuqXbt6k|7JN+yhN-TI4N87Ag&qI#NZTzETRGObw z`&jP_-D4H|V;%8huCg>yeaj5!q@whs!ekP!{Tu)o55GyEx~A0& zG(gt0o|Mxly>=f3?_h&-KZcoWhZWLeA@TjY_$hX)!H98Jx%&I_!CSgN{iQ91yYkpP z#NM$K(!dRga8?2|co^u^81s)XQXBstgV3r!0v!l#L=>jSNLzS1%F4=&$3{P~vPy*7 z3YXC3reBc^IG6{Fnh8OCVsoC$D`!p zmX0fF+)HtdSKq(zw+ba=o+_-$1kqI|YWqTtyUhQQ^goU=_=@y*zK}l(P z;};^9Fk#7mTM@BxZ%ylUM!}$#QK9~U44?;pHL;Z|=E8Dapo!{X!-kUYLjrLfJ6#N$ zSh#U%GJ$E?pu=qb-G%7W**$w2JnV?tw2p-rUvt`k^($E=>$(vVR^u><)Bad+36U`Y zTqJDDK*l}bU#c-qp+#WW5!iAWuT202Kfs^9JLXbhI7NOP=JK~?m{D=}a^^B*Lgw~R zYMeVwktPY<`R_#Wk8kWX5GT|Nk`xMtB@~QW7h%c517VGTwD9u!EQP5Sj{0p4HF_xD zmV||B9jmCi;^Bg7{y!M~*#B)!`4Y`PWzp%rg%x~PI<(cC0tP#5s+FlKjB>TA*i)wH zpY&W$m2PtGj?lxsds(7H1wjAOyo&DLo(4<6wrxXSkHffAS~F6#b;+R$Q26Dl&hl%Q zJVt5M(v4OS@GxD1jt(KUa*IR}qoDbhg*Sza8>9L53H2&*UF1~nKTjSw94yVPtdhCQ zP+I`QrXXl;F))%>aFmlNPQQ)R!wYg9Oy>b8%F!N1w5Wwh!+(nJ5Aif7JzzsVR36iDae?iP{+jra-(_F114 zgxOd{yWo^*HE~9N-ys$KpMXVuZRKY}c&wR4KCttpuVm~{d=*uiHc!+FgD-A`{YUg7 z^t&r?U7$p{EQuu96J-Zd)by?0+Fc4>SL#VF^%8K6_Bs$6Vh)TOnRblB7&|0S-^Z(o^;+g-|=oX3< z0m^7PD)e*1*BRFkYNP~;Kxp~IT+g8cH)%mBan0sapYs1kI1X1}yPy(j&NS7bej&#C zkFDL2TAeelk)&(>J%f43@t@y%A#`)_RL)8)*z|(`>YCPYedgVN`I*99pmmOu;J=fW zg2MVwsxeO4rAPh~ueQPCLz`KAC=6^1q)lE}>T?91v4HE*9f4Zw4+^F? zWH(b(;g2xx*Uk;1Ae% zib=D>C~vDf8+^S!RYc=$>LnFR6<@aoQWz-wgg!#Ya{qUi9ZIViXc!u#rPjbOhV+zI*)M#{>$*K+`Y>t5W#D>X&uiSXCT}DNY$>>d8CUXp^;jv;UhE z{CK|NX(j>8w2MMUKmi;*KDgdjLV-FVeLJdT=jNw0kF9JpCt zFg}8{vYZyHM4mf!OmoxR#=?S|+eJ#%<{#4LSkT-X7yN{^XRyl7oBOp&RQeJBoH)jP zClLS~j;y_GYcSnr!C6VA)toUf8!NSRF3I`l~A9n)uI=r`5KUb8)Wabhi{QNjfeBg8!QdWz7zkN7m zg4hJMUFQ{>Wa_O!0kdb$k)H@%E;M7)Nh0u52^anTn&R@WRzU2FfPY4Rc6hn)&RXmex;TPYXrr){bb}h`l(Dnz*1I13DzG#O?}3x6k@2zPLDJ??K@J9hZAr46TXdo0E0yf(f* z8NM8bbOiSGSpNJ!=n!FHpPOgk+BWfhnw@*SW9_`(Y;Edk$bPZ93fX$(*Ug{I9XH1I zifvGt;-0pM>E&cO2wiie+~s~)8;!H?M^)(kircI)yjMH4b1*biy)@?_(!{250TH^q ze0{j=d^Dpz#`#!AvE^3u@4>-s`hnAHU2)jH>$scm&fYW5otQh#bq$jHJ>ch%^YYGb z;t(*l-IPywE4xBNaqQ2&Zr=|IQq5;S)mY26?No2X$pll%B7)C3JCaelZY zd1vU+S!ZAPa>z2^@)G^wr$cJj#B9pmtnJcKh5wS*DzXZCsX&+q{NgQHp%)gU!k=>P4N+KBdtZytCQP`psQ^qx!bBBvsNv)+6v{TE4?MPzaB6bQuZ=q#Uc(bq5D!P3L6~7WvkzDuoU(BvjJibc%&72OLjinoq^Yl@q~?(dTD`O zhf1nCc+SFyvw*cr{tll;);(^p`wx!qyKJG~EdsX-$n~o&m8&zJi4IKTnUDkA&Cw|e zg}(?>gqq#b&;97yM#ylQH{NC5tEPJLem2a685T}#DOlexdzP%nrdoEr>T|sc)68K_ zY&=}#hQ<$R9%wdZeF+Te{wfmI2ui8WHgyIlQ4pSnqh6Eg`_)=wa{I0HT^KYrc}<)8 z&mG0EX*dYiQ41))w7@t)iPXIpZ4`(k;=-+LIz`l0vv`NAdq#F0UOy-1Pf{{zsmZJu``3nLDe@KyYz=f(e`*`iI4p4pH7eSU0Wq zg5uapRD7ep!U-0$8nr7pc~GL7hYQU^837NsBC-8|s8&#s%V{1O9b~!n>Lv~y%EGE1;P1d-|HE@{LlGTgADzytCpm4`)8 z-Y64?lz)D0^3dEFV9(?K9D=G}iKDupX5vqyT``R+KF6uRQT1FTf~(UCr+o2;pg}Q5 zJ4{%o{)bk&zvtyeqbbK$IuJN)ll3^B#d}*jmESH*ETy%(SlJ1#u#M7_tz;Ve9=For zZ0uVN{8$ZCrls*|vfclkH);BaAfW3@>AJHj)F}L>mfKF3%AsI&nzb^sqEv$wLJkie zi&Lzum{C+24t9oGRjWV8T!i^ZE{yEGuAZ<2M3#mUH}e5 z+p`eI5CiglXb~6=CAqE6wcnnVvO9uV%{mtgqp!vc!oD)$0sw{Nv z?09NARpLO%4lj{l#B~T^l*o~(dcyK%!O1Egl1Fion?Ku_dz;wVd7A?)HeTd^a%|sv zF3{~Y!UT8=bzYr~tz2r-qJFj^f5}}*iY}SAv$@Hr^xt!Ng>q+P1va!dt$e~0ra88jVdxi>jbmgXQ=>QFR>p?k^tv^Z0@HpI>ff*%C zBP#)C;ly%r8sFdVI{VF&1J1Vxz(^EMnY30RxjA2yh`ihbjo>m^7Z;SZ?pQcn_Ke3S zA%wyt2ZRy4o3_S&_`grR+*;L;j6R%#2i_#Ha zE3>Ehb9~Cx^mfR3Yh$9t5~j!6puLd380M5s^Y+tc>xb26u-s0Diwv&AOtij3kY_)9 zD_pEHryP8p`-r&?vmUbo$N>m0`eOe*3ZVUrYYf4k$J;*#GQV(hoeJDmv_x^A|f1{#x~ym z$FEPFFP*HNj~1sxwe}!oV$^KhRoy@GJyVDMcbn4?Tg|ZmFMIFgGc*!j_rtATDhM>4 zQkv`sVXvJdk*CA5GDFrPF41PvqQ@QwAQbhB4c%YIrO&q3yb5&?3K}xg!6Ti3l}Xl_ z{IF#~7(TZK*gty_BJH3+$LA2&)M=wu42ixC;PVQ&(KzZGn$(C(+%jO_A`Vlew)}{t z;0;T8R43r)69z9O8782QB4=D!Q7`330+Jt;GhCC=?|eGjw{o;BOQa=Itrg(XgFRYA z%&ZB042ykzswG}n_K4f7d_KupgfWn*L6syGynd>AHoHxyFhXB8P^@VUj-M6i>_{6L zW&OnnONKDm@eG4WGAJE}t^bmXhvJjvklhO-q@SPP3)_wv7YHj3u{u3CF~PacaCBf^ z>wK|tb@Z|9L%ZC|*1KcOa-7QP$z|>ajHTqEE0K-S4*Fm3H4CiieV4T7Zk?Llse?Or z30kojVh}syRw~XC=;otj1{ntMxL7(1cPy$BqNq>@o*FcD>!gCg*rpsiM9)LxV<*If zR|^D0Q_f-(gac58Khyc2xNo9V#;_6#4U||F^&T#BUaplqrn)@#i;Bj{)&%(HcdL<^ zro+B5&ext!3;~3nSq)c+THVfXL@Nia(WB1vPAPAq-XKH-s87!{vikiYus{9On;bJc znZi1(%asdX)r|S@8uh0B;j?h~H&}wt(1kH}wziS*gtQspLhN%D{TZkM`?dtThNg7_ z#jiNse=NAla4sp2AV(1mQXwpKN;-LTP+!`(h+_CN?d-W5TY#+UNuwS!?zl0O62Vx0 z@h2hVPp;O=%AGBDMo-{1!wrefIj%P_wn%;(dSR0J%d0g5-&1)#^mwxpd@QO#6Ewt|E4!I zLN|5btIpL1<$!%sjuvD=4c9LllpT+4=~5#9gq}*Ke}BW@T~{aR3kzZ)K=r)=OVv6M z89-(I9E@tLw)v#VVaF-f{TVBF=6!SMBbWhU@$nY*+7%vx;sB$-WBzU* zJ~nYZw5|;T&Et3!dY_TnaX;! z)x5Pur==ZcR6Cn8W<*$D-BmlR-rl&LA2>rWXE%-F!YP3@uHn@& zwo{IqK-52NW8;=r0d9vb;j*&)Sk~2FddzlhQ=z7i9QfW7=-_((uCfF6yQ3pKz2wCW zO6<#aty+oN%jUoc#5VP%sWRFa0pSVDv>*07hLr#ch^xo^+}m5OJ*T@OpFiC7K6~c< z{SLxb(=_qH(y0p~ibGmgF@9}y<0-Z3`-8&^UOUQ1hEP)5)@=Y^yX$F&ZR)rZXqF#6 z;Ntv%>dnX~l4bjjdLbZmnZ27NjrgXY?GyR1Z6}yqN%SG_;CJxnzj3s4aZDG5{)Vx| z!z`UpLP^lq-*l;F=}~tf`pn#62FUNaO?m+Q*;?8%Rs^^X=N@$})U&1Ze&$>V({FaM zMQ2Qty1JmY|ESv8Hd3T2yH-VdFvT>qX4BQDMZnjgRkU6FG5%D96rI578kjw{eJa&9R0fq!B}rirrtQUOTW&F6`aMI zS;b#(vl`X}&Ho^LRz0nxSQeyH=G^o$E#^teD;AH_&lyZF(1xL7c1 zT_I&A!{Tt$hb=@x(Pp6`*K2itT%=08$`s^&SU~WBK`XAwZc1~wm1mo51xB;d%Dw9$ zvxS-2x-Y!@Jh z-)N_1wO`s$n_q(?G=x|&wn4R*^rz?IwdHL8WS(b}M@(e!_y|>oNx~tsc%A@34B*~4 zvy*Q3-!4n7^eT`wJamf(5!*S?`3yB3v1g}5~uq}h(+ zsU=5Zd<6313~w(t+G<{Nn`yE}j_qxysjub=b2iQMckM^7=lzgYXWHf0?r~vZ&ShMT z^!kMHy@#OVc@nI;brg3p-sk%syOy(}*0}N4OLGx&SAHe*`gyPUWV8G!E(b1AXTkmp zr8RRlD}9Ec;krMo_JMtU_W^gk{qik=*trHXn~dx0mPG*%wfRCH=#6)+ChxHntELi`@s?R@J>ES$0@K6FZhCqt?LIE3_F@rMNXOdK;S;~sBGn#bdf=z`g zuFKKnViCL`2f1N?BRJo6E^Y~gj?f1_j6C=%xFOGCQSPidRs30Gt zG=G2ik+CWf!&!eV(B*X5nNnGnoIoYZw<7Gbx_1sGifJJP+MBAU9NRSRR5b$;TwuRz z%4*8Ae#`${4R8AX{Oo<}c8f06t{CZG{dwl0r>G22kW@J%pK|-C&mE+T|0{H|mt4Yz z{>`C!!k}`A30*2S4jp>Lc3E2uw4P>#V#}nwI}r*W^ZMES^|#DvTRTo&uIBNvEFljoiesaXxzpg%(u}tl zlsO@=p)JY-#|Wl9B~l^avMiuos6CBc!IY6bd<$-u%x2+HyN-E!Gm*P-$;WT~lfuGr zP)DK&Uutpk_?NYqC5%hxSKI)`<11pZ9G`H7i>AUO%ytN;@!tRsSYkT4&PT&LYpJ)d%+ z&fNR5YCYNt97O1m@s;knU&YDbGW5ZLJriK#(ec{z^V-X1{>Cg6Ck{1H1@$Z<7XenN zj4!7`=NR5;AvPinVZU@<{8o{T_w&Hj)ntL5U6QHd3;l{Pf=4&!z^^6{f-2c+E^iV-RwAvuEa6Q@n>4t6N zkugWEkHbIgtv=x2S^zF}TSw$$;={9fqftm$D5RxyR*pu!Lg09H%<8vkDiP_D(MBkj z?EVud9jZtx%!UB_=RawqwlaGSl>H=9WD-6hr;1mjvMv>3=4oEZ#mtVchOMcNW;@45 zPQygO6-k>e2L)c(dyltQsN`gaar^`$oY&HIWdT=rd%yN?5Mc7Ge$!w8^-7Y!p{`7{ zi3zm@0>|-Rz}>E3Rp@-3F*6G?9NA=1SI@P)yzU?k9;x-hl14XIbTS$zjf;0w%pW>6 zyXpY6@v_t^=_V3f)?>R@5565vT~t+7$;V@Td*v}Q!PTLyx6h*iuOh+>>PhyqqE#&2 z3pI3yb(vJF!5(Gx8&VT(bo{=XX0*+~yEwV2xk`g-gq{jR67sObn;Jr^yPpRDWB=o^ z&`Op8+c7`7SU-O|ip~03&d5mjaMnKzi>3XGo5z_v%_f%O2sctfEZr*cq9DzL+Bh)0 zMEFAp%jAF^`%;S@b05BHf#B4imkqkt`z`bvk9+%XD#Mjm$epi;N00P+y;=!ayzh5& zwPEXCKGnq92_ie03mF6(Yl$lo}~W;fMvnIu}|VW)EZ66HW} zb&D41$c$A$cT15CwLNWQuBLyM`z^hWN0YJ#nF#H3N|fE%>gf7Zp;U>7=JB9M^7t!N zoUa{dpv`h_?8rvq?u?qay+_mzEYzUKyEw=+#!xI;IjyZmvEy&;<_%P4#x(&m_WLG# zyoYZ52pHEwC$g!}Hq17daUGbNg5LTzOG3f-7uY)Lj&R9KL%}1W;pdZv2o;T^@kyl2 zYbj#D$<#2}IW%vPPqKLwrRXY{Z>dMcp_~vB@$oM27#&EqG8159e~Gswe9z-XQ_ovl zQ^!`{B*?)B4u6yqdEay#jM%Gsr*YWFmJIli3Y42Qt1b#KGJ8GCuE=e#wwC_E3BGLW z>UB^e(2yBt9vAe@gohtnu&yW2C1};nCC$UO6h4TB&s;`E+N_M^%7C-I{1z7HX(TW? zpwhN8<&;425$^`%se6uI7Rf@-3nL_+Pfm-6RVJ6ZcPi4f0`PFu{Y?{Uk8=Kp_I=mH zTS&&nX7geTw|PhJ^=#d!Ow;6J6N20%C*9)5sAAmI!ac6$iIz@#$GABfc8#&Lyy^GV zgFGB9M)*rv+})Cnl*qF^AX!j?PWCuHawcQT?Zl)wg47}jP6aqwBj7{w_rXpD>a7K} zibAQ(qijU^e2s|8k=0Ip#G8b%Kq@B}xSMJLW&RJ(8&TsR4dKgsLPj%_H`^jxHY*(Jf$$W)XWjahklC>wm*&kh;% zUiwX)65zYFs`mnox4%adF7%O8rOU%a80x!ias6kOBC8f?{6SFGi&H{A-=w%K+`@j~ z19#vMK|JoH4w^Pj=SVSej9ifcC;9EO6wVJRwS*#Ntv&Y$1N6 zdV}m`LQLNwW3;MD%8|9HF27K4ANSAi8r6)wH8@}n>gHxWdj_mr&FK5k>IJ=l?fksi zsx@UH?Zlx!f+^x62Ts3cVPo~+AD-}ru>)lYIMfC?`F>YNZ>G0x6R zt|ud-cC21DnDH*Ad4;2M-3H00m}HSppTk@OZAOcW>U%8i->rfMhFunPb=%XP&)u6NHpazTr^tv(NxK=w{bFy? zMQM3q0&r3pgCxw>juJql{WJE4j19%a8i zViSZF9ubMff2f?=OEB_z+|80q%pBb^wQf_Zz|%p${emEnmAQj#X$35_2}C^>ApXVI zO(o{oy31@tlmgXbjJ5Ir1Kpf3J}M%M&mb0O%eG###Kac_ONsyheFf8?YUkxHb~%yU z9M-qgLW?JxCtino$N7I*Btb(!&(G8tSRI3r`n=9N7>yRrdI*yASrk}$=63KI%Yt7*R(PjP ziUMp};sVCVEb{NFD)*EwH3e1m6*d(8c-t8p^;y(J92(^xyeeh5dvs*0ogO@vCPGrT zX+p~!)8t0h1WSt>1eR2vtxJ>j+&5NZ ze6}vtA4cBLDt`^#w$--2gCC;m++o4AO$SEVe4zE_tfJski?LPn-P6;l=fr z6&NWogmn{IZV`6jRy8)eY^TA9#7zP#EfaP6F0(#>upt7cr3Dy6e52BZdYpOu7$ zudR@c8=u_7Z&785b;5}!R24S^!Dc3x$)9lDB>96C<8AFmV8rLj?&a$V5Yi5vqTC~A zqWX_Fw@4fbzI@fyGKd@(jy+mL8GFwXC-8A2MqwZ;Q*;DQhp$=izKGS|!?C)rG1m8L z<7LC46H)i8olrQNRoSd;WTgDDV#A_}G8ZhJ6+ysTHtJqru2Qd+N1_q!HtrZ=TaC;) zVUs?yb04l+ZTEp#Nlbxm!QZCwR+h8PGEiB8Sz)=&lS3nMQBo3}bpPi4caHhVRiXKz zwT~mrtIfhJsDa7%^S-5p7+=~s*{{EH4WEo`ojM3A9tJ&2Dfs~oyNoiz!vz|<`T}(r zEodDTm?{cYoAtP}zd~0bh+~O!l@|Z_`4-8K@W4&4)j%cTSbrI9#Rj16y|33`m}58y zO^-aUo>2>{sYisrVyT$57W?Mj&dP)^Y7u|7R#?3BDQKDVa7MOWXSm2>kep>?Y#LS2 z2AHPDICBWcthJzW^fNG}=cj(RMn=)Qu0psbW!Apb0df|aO@5!Y74q{44fhqaQMhBf z_qC;AXg;WEEgjbyIp&O(>F^vl*D2g}<$~Vgpu*ij7X1!)(`w;|gS9L{ueKFNt>;a{ zny)-JrOj~+6pwGqRZ6{hvJMc&_Y=uB&ezqz z<^tRMf@Ivz827KDWfu5@ELoktkd0FItI55=Skef7Eh4L#L{ME<&oK=ZT$lJFIAp_N}oS4YX)mF2r(w4ukeWTE)HQ#JJr`;FzsBxv0*GAR~%Y#|d91?QKdmk^x zfjZMf=;RM#Dw(3~yNPQsY`C&4W+`-I0nX0exJLpviAu4jr|1Hp8+2A?6E1~(17!ty zI_=>Fx2wB@&m}iTH?4**<2y^nks68B)C$fWv6F^R>ZgD5)03svUJe76`@$4`-M6p! z!V0KhLEnGjd@{{sHHvfPwIb4}F(I(qW#B~unxiZaC8C5LTP#x(hNvai)K{hRW?*z)~5h@AV zLa_Wr^_W>P*>^W~rDF~0usz<&jCdzv^Hd|Q_lg+hR1-p1IWLcEORV~>{O*t=Rx#+K zlfy9v@NmzH?d@Jv&4mAEZw|Qt|Kil9DY!%}>g-z&8ay2on|jQzlAA56gmBG7^sV&w zx-)ji8HdTw!d2JKOPWejcXg!3A7svFZKiA5E$IjtCl3JC|ZZCiDGNK zg+v}bA7*0~5;hK31UUKmDOIQ^P`?K)Nw@y-&0_}@=9!t+nrgDFWH4fObeKxTq14@z zq%5z=^Y9p8f(&F7mg$RmF$s};^s?H0L}t})cDKsqMd`E?Fzr~BnjG(b2Zl?B>Yhx_ zk*A@}_BJbHCkfZ%#YreL7Fie}wO4c`;WR^Cn^&1(?wA ziD-McdFwpo8YpS{ty;-RiRyXtqG=`Me$;Ti^X)!)MnFgLxRq)bgiV}=qOcyqHaqs0 zozpy-Ma@FIjdJIiLv(`0qJwj+yX`B=X+6rGjdzcmnfl&ky^4Fx=e(FiFwifYUAb-6 zI3C*zb7>>fPq4b?a&UE$!{hhNq5Wu0K?9L;eLqZcE2$lSc*WIq>z z#``=GV6i7B^OgnJ92^}msUV!E>^J%a$)x-IhZDiRiyKoyAS$_UU>=4v{AHNus=2hg zj-khf-a$vBo^l-NO72rFk%0%i9(#F9+g{sgc7(Dg5zym`Ok|4N`$=^LN<$j;guZtc zlVm&^Mrw=rl-;IY1>pWP){o2)?F@Jg-@8HawwBM<9ZM^0%xdJZv<_e1^=CVfP|%E* zb>H2n2OIi2mk|lMuTPhlhG6n6-}n!Sf)pI}S*TMxAE$T-De41O51g0UDkj$RTqa-g zYf5|FNvre)z<{=oRn&NBVFF?30p+m6C$7yTSPH--?F6}e z)s*#kUQYPUK0$XRcTgVE2=TG-gJCdLK#9$n544z$IWDhQO@abWZbvtptj&tgGUkCu z0=)(f?B18jgLAKAtmtGe-;Gv!b#(zLcnCG^-euB~_@`;byEd)!bsKND-J1dt{dAV| zmuEU*A?|tnuy;JVZGUJ{sK;Yh+HXe94<_gyNjddLEu8}>rv2|cAJbLIOIxg=U|?tG zC}ePW;aga_(PUMAE`ee5Q*^a;GH0%Bnpij8meL0Vi0GVDP+Vg(QLi%DWQc$m>>B!T z@P0;i-K!xvVcxO+Y9CXFYl4hzXjUVYYB>fHMx!(8XBK>JPh-|Hxnf%uZ+R5toD!1Z zfR>!Qe1`6j)qsB{uD_1=I@+NoLk4)AYfLfFM z7lHu(LdkZy{C@hOGk2x0u1&C2@aYuRX%^BL7V4=k9EsMdwGbq>i_IP^^DnoH#t}#6 zk&iJxrezgHDM!wLmzS*Q&Q|uK*08Z`KK4I^fC|EIcD#|Oap>&^V>Ejw2Aw=!{xbYN z^DMxA0JF8Xy)VT&z>5UNoTzZ&>SD#nFpYv9CJfG&F;S*=#0~v^84Y@PYTyys2#0ZA z+xS_P=<*vjCmpYrBEZ{Ke+qS~d`E(N#>eMo@p`HA6(lHL+OO7q1>rkFhC9Yt{Rq<- zCiE>|cv-aZUMtJz`ZG#sL@SE`KI71WNc*sC)J%FW| zQ^@^vF-8Ep7GOp_vC)Vu*vvgt6$?i+t3AUQlfxDA*{rwnM1})e9N~?(rc=pTF=&Sn zV5z~JWUnJ9uilr5ZfmgFe(J;$ps$;3B-YnHy0y)r@l-}ONhz#q*eq_lP=-JpgQOHCN_|p z`d0SxXO8y`SXt#)pKsziA4l&AeFo3Yp%FBcMq`T%qhkmEf^^>qXRuEA6w`vC=m=6Q305r{wZWwFt+j%|)kL93 zSF_zIdsgL7a5Uc#(0w;;MQF266MPRHulmGp^COQB+Ijq7KyF`c5oAMX99P?f{zQ7htkL9VgtZb5;l~&(^`t zoC(!Z@MsIq5b^gEU&2?maCwHUeYav!c&S<_A4Q(6ElUcqzppz9kaEwK0`3esgQz$f?hJ8wniIkDl*NxL+73WLP!!tFM za|{Kan=8<6WJB7!0|#k`^*=1`)Ju`ZN~&(}ssGUt=MV>JPL-gHAtz-k(y2I4Y`R^0 zK`0$*es(;NY~WbBc#!Ztr_)XQmD{no2k6@R=yI-G;cWG^-3i6gAx?%elG%z^nQm4S#=qw$jbnw%>yyNQ%L?O7HzRorI1Z5pMu34`nc5)$p-+kwrI&1eqAEs8be zQ(Ks%Y(?1Xyt#Hhaei!nHm>KbV$lKI=(%1|4JfIGg0lI~nFiY0-cPKZ4^#(e?>yVi ztd?;d)?AF@ls0qe*2_|pdonVASr5%EQhAE&69t<0{)DQ1DK{mwd21v)kMq#n`6e_E zGeCP;FAIJ-iC{IW)fwzKy#HI(ac+v~vh+@J;<(~$D3SZS*)oiHr?%gTL$U)a6uwh} zTirE^A46S6nv99)lmgW6>-K{jQH->ixKe9OQ{y!1!KL6{*eqyb6zcZENrbBe?I{gM z=Zid>aC)mHo0@2jpG$LYPZaCUV=UFPE(RmL-`Mpv08(hA*o$GDVVtP294I7$SzVHW z*e?p}1kDy5k98<8QGAxa^2??i@#!-u_%e4IfN%uqQ%N=q)jyMP7B+Sf2lsm?tFPe-Ip;?2zEWc_1e{b_i=#vLUF))#kEBcE1xd&e53hGuCagX zxV*Sey;4ng8Zrti2%YQ;)|$|tTbh?vdeAgJeXQ4MH&B%?3xyqVLSQW)9i<@^HhPXD zVhE*>maK^+k#i)G@m8|F>m($qd-p*)st%atkjYV0dM&Fy%W2j3rx>lFwBFE2flO$n zuQB1?XyV6?m&|q^*SN-l<>-ZuIEzIh`pK$XvRkm5cVYX0T$jG;oC% zGOjQ-pxOA`n2sA$+or=^L!d1%c;kx#67LS)G*O?GPn)Ml5(IPCtuJ}v61|AZqTZ|| zx_N$9#^ALz^lLSh{5w74r75;c1gTN2&j9DO4twPx6g~+znN65};nHea(Wn@AhPcs3 zKs%6;kcpL-^mG2zW_?lh0a0zrl9f4e$0T&4+d$D$uPxn|Tj;+<-3tC{d@d1L8~p{% z3kPzbLAq0O^Y4yJOJo-d&5c!wxBj(bM^030wpNv@VA@oC#}S(#>7{+6Xpr*#|i5nDUi?ARtL9)_ittjA$M#pf)pmLMMG&^Bx+P}EQNu{F8a|A{lE{FpCc7H zGWkA(qdHw)fy3wv>L}$K859O+Q6nGR5lM=y#+GK~7@PJRs;gM{Z-su{Muc7UBk4GK z216d@f6^SA%{4N6QLWzF1{wJNT`N2{ldmsh!nN-mP%mhO>@aYbCS#NqP^CctI;i|% zX|XR`uT`vZNYq{RbA_e5Cx{M&-*Ni4!v$^=0p)E?gB%N04ROYz6k0N&77onBeyh{< zuI@bU{hT*?Plce$o4eJc--5e?*vKx`l#sI6_urGsX}&WWVU zUtRLr!3AzFH*_IIc{IVquNqWFCvxEWy+e*fYm}m%BxC%0f(@{5f5hD2r&~JbU}I5` zTDg!cZ)U>&ubuvW`Mi&vve;$hbfeyenV7tjyJkpjDfGW>X7CzX_1shJs7Wcs{t@`p zx3?8+j&>PurW(jvz90U+01Kt8Sh4JnGme8pz0-h@1_Ac+0; zPoHfAbg6|z8zEGKBc*lsfT{r#vCl7FxC+~<@q?7FU#)%6Tw=ybL{)8u`f)*OHW2qW zkREybPjh><(2q3nHa<9dPyQBf;r{`&KufK>UzEVh*u2)=dI{2}}$?FOsHKdL`htAwj@>*taQG00b%| zn7Ky~&_;3XY)|iWYXC3Y_-{6>wJ9n3HtJSKqW;Pm%0w_gZ&Xe2JT5$-RWNdbc z=UM2W_SQb0Os!tZl`^S{J?L|I9L(B&<@)y#{2*9c!k>G7W4y2S5xiEKs>{`CIadY( z$J<>ZLy<3tG&n#_snyD*nr;FUo@G00@tOdJkA^ChipGFXeuHZQXAOaRP!DO0M{s<^}L5N))f)T`y1s+*uO zo^2edc|!Pb_zF>?D2XCRlkc+5=DCqt8h-N!y^azybh(r+sisal-8P=5iEZ9Z>qqwd zd^XxA!xwUkLp4@fV9LdOC12E?9;dzO7Wspea{%aSU9QzCifWk6pKSRg>rxsYN0tU8 z7|{mb02I{D?_$gV!wgNXmonKJFd0Y4Epartw!~oTfM4hFmw%IZ<&&EjPz%{&p`bc_ zZiho8xAkfD^sMkUdSQ;64piH|yK>n|sjR#FE}M-fp8X_2Vh*ttmXxce7pAAD9xoSE z4bUu0aRN(V#6}@H>x+|N=&G*iaKV9#9{?D|NuHt6eI0Erc81#dw|+y(>2iK)dh*fS z_<}Nc^6-GePSLO^11_tE23K!IQw^-q^VIqd4|N?}q)Cz{8Jc4mnxbASUk#Y1T#7G^ z-`P?k>M%3C4|rdhi3UQpl!jilUi7H%Za%aeF)>OHtNGANB?`0xG&H*Q@11 zAzzhERmU;Rz$r$QYz~LrF7k~J*e&M_81+JO@!qWk;0*SR47PeD8$-Pte?48P<(9`E z&&)5TY9@v=oIukwvq?i7c>5T-p=pYy83w%5a2zvn#_f*`?j7og_*i12Ph-;rhFr*H zOXZSk7@C1IoXzR+JEZ@gz4v~OR)$Zi#aAAPIm3;e8d#dta56{>9BIkOW15q(n{hM(9L0B@xKXo0&K7 zJ?A^$`3_Bhb@%Q3IYpHC>dx|$olISHOiT@WF|?G7Y%K1kt4)OWzdM3KPxRSFC3=NHhy=EHM-_2i@LkD6RRpv|a=p$Gy%vJ@nx5qa$9x&oGqNfWFfB&kgiolh~W%GqhzA7s+ z*iaOewR%27Ny2PnYz7>8j}fbmUVw$P-Kr#>e)H{0v?>o?!dL@^Xh^%ms2~N z@nXIqf+b$}{a~=)YA}ow1jU#*tHWipTJ4;H02K)D27v3xT&SIFG&Fwd#KftQu*+g3arEd1cmUZV1cpJV7`;EA*sdd= zUKkwqnNdA^1O3b<3ypGOdG7n~zk8Z!imGdHA`lFDXcU7r_3%)EKcpyNDK6#Wsa&nW ztBRtkiX>~H;Ypq}m~B=EeP~_pgwY~jtrz0+4{on-tQK0WVguq_LuapjcJ{=e+hRcA zoHQ6ZGP{Of-}I2&hVP<;pZck$*_NNX3;dplc^YFmO(tOM^W ziUvMJ2*C)_z?wOW#qD-kI0HohFX)|Sf~tzGN^CFQj2Juv0jJ+gyqUkCzbZu*+RaKf z7Ts8Ry0*Tymw_9C0-*}+@b?dopPw2Z?(k!Rok`TMo)RE>3bd?P3Q9K)hY2j+S{k$_XAs)7jcuxu`$$yWqX*1$Z{ z2*&i0@PA?!C+)%+?B|_E`U)@Ai_xu>#m{d=$iT#<5rzbw9GLZ*ra&5BOz-XO#LB#= z9mp!EN{7;dVmQIDoY`t~I_);Ii6XjS;=3f!Rag^q$@uExmUXB%JQQNO%kLYGQX~<~ zuEhTO(!$2(=2jYQ2{Md|jMLvYG=Bc{#6ZYxH!)zjJbpAV45JK%@=|sE4_`M&3(`Mb z?>D0ec5v7)&fG8d7KR`=O~aDd*xlYvlxzxV8@*_A+g%30nK*E#x&|oy0^h80oW)|~ zimiINm`&`bV~I@GxwaP^oCtC>PQJgUz}gF7EVX%WZYx$od>6+0Jr0m#MV?2ZirjA2 z%Gv$3op>Zx5G2y$a|eTVnm`~~mfC!)RTUB1>ghjm>g-^^VPlDRb16XdB@05MTyJtb z03^E?K6DNkf^iZ@39X*o-`NqGeWSKZHg~|yA}ZL>e(22ceACLXRZPyr>pttZzbya*k%U&S=GNEts=R0oheqsPA7>z7 z-2ph1v{7WR+t+Po+Gws+Dve4$n~KF_$&#qKr>=~Tjamo;u45Wq8l{ag7Rq35)GO6uCJ~P(^L08n7C3Q!G~lHF z-Ml$4EJYMrm3%rH*-Ye1Wr^TiJ#M?rL}8GsD3VZVG@Am-Ir~peO^gov-5ia*6Wswg zukCuHS<(bS2Cv~wzYoBCRcvM>JDV$OPuG&gdPRjG!eBH}s-o1|wdCUCLa~s`)-KG9 z^?J;}2RQDOFp8kG#o-EgOe>GKww{rFe#@xeW}&fnV#Rib_jcLcA89Z^qbU^9nz8-u z<*1=gFppg1oW39nsK&1_qcu$v#Wr8JaGZtZ3e85Xn2pEd@#wy6UfuSOO$RItjlDJ6 z{NqfO<#uIrb@BFt$4TCE-WLctSUqCYKYkTN(~{6C=aSLLdOTmQN)+n|xE(f*!XZ^r zWua1U)kM^6@0~g|IXdijg4y*hu(VFj5L>N!soHD_dd}&%U)JFQRTk^H$kz7C`r>*j zS1YTKMi~tlm|bO|np}LCFXVI6GiT3F_IoUh9>>1^d^)C%AQ)r!xcy#MTza~th}*-C zA+Oa!W1ZuEapr!pHycLKTwr|sRQlRdB2#}VDH?&217nlpVW)uv>+LHXR2`KE=^dfn zY?RWGt;NT)_ZK!ZiCAHIJvkk+83^)y(WAQ8Q}|S5_0D%+#Hh)h6PM2qxg917{P^Gs zC_x)6ZlAlbzV>Y4(Og0C->` z$LmxQ2*;446SXjk5|;4DiI4y0dPZ#J*Jaeikb%LG$zH#S!qGzxuKpxd4Wxf0NssMH z+1SdXhj+hyv>MMG8d9dxwVn9;d!Tz9V%P{GlpBJsDYFoS*;p^LvSgf$N+6=vSYP^?R*GN|oxB^!ACOZzP1O$ zCFoemltr=KtQOLdwZ( z+qZUTK=vEO5S&0z{f>^MZ30gYB<*5*YxlmsvoODxlpLdHPG7w;)*o~-7%a7l`&&=H zx%u_N-M{Rns*?Jv8>a{CM(QX<^bRRegAtP}JTiH%n)v)-Z0YtRr-3-Z25jit@%Ikq znc_z?`F7uKO~i_KDOXYJNk-#wX+q$S(P`7@U;43G49C>$0Wh1mAuH(z}< zcjxm&zJe0?wW$G)dO2%)*t!e}#N-+nJ|TXxzV#%#c;|5+b$*Nu*)e@H{l%I4#oodY z45MwK@u_QnpMRJwEbQ(+{q}d0L%~46X9HP;qiOh>A~_vSkKgADg`X_^>q9=V9WP!U zw3*2F)UT=&mPv9wxwEtVc{kw09waiYe-0QNKIJC>M2m3$Ytfp7y zmV`EP>io>9$q}E0!J!7!cH%hPXw>VxB&x5W=e@x?Sd++C(mQv*zxl`Smv(FBGZ!!Y z`hzo*Lw*~}&;+WfR;SIX@^!VE_|x2@Cy&j&1HGJqHj^-PH2ws#Ybe2R&XK9{opkZm z>a&f3{(#r!Gj%qv<9D!wz(J{H5{ZRpmA;Yi$f%D-K>qFx=`h{9XRN;Q3m491)3cdE ze06Rq;2j^gEvSmrPHZklcD5zYOwY*40T0WNV3S1& zlcQ(o`agWSQYr1+S=oH_^~&gAuqWiOF${6!t`D|iyWQz>yZzz5@WVgc%@p=hxk@Ww zH{$;;v^f|;G=wl&T>enA;B*iOil9XAz~I=#M6U(MU{!24eNN70LjRxNKU!FRLWg?J z4ZB&A21UH@98XJJuI)SdA2hz^ZIv83Jw< z`0CfU=e~I8vG?`(j3mJjI`8~7SJtPj2BA1(b@_)U2Nw1pug=a61|1=f)r3KBL$K-& zPF0(^csv%VnFsuV9={1k4q(^!W-yA7W>5dv`A@IkkH+t;#FlRVX&~t83x}Lm1J#|& zuNxc)YFsvl)8p&u3qSf_cdChv{lewJfWt`rJUC(peCt^vS0#K?gF{0BD-B)} z{POG~S&PdX2-O{S3Pn(i3=a&BPn-x_a1DV>oHFIE@C7Tr%Y1e{M;8nd(`u z&15FJ;l>f_9Ph9!s8YKaS%^j>NqqcrXn5Gqk%v`x!M`IIPSU6|wQL(c3-IK`HZe(sNJM43C1bN&hq%Tk?L0fxA!acj|8}mDRF@Imbowj12 zwDoPaFHKW~N};&Dku};K1B$AFVEau5u8UwKYwsJMzE=8=x%3~tdHn3r0>+MV26krD z&5=iWb1;nHl)>VrSTk!x5lZ{^Dbh&f8UqfNrZBz8MdItZ-B?wq+efdSnVRf((y)d= zqNIQqp+TAq1P-(}lKI7EZfkEOlfgfuIC!veGnTvT|&>@aOGhEK{oF1-qMgC71r3hS_;_?`?wyp$v(V zILsHtM%_xXL%pG%kk@XdQ4Ek+na{u6_FP*+H+FK0t+0oZ@W06H`+=JL@;+Za-V!o=%j*b|XU&$9cc{ z)FOfl6>-cX0Y2n?>Lo3%1W+ednXA-~sd zp)pM7wy{{VmD?~IA1|cS>pPiZy)C;9opZe9m|wV##~-Arnp{gqR=)V3fBfT}y(Tw$ zSu_MV1#7NuECFPT;prSbnedD{G840@9lRQ z`kfrnP20bIB$`GVt?tn9_35RYfZ;IM%wE>z0Er+;FBF6kuvXyulePp_T+L7uadCX}UGK2^vjBt#wdTLLaqC(+fZ&Qv9#-V*A(qJV4u z2%o2Ow{Kb)bia}^SbD}TUOb=3$18ga^9%QaE~h_WoeA2EIC^N2I&^B_wNbRiJAC=l zI+Co!Ax#F%psv5ADUCul8`)KzJ@%0)rXG>f=Zpz>xZAJDY=nv$#TiR+D)<*I3`pmZtl9Y{%L4GMuM>=48LyvM=C}AVDy2=AOq?D)#rvHWnlEDpG6c9~&QC9h0 zm$I(sps9^wZ1d^u+qWO5o1QD5T>bR&sUeS*LUaYbgAt<`ZgTpZ-k=F5v+43)s@xdy z*p0-ig-t&&1fv+UXQam!i{)a8?0&Y^XVY^LZ|yf|iYQA>Ns*3s`+tf7zBA6S&Ym0B zuPS^cnY|fVS-N#+pl`@cQC>TR=^~0p9jXxwXAcZsnGPrOWr~17{qK)`7vKwd{bdkD z7tc|ITCEUUi?`Z{f1=;(vm0PNr~ay`e7j!U*+^!}Mq+TpZnhW+_<2~SQwoTjgPdVyy$0ejC(a*laVAoh1`6wA*~6R<2d6&9=U%L_xc6*WE1f@+3w8(MvGX^Rb$%~M<3}k!?j|%RfaW{ zFUPj-e)A~LTYM)khJ8*Gbxe`z>r8`GrIk-?&)xZUbvJ71yKwo#$~Xyub70*1aB+&1kzk9V-s0w$Rq# zfXC{fyQMtO2d_b>#XmT4_VTadd)4x@%0wXYro6Huo)x^>yh5&U&RaOxcNQnF>yc)zus?cav zGl_b&W#NJYK`Yncpy^Zzp_NM}_qHNUUJeG`Cx*Qy<~?ySUNKcxWIn$2?9u%@iIi+! z%m4r&07*naR9a)`?8pZnp6K&hf%o!i!4ixRw23zQaI8>iimCZ%Sznu+t8 z!{V9<*-a+06Xm};BDD=>*KWC7Gr5Kaf>yJ!v(IRts8z|QQhQr_jg}DVaZiqT9UR>W zY~Ls9t5^BR?dsmz{GXBPtF6iXXj7`9fdWOHR6)SGvq z@nZ~zQ3PWgUXRtytz^robg4aJ$06+(XYQ}r4kYpwkRN;Nqx5)24=~?5J_jQx#kq%1 zo|BvTWaf*9JCEnSWqVzAnivb&ffmzIBLcYxoHTjDFA2&5Wv50VzWMag+`{fokqq=Y zNUf2MWi6v;CeKVy54c!DtCX99pqXqeLlUn^`GAKb@{PiJrj%$CA9^^e2}p1Jz%)pc zWTBSc%_bu%V(RzU9UzmSDzd5y%|d!(Y4(fn7uSlYbLi@Cel;}`)<3?N&h#GpgXy_N z1Y>OB@u|!0|C~#_j8%FBu<-PDyN3e9SnZ&xLPmL(NPo4w_=5Cdm*_}p53tC~($1zCERK(pf! zcJ`8YdPRDE*kG`SPG7!JE|fEg+q;i%J~WYiPOI@m*v{gwXWtzNQDd}`^BVLxTE93* zkMeE49O z`)g0PP%0Li zav!T{_`5teeM)s^^v}p>1irn&5gIxD@vlEEmH%?{>EhF`sQ|~gxr;pxpa*8@M?`hd~NB;%{%j{TuD(tdIr30-Tmrd2kub+)nEVpU1lQ*tBL|TU{|Zz$b$#BZ!SbjbkFqpb019i zdd)QW2H*4Sf>g2HD(pUaviQwnu4p)MZu0DjA(xFM^_BXS%}a%ZX0ur<2|`npWEsfM zz1_8dGOEexusSUAUZGSdHe{8-e?jK{YOPzPDbz~E-SzEKy(u1nMZapKg)w_Z`#lbQ zvcm71Jcl4S=k6Om^U>Lb{Z#gDbY<@Q?}uC#v&GnBIZi*WOTFt<+v}`?c0C_ko_~1v z&g^QmDKTMRABxD$YI1d>BGeGVZJFsY%iED+u7;dCK{6!qgO)A&U&z3L$h71#WHK5k zAT{zs(+fT2Rw2y?&?;K@(i3iIrFQJrw4-$x{Eu# z(naC@JkHL8#3-w$XYA9DuV=Hx;_c|ud$)S~Z9O5&FxcbJBT4*+{#tho_4)**U2aHH znem4ygHTVUl8H>N0?B;6A?A3;l*=~W?=%|#h5q>o4!6I7kI;Nk_;My0-PuU-l4(5H zKM` zuYzl@9h+X+gV1KX#muterdTW0+p?1(bpFPn8~CAjcxZj=bpPu%-Fnr2daQns^Fvvi zfAI8;Gn@IH$QP@d3lHw}^oK$$)8oPQy5OVIen4GFUvJ-KBpnHNO{{INE!?_&>%r5# zwje6Caye5Fj8@iRv*0j>BC?_>xS`f+%c`c-8|7pcK{&HR7qA4m##he@K@eZB7P6UA zv&AFz7MNX_l*QXTU&y7>d+W>V(FWrmIeF&V`O_zR9Uw>XGHd(!9sM{vIENw$wQOW} zZ$DDOO~ccDgJW)%e7RQR#SyA1H*3{usUV4%k+zr&-Pr}de!+VwLknv_)yZPvjI6XH z)r(C*RmfkExxZ!ustc`RZ1d~?`9D|pQ>9Krx?>HzZ*I^vbosyhqk-c{8hS^;uD8Vf za1-YqzWVD=3Q{}ymuC;Z{K9JHtak2HuU(ICkJX|8Rasyfx68@R$KU_!@9wVFO{157 z`PqPfmoG|Lb3Fug&61VJG9M&##wvs*X^v*K6x&AE}bi2F(y~5)|y~f1!Zt zKodeZ8Jc*Z2YxslSH%`zPR1+wtWZ+h+sn%wU)rVG)oNyaX>GTl*m|Zv`Siw>vtzv> zpN#<`;oa<|2I}!;QAL1$_>WO&d;N3hJW0mv2%Y}mMl{*T=D%EjeD99g;j*yTCc`f7 z_$CUS=h)2@c6_;NPLOJZ&u$EQ%Jhu{Y%A4B$6k zc#c5cLlQ&{kg>qJ^>VE+&_icflMgMm`E;$$3lhZWr7166q^m>!%4eX0wi{{l&Vwd~C=mBNE@2A6813wxnEvdas*zUf?sD|bS2vx0FHWBrbWjw26v}n*DxTAS zG)-*PTICdMG8ue*BLkG%5w6tQkjhuGJHPwgS4}yQE!A6s!V%Alp1Y5wEvhh#QdCFX z5ENK9N)jqDCLnSDYWDA7LXv?X-z`2A6FiI{bV3)N14c8=8Hw*S4Qjj z(1D+!0yv>9Aq0UPs}X&WGlaEjp_trGR7*lpPHoKIvG99l8c8SO&z6?bMP*>>(kK7n zlk+nZA*Y2i(7JooanNM}G!jH`lEh!gQT#}gC9x2Tm2)|Rfj%+bI}miyVD`V}`GR1& z(QMahnyR{-7N5&%An+F1JvMbzE9he2Av zNW0*I)+p4PlH5V#f3d$t>umQJ#kqoKKKwXXs`76K@xzpzwfFcf2K;Bzj?y6koZ|e$ zr!QYFrjps4^O3uEXU!hJ({g&iWx|gYkn8MviquSOugre?{bmw!otnIQd3tihZ>3Pk z1jFrt0CjJ(l;7KnI?D-6wfF+V3`2Hc1WDwJ$w*5^QG1WWMA3Tvpngsa?nq%DK}3@H zW+j`l4tgc>kkP23%M!s0CB^#96 zW%t+(@3RvbV6u}G>zO!vxmv1h?0>$$a`&;@67~UUekV&Dj|4v7PdW%fJztcYb(ha# zaX8&h%w`XO_OD{aX~g17OC_PXo2d;tjb^H&nGTL=7PIAIk!M^Mo7K*CIr)bjI^bwD zD&=yn2&tOeZFW0NWJguz5MojhzgcR_{_*LHA6`E(+G8OhF=55|+*+Y1Di~+?h5{a^ znM68!cBiC7Y*k~?d>bO&L9f-sfEHvwGR@oBZrk~Ex>_nzq{HjB*er(Ej9h;>vLu!A zxk5IpDyo$;T3Gs3F-TQvR129@g|yi0E(e1nFO-RZUO(s#NWn7beW!Oegml*2OBYcg zO={L^wK{0l{QRT{4qT9AEMC!)c8Aw25NY(12NTWa(6$*IxHB<k$2e&A>98(mXZFU*`681ggQ?OJ9j(KkMM z=E8+AthF1<&y)UGDu#g>da10D{4VA%&tsURb-o)wQ+10;=HAt>0NIl^NnFE+1j?0^1XX?6b5E$=|UZ8sTR)LZunS7f=AskbYlub;J=4Fm}jI!QxS zFsI$wV`9pZQfvsKtUibD6{%f_uI_GZHA5E$D5KQ?HlkO~+wtaFp!q}_LajEd-DaT) z06_d8u+U_^UBUkR!d|XK_=enJuZ3j*ICQ`m(1dz1x4-gm8{*vkoYiO~0rK|Z{(#>H zuowWWy)Naesd6>7y|lDEznN^bK|9#aVUSqf*-Ni%w%TGO7qx@r$$_K>K~lXF(^E5N z{8rX@ESVm_9Y9YaeD3n4My*i(a$$Ml>jwez`&)OPtR+>??U@-Td=A4gSWzc} zgOp0Kkd0=Ws%3Qi{KXGGn(DC|Ah{j(7))w9-(1S`^;Cs#2%3$2{t*JHmufLF`)IR) z+AgyI>-uS}22@2BE5&@Xp^~)IX}54JsHc5Rq^ycktGKWw8<%(iL3lW|hHP)X#eaND7paD%%T>78cg>t+v?BrmF~sRH7^C z{RnSsZLO_4^$@ZT$=E+?^YoD#v*&1=A45Qr#~vj>-Eabl_!gjEDtAp ztenA31AO~ED8xL^5#khX3XGo|o^TEYY$S^m*CD8cI(&9_$YZf0D)3&rTMYZ z=NqN?)2DlRk-KQ(OeO|>H(kS52O=wCty*rjAe?e|+-56B!0;jNaCc2tMX^=f-q=}Q z%QppX%YT_g$}YWLl7ZGpCF_hbIWnfu?sKw%ju z)_c1t2AY0!HSB*jF;K9!pd@V%kDk7GwY0Zb{A#rreYU)Fd8#kq0C3q+m)4g+S!|bL zThZuzUK%g^BM3?OF;sVZQapg4g;N;4B(-`cO)KI^p)x>*xwJOi$(hiZ#$mM zSHylB^HQD;5THx>Vs5v>4Y%LB;8QoS#u!I%bn3VNDY;j!{OMtKX?`Pdb$YblNxsz! z1ce8(+)QVsYK0gx8!QG8vFn}8G*E)5$O5m*I-l&&VXD+Dqzkbf(KaC-d1HE&tiTH* z3==*J=dc*@7d*I^MyD!mvAnyv^7OmeXhj>j*gG-atG97~=~k6?t6t1T^Q4OvMfHeg z4l1PT;fOwgUmBFIKVQ%9uPxmDYccGR`?W{#_Eys68HWOESon|xjHUe6js(=!KcoOjsGfs{K z1*=FW2GL+hmfNz}R&@!J?gQzVBDQO#e59Zdu&V>lbO0O#f+SHDK#jNhhTRcCS%-h@ z?3G$#t(3X>DEV}2dpcR1@|h@5hWgq`bnszF^?WL^H6ePJH`#Yjr=q7Rg?o><^j@&yUj-iLY0;V}%w$oN9NANq+*f2?)jT&8jGq zxG8Am0K)a!SE~s1N@{)n@ss(@HfldJIy4^ka2-nSi>ax}t#U0B$sx9&t|9mepHBb& zbg5TRy!;w~MpmU-bYEzPVcIw1Xufszf4v~MtRrEhd*6f+Q;Q}ris){W! zpU9SrJE(1pVL1Xp0TDx&W9x+02Qa)SDuQs}7#&XiYKkn^3)xaSsYu4*P-rCV(qFBn zsWcKE9UpSp@9pLH*P{8Ek#G<9Jd6ahOK4X16NR*lPPID?vVZja>O{YQlPM_%f(|;& zM$Q1i-A;|q<1t-KU#L~nn~xtY%&oVu(5bPZ;XW@1grg3vQgW+OOYLSgqgzscApHUY zZB5ox63BUhMfn$J?yuJL-B;xsE|>U z(lDGbn(Z!&2ckVEC;NO(4oD5W=|E8apr|r|p*}n3G#d_@9s>y-j50Y~6tPyS)$`#~ z=lv7CW(u&mH4SLdL4>L2;&1&Z&3ZTv@bfxr9|qwr4E9hsfQ^0#>j0s&QYpG#t@A;z zWz=pm0&X?fkrYj7RC3KiS{5)I6ajadtm?g+LAWQYgnejqDrnbiL6;f8;P3yD>YBS4 z#u!+a$ucp>O`aX=aa-x5a>lRT98egQg<`6S1`~KB-9|u?tdUlG|GB^Ml18)L${gN^ zI%-o2DCiOus4Xh$D_%Ja#2y^|Gavqgr}sihkd%X#z?vqPwl@=V^VPxe@c0RDXF=>d zI1IxbfpEyf0{+-ry*U_yNRsBv&LHP;g+t>bK^w;qZ;}=3?kujTW=GQHYy| zM*K4)4igQeZ^6)ISypiCK>rEPe;IT5ofaL}?N;A|O$N*!;L1MtU{p!s3z_&{K`DJWwJefF6RAx*t*6Y-O)kPrl67=k3g zha-xzENcoPNpicz^D=~D1Y@8`98s&q%*NvUMkGpl-BTZ4o;umz5jXC*7`h&xsK|&t zG;sCrJSMlx3dCs-Jz5~;qR5g8!ICO~-S`J}IS7SP?&**J-Z6BxDgyF=4*IDu0#_o> zV$t2Ibu19<^_xJ4!0s^^iF4jyz^_l0pJ9F1Fbp%8%nq}AOf#K4H4q5e-lYQmZ4HLe zj>so0D`GhnsZ=wVy`MF))Io*yp+V`hjv+BU(fyj_h@!~Na;{L!wIHo0;Oy~ONq};J zUy?sD2%{?#AjQO zMF~@UbYXur1jC(LXtj z4!ecM56>=r83zj{q>7p-0$=YJXYQ}r^r*C1O+_Q=a;*&`s)8INcBp5lG?=ooPRQ?f z+APe^SJSSyu9w=?Ts*R~7_FGX6Xz~nn;!65K^OPVV2(W;(1BEvKy7B)WCX$s0DkCj zO7uztl(ulLf%Df+j17Bf9EDXytY?z(z_7_AO?`%Jro&t zav_>3R4Rq+PO{!Mj++Dh)^6u4u>AsfDpyX{AuVV%8W{#rRX}jj5JXYi<=9RnSr90j zCp=`ebM!I%r62noJNZMtl1XmPZ#Fdh(1p?KSEqVCX5b0E;bL7BN0Zt@C6y?*a-spm zXSzC-o}ExCndtuZ>Rwg#j9P+Dz#ay&7u9?|8QD%2+la~L3iMknpcNHZ!}Q9=c9U;5 zMVO>$1CaVdQO@SDyR2BUQmd7!b-tz)OB=Im(a3%ShS;&w6Qd`?Olg1p``fc~(FQ#* zbM?cEGZR4z1N>#(*=h^5d}KEn%hWZB4GuVc4pT?Gxa;lcri$%$qh1m*(F8VAJ=A=; zun#!AtRpn+2n}`r=AfCika}!etCq57&Yise;jod!bwSZX&+hGNEj2|F>$%w8ZY0sb zCa+$(a^u2~n>BV+1>XE7RjFCbSIWC}Y)V1#ZlMo&3$1D~wY$8PF4vKu&%v<_$i=A& zsBzfajwUj7g)sX2d%bRRw{dvq8%H1|pIn{> zT`W3k^YHObp#DD$L#!so%F!4KGKl)bf;AY!0BgxeV4?9d6Vs=|90TNmAV_G|ijmEo zbV0z)j{Y&L&D8xgv~E*To`(pAVL;5(eK?vVw2R4DK9i6j)#v6sR^x#fKEyZbnf*w; zR5H>br^P^%C}4f7DooLhLNd9#ldPzWBiQG6n!3FM;h&J=LotGK2g6oJVY{3wSE~)a zjTNK&8&8+_qj|;7SVyl;4}~}(vhno$*=O4grf2%%rytKu_B$B8%bSkBDa~3TzPXVt z))j-p>IrZT3x&alRv%4O+x2FnS&?xELF-P)53=M44#TF<=u~KQ>Nz3=MA0-gyJA>b zA_|^MBjcw>?Vw)h)hdMd&Z5zSF0r1^>~F6|a+Gi6;>`84BLSxY>v#$8@p7F;qx!!p zlF&$QM~dl!)jeae7(p|>9}Z2wUlKz=`NJ!$UL6jT1fi5p=(9`d^IL;LcWB*)GsVdIli5cLs|EbzwaE{!j0fyM zo8)aA9t6PvoCdTt^sr|YEg;kp0-(KHYUCS|!pklI-6h%_+s*Cxi$Edq<_1xa(;^Xfh zL>iunnM+qD2K^R8r>gO-P9wGJwe(s(6DgotOOh4Pd|lI&cC(yWTb!SNwgK5feS`gd zZkEP0wOvldqibuMkyN_SfDE=EWxUQX9$m#o(_}su+umN=EozqF;NW1d+eG3PPq?SA z-}Y=i8;Nah>_L{==EA~SY(J;syjD}hR=Y%}S03G4%ktLIGZ%h!d3vnJp{thwez)8x z=3~pNn~_u`RpceD31bAyQaIfyD|mhzD&X<93M$9Yb{j|0FUUu)+KZIafjow;M+>SR zx<7t*b$2kMWwBLFFD=}ieY#deZ8ttTdue9COan3OHyy11p(?FXtdv>Hm7p5mlvJ43 zk%2bosJ;C7(Of~H-Gd`TJq`|N;mYk=DY?G2wZ0e4l$wHCQxVw6vJ{5sfC7qPq=D3m zFyHRbWjiUn*Ac0K9!fJG-GG6d z50r#_ePuvfP0%ha6e-pM#T|;fySqCjSaEjm?ot=3eDO#e1<;92s{8~?2bLR%?ZqXSp-8@GHy6rpex;ZW`ZWr96pktw^ z-$-Jx%;Fn0RiG7+L=g9F^ldDvhfZn2s@4ynU?YxVU)d*Prv(Nr^}ac{vuFpd>I+kl z9_w`+8q`Z9QG)>*yPowj>O

}oHpF7-0?-h_2r3;){ukv0ZJOoi%g-*w;0npNkg zy<~ncnv2cVz!ddSnuKT_sYi$yK2miH_Q7Z_ zt;0=GU^U>&LCwkw)@Ol&Y9)%0sUNGJ+kITm?gHC}D_&a5fbh^PDV(;82yuw3kU>SkszP>F(Mz>Xt z;~>PqUO_9?JRq<6^Qw9m?P=%VQeuX$a87nJUehJ-0lDEx{$J?oyJT0T>Y87fa42X4uMR&-Dv#eKNjwVl(e+ z9)M=+k3N4d>dNM@ml3!l<9a+BFwo@3mFmYYwtly+)_o>xPsb zrzD3x_q+Iqkx)?E+I+Tu?E?!ND<}SWGc6o^$hooS-NNzN+tP?4tK*IEGpY?Yfgb!U z<|#=!pV3;z(tPvNj60Z&tv8I2LOsRD(d*`7^cM8SN3Au9_wxwidJ(M5q!5VxgAeW9 z<&3i+iL%f$*WeE#2pR9~xe*zw3NE2@4ducJ7Z5acC|;nKI$>q(2*G|DLFs|LL!ICi zYGWY>MJHCCJ!0a$0iGMwe&?e+<%<}zRl53xz)L20-42$;A>1;wQ7+!TyxxfVy z@lKkP7R-5fzIt+oonU*GDEovyJ2@{17 zEqG*0#rQ_AbrRz%>hD#TvnYFcpD0NG}Y=CWU-WUs)v6oBW>`4XsHXPt;UGJCu&v8N*Xtv(WNXWy=M9T3XXvZms@)%#cI0Bb&{ixz}ptJ={8$f_%D{ z{uVZvXO&xj+I~H+Vrq4IyP9v|9v-n4LOoG+FvR_h7Tk7wyb#=-(x{fN$9|{i@A`0v zU;(d(4d2j66ca?AgyB7~;?}`>$mw)2GSa7fn>E@l63}IMij2|;D?8yB?KB}(^R71X zROr5*;CRW6&C>xM3x2TVWC7u>%`g5hYId{F%_GbHDN4jz>`dlCZOOfppwCS!33yqK zjlixQRtwf*U!;v$>5qdKqKPrlyD(hM%Lh5#OE-0lrap!`U8s9h%t<-p$yp!iz=7C1 zl{rh3sMQE1b%`o{hk>B-J4|ct(uI}wYceTz4CUUg zyuz~}#fM&vwKZYhz>Xj|Pn5Fm%iFC{qH!js5$3{$bMrL+UsGC^cN0vDmaM;E&>x`I zM0&3CLzN(oPfA^}0v%7ps$p&=gV6w{%l#+sAt*@5+X8_$lj7|IYIl{GIuTto$|3C+ z#IFtO+XHE_7zHmUjbr}WtJhTxiOObVngtAX7YTccuGLNKPkV3f$Ok!1LaZ(yf*fb9 z>S=GZC@NW_%>Sws$56vKqStz$FQA~dW(@{fi*hTv$uK(8*F##bQ_gm|w6WPre!!6> zz3epSP{;|r4fI)rKIx%Isbtplo$PZ{Ij2QOQ``E=FD+C&nmgt!#c)cp=g)FBjE5p1 zCXxqCc0GAT@v(~8X}hF>yxq;UwOxjk+$p9mUKUd-*9kqB0Qn}pwQGP z3Z^20(0lK;r#+c=Wf3{vl;|XaPej?Txo?*<$oUX^*g(4X-B%xN*wCGlVUp*^i+$vi zIEglnam!1LYxIY9zPd=NxXL=inH=YZrzyX-!ms%^Ro#q?2+~zXD@BW9E9w~-_%`W& zMhUzKSD&(gmc!#jCCQ-**GSR{6@HQCebiRrhLJJ}wFNyvQuQK??E}t|M&Fkpj#e$& zovFV)wzpoq7=4BWO@!%2D`>}KM?_7W!F<&hOvcxIyz$J^bJ;78S9b$Y*ow>Lg0zx= z;G;j+G5l(pSUQQESf<@(Rln3(<^{N9inK_ctFX2dqM(QYkzjlY4`n~+-RGT>3(=wq zpZuTi;lx8##*gboZa^|MRNR1ElEc76=n|XD0Y-f;VnCr}BAFBO(K>}BYn28WBxn8F zd`2PwP`AssU^d|QH}3!F9M|WS3&V*aDs1{Qz)IS3y<0lvxAHBp?V(G!=urT>C4LNi z#JJeaBQu)#Yl?&tH9uRUyR&(i zAbqY>lZulr#Z10|hCEfB9?8#UrS%OTtM_>tpHd(FCkuSD?&9$v<}&S6 zFoSHO?h~?d4rotxc81&S_PAuK=#faON#CwcQRJ}fDb13uSFJF6<2*N=)_fKjwK)^f&$P3`*1h08&1ZfC=Fnkf~71LatzRI)08q(~rfo1G2o6E8Rs6&N^~03`El zY7kpw$GIbV?9p6oj`!%(YD1~8^)@@y8aGk9?Kb2gIk2KBD=$7(K~&L34%hRsVt&D0 z*w(7yb!PbTh9L4T7@xZx!&Fm0t<~*rw`m9EMoH1v73f^O#_TjACjP}TbOR`bL(A?= zeh{k~a@-U*5n_PpX>cs$v~K{Q-yPa{zjNW)LL5gf%f`^j>G9duu|rHt=IeWR;XZHEK!f7t7GGr-h2s*az=1f5%y zdl8glKG*N4)MKC|&4sRFJ-CqgAuTTUMxWrA>)4jN*RZpkXzaPU3Pb&f9Fx$mDdV(c zojOHp{)btq{aWT)i}a}W0h^Lf@~4L%CCV5>6s+xxBwcUry2aJ{a8JKen{L#rJ z=)KbSyIosk+8<>PH}M4g$iL$vSY3?-&?n8}3?_DZ`h3(GN~Tmx z_juBysi~eQPLeZkj-$6qHfc;POt3n4I$y_w zG&Ok<>Y#NRu32&E;w&oG+b1;lzy61VJNR7{^&Sva+G+i~?(c7DDnEDUfk~?k8DDrR z`43zii3&j44ew8!B#je4;qtg4am%2)yqrEe$AB&M%W&k=TcVdq{174F z#_91Rh7e7|hj0r9Q(ehVf4Yc};+0a?syGZSzm#<-hVG&syA#%Gc-x$9x|K7!}3o zK>{>$>7oAPdrk{PR$)yh8@Qs*L2LrR-u&jLposoOV9C9Dh$ZgUujRnvpd#cnuxkl1 za`TtcsaMlOyTt7omQik3K7qmnt>%^PS}9nNSstq_k6y>?fcvUq{h68Ts->1Zsxr^% zQH}zRR+UQQi17Yz^^Ap@dJjF26GpP&!B__(y)Tzs8HCtb25SglgU_^~B zL&-wkOpuSu@wF(YW$9=S=WN)g`8%pX{0CKIMr72_@y;IJK~a%g=b#54K|{2@M3wmm z3HDm6Z(j5@b;+y4G^>FDYduR$mY;^-g}qAx?Csk7y)^qj-c&mu9PgkD@d@Kf9NIid zkY=4+dy)Abxxd-v_wcZ#d<5A&OWn)Yy3}xG zRcdjG(_HURT0sYeg2#6n+3z#SmSYaYt zW&++8yPtP+eXGcD%rH(0d(XFrXyk3#S7u<(4fyJ*t4Jg~fS8ELhgCHqz{ z@3Q^&){-K2jPnY&w3?HhXGtdUxcQyQR<|&(M}*hzZ*$&S9_0<++GzkC;zTwrzyDTS zrk*^TSClfw52$`!kJ~?y>K$!lDF+&vn7Q5h332&(wg_7`KNCMQ=!Tk=$Vk1Na|d%y)^+n^i+&%2eXV)7Q6Ml){e9qqkB|F<_Yfuce1n8f|UK;hA8wt#~K|M3i~ zw-8}PK9a8|DZlvo|&gW(F^_i^ZfcT6iGd17Ftn|RMTwf zh~d-mL|4eI?wggf7+(ByQK67*l%74;OkH>yPlpP}h+|7YMcnOqcgYn=8Q&;>CR05q zyS-UfFr|szraF^2OYsIobB;o1vyx)RUm+e)t8S=9Y>65rY+dnXF`G5#E$t88A2T$%PDJkg#IdJi0 zb3n}9cU3IQe_4E+b>Ga|jzw=x@uiwu`1oJK3}1FzXZX)2!h{=L=?+q8jn`V0C^=1Q zt$Whio|iVYM4!*wGF|%F=&l9#*_`+MDU0so)&1Xcq*0@8Jp`WBbN~EX^fs70ErJvdFLt)ias}yQI5yy9 zN%h9CCWIj_YaDVDi%lV=5$5O9DVq$t9bxpWQ)OFZjL)^37yS{%TIv~*JDcge0z0Ru zL$|Ptz{=DT>yeR=#+{iRtxYKM{qdpRHB|Q?7)G;AOF3=qI?#x{o*(}Av%e+NHARO2W0~kdXiFuv^b%l zk&>a_qvUSdp0J!~@#X8T>_OtUwTtjl(C_aunJhLSFZ)*`rQas+I`p0%;e}W+2=V8+ zvR7RWHY7usZt*4nGsl-jIldPQBjE9eHt(ku`l2o3s+!XJurX=v^?XfwyWzFxm7)?e zy2ZQf&CQ!fFI{@$DpC>@nrg9xRHM{l92i+$yEPGDwrgA&7o7t);AYwszG%qbAp2oy(9; zR7`Z3n5cBoUFp_}%w}SNc0>uFECwOJdX56v9MjB;pl*{iXPz?4mf>+}Ouj&Zaf0jo zHg$iWLMcNwiRpKzpI1K@vRMFYKNmM4g4%W!$^CXx={|RKIZjQY$HV_Ao~PNIhI6$b@@)sHiuL^m=4S1Cy2OD1hsL=%N zGFFZqILQM^&5JUeqQ2vHusfTRs!zS%&pja-eji_wc5h0zeRCgTt0&fnyh1^&R&p^c zM%(UA4}KU*@iq!dt4PPayXi4aHh=YUH)$j_h$9q=YnRQWvZ5Z5y-l(-?x!2ndK3?n zpTZhKDwO<$WpzdZ&MCcl&PUM6J`QjC*)vvICmq&_S)}u^=1 zx93Z97;Dj5g|41#4E3{^9xxpY?;WjK{vg%`JPE1urAHj@3_mWP2(QrND2yq85UrhZ z4qFn&hrt>d5XylCDK9GXkNHz{T#SzQd#rVBUP2u9;Jt&Kv~eG(FpHZK%|k4tv@P`9 ze81x=xjyKKI_FJDvIvYhp;*;{hZn_I>kmnYfX$%IMTG%Q+$-;A;76Y|x(*zF)g=`Qk-}DyPaO(yr{k{!Ou8LY2QgxVbS0(!x{JHNcbKN55c1-f$%%YfnZ);r$2~V#s5?{3?j&_d3!D~FiB&Xg z3K`%RBfbUTVlZnEgxt(vkUe?@M|3X%6O=Vhk8i%lrBjbwaP*lZ_k3oo?^EQe8R9Oi z$9`dqMvXOiUf8L5acWL-F4CVPhVQvfUM%*=7biw9l|0&?Tzr>Q$n_E3ehr{Egj{v? z0(+4=g=T##7`a5fWblQIC{Sjf?d(gEJ%~_dc=e?#r_up0yaPF9HRm|i z^Ow?Ewyv9m6#c{Srwz(nLST@A$o~z0Mjep4YG0Bx!q08* z=i)GgqNJps-ojzK7IZgo`1^+*BvTnQy4LLbayS#h^(7s}JCoQ;cXo)FueoY?^dY2MNboz6PB;!DhCpNZ3rHv4_ya=dR^eP3O?CR~oyTcmv&b%h;8Lx#~i$$TV;WLVaPS zzqg>G_v52)L{zB?8fbaiv-=>X8M3F*EIYlS6cycbwx?Eup1fJ0<#(5<(X5bdxVSIJI8gRY_31iuV!_mf z)FUe$=eOywy`o+*;zo7yTo>ag4e|K)iCWV23ki^!D9q>%~XI@_+ zJapa%`v&w5!t?iaU)czBhwdtUZ=2s<5AZSZADZ30^;?qH7HNd@Eh8u`;_$6??KlZ; zS7c1ulz(o>@z zo;PosWrO0od?_5>u2+(TK_fmcFH)1T9T<04H#^a7T`h-U!mW zYMzSP1slkxjuK*$icixuc!ec+RB{f-cE!2%gC#R*%)&2oYYgVRV-Iofgr&Khbu-4& zS@Wlg3HmYB?YK&l#F)U&M~mRMi-Qqx=+l;qps%1(2z4oH63cMlkGZp?<8P-AQ@{1g zqJ%zCAgP09J42JF2H-5t=gQ8$Uoa=^0j=ANz#;E|?9cNB!p6xi-H7dO+aI z8d&%&UVUkbrWs2O`Gt{?u==*g!^P;GP@DCansCbi?)uA}P-UlvPNpUJI*RnGW#9bx zl$a<;Mg8OuG|=1DRN`a91nlT3npDuA?ep<*nVX`QdhYsDUl(>#ef*<~pB#lrlS4IY zudjx0ED)7s;rnKf*pzb9`sq$~pe?W-1EXG3H(H96X<7UK`T~FegSNwK5Z{-|xl^Wt zIP_KDN@`LHeJB1e4a#uW_YO^r)Nu4Nt*wC*J+2ii<&8>hJ4#fhiOEZTd+hRN%#WfZ zMXJPS{p2h`t{%TvRpNDRb`F)2kU~~|o1)L{8CO{ zTIl&)?Om&~(pP<01c~lc@-Kb`xhkUbH?cgyt;10uJo;`3w5ia}JaA#2I)yXo!Wrj? ziH@+OhgMKLyedI93>;P=)f2wOW|9kEqHb?)I8!1yDt}<&2sd7idKbkJdF*YSOqdzN z<(0@pi*V}DavaA&iFYPvJVT4kw6RZ@?~lzFucLij&2T|g_CrJBEC?;Qi7_;G!^^L` zhJIHMSqKEOne#r^iY7@tu3J@QlcV0K;&xnR4?a{WihEZ;!uV0sN&GG1ql?>~7owzx zVD1BVOgCp!kN6EiUpq|gpjR20c-y|=lP?Tvj$vC{DQk-idRe*;{%?-4&llag`F52m$R6~9soK!E^ykWmV} zAH{3e4z50AdJkH)~| zF^YW>f1#l0>LM%pUZk(6ZZk9Jmc@dYX=TB!7Ggbeh}v(TcIJhW8*GiujqUKZbJRjd z&DfxhXqYB z^+*x6dvkRk8-rH!W$Z1uy=&-mq%msQQwi_)g?+9wlpUCSUk+YWe(mwrr|D<4U6mR7 zKQ7EXMPZCGgjHl%4c_W`Si2WmS=mkhQSINEor2C*kiqC4yY53e&|Km83{^(|^ExcE z)zVwFqta#X*xRu~d{0D&tQzTod$`QWy`>3S^L_spylfxoOKe>}TFK51(#eW>YDF_6 zDS{dfWI=}3;feDKN1x3u|Fzqk6^8Vdr4&M5&S@Mca>WxRPdGJZx)Mr7f~3vKmFA|? zs2HggCImC;4|Wboy}ic}-5f;%wX^x@o~j>9$-jBeH*Ed+390!X{iQ3^SKkR{&(&d* zD7-z!<|wZ)JutmuYa6;F zDzc4ue-d9!ESmLYT2?B?rSqR5bt~m)ZnXx?>u~s*lS=_wlhk;V91>0)15zGDb~i`F%&W4mQN)-x=wC~oGcVPD?1r{^6zM<{q<26DES;d}E1PkrU$(uX&n zS8TY?)L(yoTN+%+{v6bGu|XC)9$jwOo0+nk`5G8bYk20U--l-al>4o3Z;6u$rt4|6 z@%Q~k1t2HsF(*!(PIhnLKEB}tCTAYM7mwfa83=E+e47q2?H|bN8}3q02wRhwn~~zx zt|*Dx$0Ld(G<7j?dRN~cgE^CM22K(Hi~t%l>9Oz`XF456@uFzMyZ0LhCVs5-AXAR8 z?FphNlL;Qa3^oF0o*%h$#&&Ol*w_1ZPjO~`vvGVu^XQ?*maUHs#1P0^trt#J3*S*l zpknC~fzp&D<@PiLi^fW845bx36cz~AP}j0pT+>d zr0rr&dU<;AQ~Pt>$j+|-#!)#rTMhvZULW&mYBKfM6aj>J)*yit`UmU0agK#=Y?~K| zJ)jvtGAG9sZwz{aC3Re!NFaROrWRTmKMA44sF6XgK{j(Y!a*?M0g!XJ zPA`79vDhdKsR_bJ7nmW5w{r?j$yklkk#I*{Kj1HXp^o41fmjsj`T7g=;tBJ z_i4hVQI^Liu64>+@S`*fPq6Aob87p$vmnlCEi)T4w}K|R&oaHRd+~yzNa5`Q z7O+8^h^#CZqe&7VP&HE`;jBl!@a<_*tTMMo_Q5^3O5I-j)DmVf+2@s?sIdA``a~Zy z+jZ{FyVL$COYJ=sBwC@nS+#u3ip&<}++hAzAt{VGLSHrDRJmX*5UAwnv+pe+s#bn{ z8xG{ITM;wWHFkvn03+7GgNa}&DM>E@Ui(^MRv}_H+V@j};XHu}LX5Uu;Nu1V#I@&yPy3_%LHwSFmz_%+=5K6Fxp}yq z9HYJ2FjW~kg{Ix`b{U&hz!iQ)eiad2gllbPWcP031;MGv5WeqEUL0$E z<*FQ&X`fLG+mxlF(265C$%JX6?9scmHQ?2X-hKXuSVNp|Ftx(D0|v){mA?S zY|&3d8!_5E@m)k57{%7p*3st3czNz$RC1!X`OI#L1?P#UmrQa^4CGi*nC0G&{T>ZD zDYjfw85Nru>M8I>Pv%OYPbR$x%>E-hKed%4vFkLjpq`QYmJ7gF=SDI`GAjm2fhI+g zjEJt5MkfSn^6Y@iPJ>JO(V?fbwWJYf&>%fyW?y*soIDc%vX8kBMC7giRnragg`*g7 zYZl+apG-VKxvi(e2c_dP?dsQ9;8-C*;rG){rliDK?X z+CI|+&?Qa5(#lye%XQ;cn+sUzigSFvQ&vhMboQy@qaeF2W%EuRUd=TW?MP0 z+$5C^PTSW$pvy% zH1c;febgtL;{^WF3GlOu*o1T06T`V&A4816d7o=Zo3W5|%7x?DmW8w44VAY?dRi|Z zPtwl65Sv!S>tqgavbM(Jzy;P6q!`>q-DZvCA`B=C*k`OLDGJs*VZD^;51Gv-+n0}r zw+f{+(~He1!a#<(C5+|m+j8%Zr%~jxPSr^+OXrbsvFPc9It~t8<$;%x)D-C+w?&Iv zDI#B0yqc>yuKxa3d%+#?hm?n%iZU1AM~w+9l^3_`FP3bnRP_XN^3dV@(ox6o~u#uJ?I;AiF})x`zL;l7Cck*7T+w_8pCf zW2_PEsuy$({0fP$+>$dbr+2zHAGWQ`IH|dOb_0)sn)J)I*>zp;iat%Agso>q8(N0} zzbUTsYyRjHq*&C{lq57bJ3&<9&8d zN&3&5|OV}wy&U(6Ck$G!6t8{ zfV18W(Eb1(0@FR%0tGeezV&R~-LG7>0@vEFs?78O(Q;Nc?7F1{iQ?B`P(apTaXV#4 zHbcxMY*eqWDFc7l+)zz2h3c11;v1AENPrjz*w?8iUXV;(<)l)+6IbtGp_J~W_dlqw ziUYZSRp4?S4lH~vnLemnGx+6cvIeda)D4eMX3Pf}~PwEyua9$E4eB$}fyGU@#;p8G|*S7s>JoWjGB z+D%}Cc-NEuGQhGg;WCF4_jDvFek{}B@N(uaxog3crLHu_1%-xgLRjMM}gxz{%L^kiRx5HWU!GWhUJnfB7flghdoNA$oTFd1s5|W`O zPNCl(z4>Uv(*WxNGma&=(Hg93fS>Q$OBfn-?r6hOvt*Kk<*KGzGSC(I2wQa0eT!YN zh(3RDK|O!-nI#pMR7idHNc^9q>`1xg4$oPhI-OC zcBA@LD`{A!2Mqp77}WpCvz~eOQR)_`__PKvkeg`o|C?fldkF0}80qC0^V*}H>)yr1 zNv)EFNy(laq#jH`QEKIlLMw8pAJfD9l+edwf88lped*P%x~e($S@r#|L8P*#<{=6e zj8iOhCFT&7BApUw_`}KS8FJ?LLgWy+vO5J*d?%;6qJ_~3!BqmsYZ0g|4Ih{vKT$q= z2++El9=cJ3`i*zw)!CsUrJRU*mLHdvL_aUa+aFYXizVkz#UX%$k?u3eXCAWDj7%D= zrc(aN6g$i!b8-g9tg|VD*EtT|%`(nm&o}8PJ7`4b&Yc|4dBCn&j4RvLLc^^GCp$ZX zcU%kS*`m1=rVzEWwfK#hs|=Cv!qN@&GxXbK#Je^zSpc2UE%kV;@@04r#?WbEz_)|80u}7 z{Fi2U@-V5cFfFRvnNS?R39yo$^Lo3RwP3r%qJpzjqYPs`gYjeho?19P-ZZpbW{Sqt zI$Dh%>v$*Ap}ECVyRER`KyxPC2t|!_A$*BJ9mIVI#@_nmF(BF*Kf($FJ@6P@r`$n= zQWLyNGvscVvfxGc2w+J2&xPIees7+%IWY$rP4XCN42C=uw0uQ)>||O9g@~Y z2wk)+Wt_nxRA2?`j25g+REc!ck5k4E^KIZU5mNK?kdVA=TR0bvJAZ&w1?DOnxf2Ej zoKXO0hd8FKy=*pCQ|ha&=&nc4*BuSn+RLJ&J#lmZKIbQ11z&bEQyA2883=1o6h}r^ zMzcK>Pj>vPGk>;6k#kx}VZJ{MrjX|mv;~lD% z+EMFv;CjuH@~yN=WP+iBNsp;0epy%jv`~XJz_-k{no~i}d2UwHPq-gk7FA)P?Lg<+ zg%a-~`AF27Ekr~ilWv3;L7vC43FDeV5+y|jaXosBDELHfZ@=28yCE=PX{eIy=}HoM zb?+ro-*CB@A6Dja1a9?P8-(;omx1?n{K*fcLaFv|fyVw3O0TozmSGsjkX(ty&=6Iu zp=y*5c$a6KD|Kq>pzZ3TD`e<_E01fP@a7kt_Y`^th61OLw~r9HG-t>acQs`sWvFhd z6@HVEWnst<8(W!(B;ScY>u6T}em4&ky`6~Z8()h=w&2Y7r69$Vn&Nn_{jC9FI;pF4 zN!N-~G(|38YjIA-NQuY>s27IU(q9zJmv=nG|K0$2t~I2zp-|}XJDarwRtTOe71z)- zeF=D}?cvN2k8DUDp*+devE1LabdEaW9OenXY8aUR*YRo5qV3iAWRlple% z{`yP8O~YOJzS3xk<}=nvIEP+@FoW&Rs#N|@Pq9(Q*vLKH_`eE4IB@lAGc;HzO^e*0 zZaqvpIZz-gwp=Caj>?IcW~%El@9SOF%dlNaK(38;>E69374vC5IJIItqAxVOYP5|z6>)cun7BBldn4EQYlsWgBo+(mj95;(r8d4*=bFF3P_SDQ65rFhGWnct zevmZW+X=S0o8j`m5aYm3L{g|sf|9$l_jqwyATp9WnsW%HJGQ;nT#3U#mlBo%OT9xm z96?x+jt+Mr=N-8jE+!s9p-OoST#VU117;psCpjNevCAJrZdr*d#5rS(ELf5)vRzN8 zd>ZTh?MO<_-oY2=QWX%dtJ{@`lrBKD6wriyZr4L+Hhp*bI9?s=IY^Zm$7bfatC2C? z<_6`imz?Ia^ru8|XU`z`g5Sf0AJ4Lv-^G{|+N+gA0SBawz4RFiCT}{uv~2X+%rw|D zwdgCD7?^Py12@#w_b^l|19TPjZ8Y(l7U?V^puP}0cTZB7_WS07XwcCYa7G+tP9ztQ z)KVC-MJcOJS?wFpd}-4yv;-%570=&4BsA5D6jAMuh!`7ysc`4{3qwF~BJgT!$X|zv ziGdLyDd$l9NA$8at_Idc_viuq;7P@s>WYjZ%OCXd2$fE8SkZ{bC>2*Sp5yFe-&g;6 zk%+Hj=yeQ3Vtg)Git*n-#VPF8KW1nPTN_&=W*9(PW4k~5=lS;vm8d&EUb1p2gyO&k zZ<)sxXOy^2iL#zTIn@-u>iK0@D+9Ddi zRn5-_JfN=FuvRbfcu&m|^jk;j`}tJS$D}4DsG<5-A1#ZUD8p)1YnAvBR4w?ZFvhREF4vhpnWjI#@-wd=2#-*ys=nBv-(M`khtZ%{AJO6SLNe zCtGUNd;$Nty_U77MgUy)!NIw}I2s4+Z*;@7!JSKu62Xa*IR$2EAEQ~MS1~s6F@J~a za*~Txleb|QKw{`%LCEn_`C+~k`Wa>5u_b6~Kpjglp_#icjxgK`?*yPfcgduPuNUQ&FyuQf?4;>ybFfajU+AEb-g#=7j}wq3^Zy%o z|K$v;Y&Lhk*YZ?D#ZDgbrRqTb4Ev+i@df#9xs18KZ)G zK7_J3db<9pZ{t42=B1(J6*^ZM;Dky*Wy(zEhOKU_Av2Q-@tbhjTRiFANQk>JsEE7& zrSlkPM>CPKyZf}W(f@a&4?)7I54y_y?*eA^yX}+Z|NdMbfrAdof1dzu-2WpDP50|w6gzds$ngL9$AuML(f82quZmw~>#u=k;On6o4^W**o%21{ntq__e_CivzRevX-$PC z>Gr7zdQ4wwBB*eq$WMfc>^SDapD*@&Piux6vx?vlssBl=e+&G63TL8|yiktKWnn*p zZ5_=e1=zg`Dx~IuQo9}4(m!p(z#z5CN{DJWhA7AO1`|)iI3-G(Ec$|rSt7dXzcX2uQ!JO>0dvYoV{E=zSavxMvcwnOSW?=k4t6ap@_hrtSGF!MPm6kPdiw@;K$~gyikPhV$}v z?BFN)C7bxSU+Mo%+O2p0Iyz>HN0JpS%`;6g_Fe@s{x3ABFaBF3CI4+Kx<&C!+wjqn5W7X%_FhOjN%7(Bb^ z-?(PqeSDm4e>2mtQ3j?p$pWH|uG3r+wz`Z$q$`aIjXv9n;R|rGy4jN-e)jw%`)`Z{ zn83R32H+UQenMuSkpgQ~Oe;dQ6O&G^dc z@FBU74^sKB0bvMXp*jSifL)`>rZ8*2oZlKd+ZOq5)h21=C>26g8P?Y3?g*% z(-o}OJnnyI9U@ifU^BMx_C3`MP*`F`6}p9`i1}&oUtQZjzw01$RB1}@NS@Gwo~}=I z|2z>vWp{UW!wtoxl$~Jcn&gmORLwBcDV(*|x-2W98~wRqDYI?)e)2y};D`m?L=qAr zcPUJj@6~DTkqpnFcK()mA7Y(ckr5iW$&1xr)w1vU1Z$L|t4hcqyV+m{rb|omHhde( zAy#?qXnQ~xK0eY$vTdcTyOC(9)9}A53bt1_NDtR_1(*FqSc3oRn}?@RKyFz8liml5jpm zC=RJMp-8A`T^L!U1a!GSlPG9)2m1k6M4eupCb$wM{Nbu9;{-HoU*!<0C;8Biv7M%H zrCI~;a>}=C#fdaMf%i&>o3I#Miwv zlsP7oP6i3JDYB`}*d%zYiOgCIM2616sZP}o=60iMMli5wJ}(8AnYJuBUm4eWr-48; z%D`2JIPqEfnw&-4-I|=2s@61?S`x&I`p8**W{M3(W^n?c5i-SS!B#D_&De~?1{}f z4-1gw*pPBM>~MG)<1JI;XmCDyHLl4Wt!&yHn`8vD>J7Rd2J0Zzm%T5ZGL<(cCZ^ zh7X{5T;i1_-6!YdLj{tHI8-(B#npfhDxmqwnn}wI&5$IliKfn>cfNOW0qYTuj!E%? zCaSpYVH3XYki5yLM2XSi>PdIa_ELte_G73%WbDgoR?E;|7`Zoa&ixNkqk#>&ur>i8tUv0{1olP>q!coVD)I?Yt^*W&hR0{e40wN1 zCDrJ8lS4c5C@yn3A8CW0ulr4;&)h_9nJ{1%9l$D9;`t{=%L2a8)-dP;WtZ|)&5hgG zy~d0xMeH-{owoOo%K{?^LPt zK-JN(d&jUB)fL9r$Sc1YKK#_4%gl(45Xl4(dP!WWbh}KZ_uTef)=)QIjOuTQa9c$j zU0l=>IR%D->2FRp`nKnO`Zz$yN9UY1uG=+c59Sa}LC*?s?0ujxm`F9Emc+%dKC*wl zDrjURjH@cLiuyGKVQfD8@ZYUDH;|5`vAl0<6Gw2LjN+S!AteWFS#flo@yL^eo}h7~ zj*$;_2IqhrW)=>PJ0NQ