From 3efb84e0e7fa8c88b97c85405eac6e6b20b32f56 Mon Sep 17 00:00:00 2001 From: Joeri Exelmans Date: Wed, 5 Nov 2025 09:30:58 +0100 Subject: [PATCH] try to check trace of states rather than trace of events --- Cargo.lock | 4 +- Cargo.toml | 2 +- pkg/argus_wasm.js | 4 ++ pkg/argus_wasm_bg.wasm | Bin 437629 -> 441786 bytes src/lib.rs | 94 ++++++++++------------------------------- 5 files changed, 30 insertions(+), 74 deletions(-) diff --git a/Cargo.lock b/Cargo.lock index 960095a..378c4bf 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -41,7 +41,7 @@ dependencies = [ [[package]] name = "argus" version = "0.1.4" -source = "git+https://deemz.org/git/research/argus.git?branch=dev#654a0521f7020b059e134a477f280a8a5a98a490" +source = "git+https://deemz.org/git/research/argus.git?rev=654a0521f7020b059e134a477f280a8a5a98a490#654a0521f7020b059e134a477f280a8a5a98a490" dependencies = [ "argus-derive", "chumsky", @@ -58,7 +58,7 @@ dependencies = [ [[package]] name = "argus-derive" version = "0.1.2" -source = "git+https://deemz.org/git/research/argus.git?branch=dev#654a0521f7020b059e134a477f280a8a5a98a490" +source = "git+https://deemz.org/git/research/argus.git?rev=654a0521f7020b059e134a477f280a8a5a98a490#654a0521f7020b059e134a477f280a8a5a98a490" dependencies = [ "proc-macro2", "quote", diff --git a/Cargo.toml b/Cargo.toml index 715d852..71e8d27 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -6,7 +6,7 @@ version = "0.1.4" # follows argus version crate-type = ["cdylib"] [dependencies] -argus = { git = "https://deemz.org/git/research/argus.git", branch = "dev" } +argus = { git = "https://deemz.org/git/research/argus.git", rev="654a0521f7020b059e134a477f280a8a5a98a490" } js-sys = "0.3.82" serde = { version = "1.0.228", features = ["derive"] } serde-wasm-bindgen = "0.6.5" diff --git a/pkg/argus_wasm.js b/pkg/argus_wasm.js index 8cc58dd..1356d94 100644 --- a/pkg/argus_wasm.js +++ b/pkg/argus_wasm.js @@ -293,6 +293,10 @@ function __wbg_get_imports() { const ret = arg0.done; return ret; }; + imports.wbg.__wbg_entries_e171b586f8f6bdbf = function(arg0) { + const ret = Object.entries(arg0); + return ret; + }; imports.wbg.__wbg_get_7bed016f185add81 = function(arg0, arg1) { const ret = arg0[arg1 >>> 0]; return ret; diff --git a/pkg/argus_wasm_bg.wasm b/pkg/argus_wasm_bg.wasm index 0ace620bc0f395912d0d43c911d6f92b45946155..105a6ad89062ee51208c94e3a6bd6edfdf39b6e7 100644 GIT binary patch delta 86688 zcmex+OKR6|DISKz;#@`s1_s6^W|N6LW-N^PjQJBCn5|a%d2p4aj`Nmu(C3-GO@ENGAnU&bF(oq zurV|9GBGnTGIDb>FfdQ{V%Mo>W@2VwU|?WXW@2JuWM*PzQvq>V7?~LvnHd<&T78Yg(78YhE7N`i6;+edV zLsg7NSKp9@g@u&?q}Q04g@J)dTAE?Wwak<1nXWR|&1W{=z<85cZw_-8;|!*2%%%<%uMf(|(cCc(>`O4hK{FQMZ%X*e4OfAg6n9edD zWBkOtp`In|JaaeWE9T6M2h1L8nWr+nVvfGg?DCiSA@fES)eFp>j7OL!uxw@7#5yP0<|Z)M)Xyq$R= z^J3;D%w5bASbCs_o?|)Ba)Ct&WXA;N?~DgnCb3Lmnar}Dc`D06mM6?FESNf(b}*e` zX<+`!Jdyba;~^FZeVC<-Wg5#W#@WorSe7zgWjf9>o#hQ<8xs#x7bDmH$KvZIEA#w` zTE(Ko=*lag!04!u<=AuU0D~q2gE<3(0;8iumSYPtUm(lz&rKwGjx5J7$ow~Oj-!Gj zhrp`ImAq%NAjWemFgj{vIqtc2fI)+S!3=D?LYCteWaA~W9M>T81+pBMAoDr09OoeO zr@%Q->(=u%Fs_)v;m9>pRS5OedHXSREfQWGOK!usUvF&Jy^>q`>Of!IY)Iq`<7eC~$f5LH;zx zRg*OYY(tCJPTED4FtPIqsNr zkU?PiWFGCP$)PHtAO(B1oj?khP!$O11Wyi9H57Xe(x}12qr~FM%b>ufz~abKA~19E zOx0MPZ%hgTNGV8SvbL_&W)rpjjL_(fnJi!;&$w!{ltwLX_nd&aXFV3TKqUoqT5!2z zl@6vmHf!tNgt;LK>IQB7Rz}8ElQ$ZuGOpTu-JlJ`i8E5=TE(Koo$G6Rz~m@#2cWA2)^!h}MhLY?Mdlld({T1+kFnL**g4GtF;fy9k_LX!BNHW$*ltn0vnhaK&g?@jA;v~ z(3vq=FiK>yKnN$}gvk!clB%~4FbJFlnE=(Z0VIH?=Lw1)3G+7~HDFDDZXaN9RCZi& z2b6h`Oqp>PyUj9_KSoQ5uDA!aRDsnI;V#D{*~zvsQo=KkWH&HpDKQAFn-n2p*>LXw zgBjBXW(8I!7IUT@%nA&S9Wa%SP{;2837|P1g2@75l44IliqLEaE0TdI5Wa$>0O0^jEDo3fQwejx7mxr>e=m84FL6yl zlErUr3rr=<+ASafG;2Yn9;Dzn@*LCJCzGM&mEaa6*$$>GaB0OjXR>3QnA#GU6wID0 zAOW2AJb8i7o-0VQFnetGyg` zi0Ep5fU0KvYS> z3b5KqY37nB#$Es`y#iJ`IUp?*RrUo~_6(p6lOIgkdqo%Kx7LG++oa) z7nrjY7#%+_X9*mhoRV&!4c7%yIRmVI4yO7J7LfY==?09`Cx1v67lwEfX4(R;XUyQE)16chR zO!W^y>L+ER8Q;MM@>~xahUb2OluwS$26=8mHoE5~uz|e33oQE zWEX&CUw~z$^CZ!d@D8x7d!7;F^vzXyV$6(_Cr>O?W!v!W0E57~$$JX@7~f6iE^=kG znjBa(opJKy`K_|NTy8A&3ha(hHGviGlLgvXC&w2HF;1VX*p|T04e~_-h)4nXWb(t} zU~!b}RsoW$0n2%p1T#*bJikPoam(cGC83PdC-atyb3w8hqb|dY$p=bACp(v#Gfv-J zT^h{DIC=8Isc`4jO>~`XU(N}4Vt+XR$&3dYY>=8V%PYgc0gE)ytXUgT;_uCM0Og$DtX z1IV@qOd#?J6Ua_*K?^HYE`W8p=NT|_2~6MovbquE>xqRD!rTfxppXZvgN6RIT1X68 zPgbboVzip9T?Y+<$q(w-VbS=uE)DGegvnd#A2S9`p3&gO{|z*1#iYT+qQs)WB`|&R z+lB(hZXO4H&ut6L>*|Rf5{N3LJ434Y< zlbKz4`4m_jKSQ~bw{)6G{s3{91tv4|a`EthjQR}{U=x@;nYqhGvhm*m21hQCEGrKO zNVXd!z%DR(azvLm$E1G;7!+6qCU0Kd)eH)@iG@;=J$txeVGz~h!w3tYw>@Y9w5B%} z9C1pMb^7YTtc1xt{R)h3lXd&|Gxkh=+b_jvwV7jr7sz0gi~&j&XD5O}U3d~SMey>0 zQV%@eUY(QxHc@qQ^ki>lH(sX6`u%c~k58_b*~+NEtijX)4KQ~W2L(_%QD9ME6|mZz zG{p|XGFPq@9H6LP!y)i)^4W>j+?)z53e4cj)@pL%G>H93vF$fl}f}0L3ilCuZW>5-YQs5Ps&ZNKyY0)r%TQm$BOiMt6 zvs=Jr0*fLOR)wIE2@R$_gcV+3R$$Ozy27j=!YF`gU0gd2+yB zsmb>iz>B%}3qZx3?p7N{tI3rMK_!CVB6x{lxXg8O!y*aB>67`kt4vOLf+i~*1rXZ{`~~?KLG20f?fY+!4;CAx*%XLuCPMH`Gb{^Ad=;U zwqc;H$3?5cz#$bmIcW74#-PdWYn&lX6Gl+egbCd0n7PK6@!MqY%?hCEoe5OELke$D z_09~gEm*h}m=J9hCIxnZ>6?w#vN19SZMIw|3UMR6u~N0(ixC!cOdCKoE>coFxFHDa zp18?H8+S4WP1f0@iPAPn*c8QRHF@_YOGw)U>PmKj>64i^>oOjhY`9sH@jZ%L*}(M& z$gONx-O4O5ee<-<3J^z1$#Q}!GUOx&Zqa10Dll^^uucBBM0v8{R%y8Vv$mqS-*B1Y zWUp=dU_U5Lp0lkG%xYkCo7}&>RlbMOkwK9QRL?3vg3FB;(neEY0$1+FJLIA6n4G&4 zo_FhZg5vS?PG?4|$^5$@@d(em7k5DdOl7jiZa)?`UIwYj6So&k=Gr5|xOKAp9$7}K z&9-}lAg02jpn5ODM4o+UCLY}2$^!~BP}nN)2uzw3)yR%gk(tK-o0mkP!$qC0K)zHM4d6+=0 zTaGLRX2%N*Ao2ubmO$I&`NzbV+Zeg08!lp0l!V$719A@o$eIKNMu;t+jw$OwWv?)T zq-8>EE1(!F1JVaK*64%>quS)^6FU@V zvVbINSQW&a6grl3gQoDnE@)s>V1hUyfOh%-rX@|Dv$jJcB?&v^2#Vo~CC!zB>g`-=Z&*UPMojB1;`uY@o%s!d*SwTn@0vi7wJf}luaape_P zU{`?7^Pah;2Nq>=Dy4=4l#9bi$ z3arS^0IidO$bl7Wz~ugK4*AByDE^fRw0ea{i3PHZMF5rr^S{4fygoVNM>gZ+$+f>E zCg1tN!#3j-cwFe+k19s%&6z)iLFIbwFBO>h@?V9F3pPvsu4ZI(oILeUHKXHZ!N1jv zjMpdk{(~4JDX0MMhB7-^WH~}jQ~qDhXgzuM|G!|1V1`XsWMdSbdX3SAalv+JM#d$K zjE>t6FfnQ|GG3qlnwb%5-1Gt#MsBF}(;HbB%Nebw|72mrG|Go@!Sp;f#`Wq8KqJ_k zpb>0vuU1e1F2Ljf8kuo4$WmYu*frgSopCAS)9J6+8B@7;fyN;~P8QfZJ&J?TT?noR z(lr(oSTKDv2jfJ>UDI7T8RzpqW#Z-qB~DOL3o`37C!>?Vl9LA*90eVBoP^GzPqzOq z$@q18JQt%V_xEaG4k8OX(&6vf= z_;q?9FW7)|UdCsP*QfjOfr4gwfdHd~5Ss$HHNouYkPQv%=}-7TL9{)FpAi&yAZ76I zo+ZE-!?Nr6qCE(J3g?(F^2jJ{?I;EiT*t3d!1snA|Mx&V`d0s|?lJU0E49Am6LO0{W)&7#FuhZkaT?>U=?Z#`v%wL- zsKDrWg8^d4DLsPu%txQmRdE560)r!`8509^GK+_q8#Sn>Z_)?lvFTg}jQ1E? zXvp|uyR;#r6eHuR?Pf-dg^Y|dx34f}jAvwAHJ!th(VKDR^bk`<9md1c8%-I_SwKyQ z=^u4jgr}c3Wei|yWZJH1#yFo*r~?$u7j}Zz(|p+p%HPv3nKSAuEC5wCT#n2oO6;H( z4vP{$q_x8W71*w5!N|zSxO}>@C8Is#s_Ds=jFGw^O^zH2?2gE-8FoZ#MuCULL4jL= z$5A3jVCM9fmW;ZLGpCDNF{(1ooNjByD9$)@dZ-m+iqvZ+25tpjP>WNA0aQD(EATlk zSPNvPNXJqV{-tNR0%eZR#Qzyoyj5DWqJ2Se0V&k$i<5fn*eFq>lw*tEYw`0$K z7>`YX+i?zC*0u4UE;(=eRTK zGgePOgkI;z>=3e7+o0`O_%g!)MsjBn(pPvSjjkZ`Vmh? z4aS+%-+D4eGtQju>BXoC328@%Y;fc_a)3;OczSxb7vmhpRns-R866l`P0#dZwBrYb zsRFwK8#E-RZ}VnsV4OMK+=p=uB`WUpWAper8Y*0xhxPP!Mvwa{x4ny?v=K zV=5!>n*#?J9Q7RM90WBDr;Gc8lUuky<7LK~+qDB2XM+;_@j%8yj0>lC1u+&dE}Z^5 zh|yje+_d0u+`$N*MONT(_yD+>H2py^quBQBU`APH#wXi5!x*nJGCtWJAHnz* zWR`CfV=y zjQ(tUK#n{-{Yfa^x$MgJ0}PIGj$gKea@qETSjJvZ{&^S2=)$;a zx^X;XejI4R+;PFy0}PIuj%T)lECD5>BU=tIIG$o~oB$F5B{N431!1IQc4IThnV^ou z2{>y9jHSS@z~m;xP4U!q%#6cNcfeq9yQ(yyUVis-%d4c8Ady^Se^g+#N z4h^O?;Ql6q0*40E23UWSg&V{zQ3BOLywE=A^asg|%HXubp~2*$1kSY_8cZHAX_*v8 zWyYD)9a6yMLPQE45BF0-0d|wTp#^iQ91wD44|^ zw`>80`*hz_MoXsijMGo1Fv@Fy?8WLx7H$P)76%1M1!Zu*VR|7e3&_oN+rVz-PGgjW zME#4+-~zS>WOm1PvoywSyo_h2zb$4gXS_H)wS>`v@yzylC5-M&jAyn#D`RW|wRbWr z7^4^+ryr>RSA!OnjLM+8HKqz&4W6iCRE1TmpQ{*48Lg*hR)cH6>;^{3=?yiAM(D&E z#uUZ{+rQN?CV{He$T~(@#=XljlR9k<`DgEVvg*Mp7CZa^42tpRK-Pa{ra6{m+b zG3rP!U{c^z;0INWkQNTOK_dYgSlBgvP7~u?c!Nd*EQZveLDB^3BeH-@nV!}RZqWQ} zW}E@8PeI8PRG)$xGz(f73#HFb|~FKA~}1Cd+CK_SATz-GqeqadKjq#&cfDu60I{YE!q zD8zPu#s$;sdKhzH7Jukr6arby+{d_uan391XzcMy$zdV6)EhDFs0t;xtzreofos$?pD*a>xcQG13)2g7c zH!gv%ObTE>a4J9sai;sXGRsWgF_}?>ZO_>Q3<5`|Uz*H#N$V?<0=O^E4(*GBCp14W zWvMXmb34vB3+`F00jckper^imea4&H*G*+S%E%Zzy<|G$JI3kTlV>oxGHM1pGIA?0 zD~Lh{#hJ{Q1VACD!Nh|Y4rJC~k`Q=4{o+hUF~*tGU(96uC?5>&lPfSeGAl4Sg1S$j zaoJ!VW{^=l0@J7en8m2i9}MMzwl;tS&1N&+W1PNSbPl5{qb1Z{VS(x3xi>5pGJ$&Z zJfNZiJfb83Eh?r@o=d<1>;luLFP_I}=mmBFJIOYHha12V0-EP$28|t0mz&RcmhtBF zH}e_Q*ftn5i_|kumsr4<#&~&p{Q^cM#;em8EnsY^zrx7FjX6lj;-J8wz$gHgbbPP@ zT30B5XZw-H5~0d2GxBh8JAQyEW2y(GFAhcU!Vw-t7DomJP-nuGmqAK_$x$E+v=KmH z52K=l0+WUf6N3_~qe8YKJ4g+S5|e_&@8o0Y@^TzMI|xg8l4Bori^7~7hi8en$SHwU=#GD(4^R2@08 zlsG`1S-$b&=bDkEr+qyaP(1#SjHCTSIz1PrFH zUdY(OxN^F|B1R=}&Bd(2ggNXvJ$n(OAEUwa(<>Qm89AnNu41%g<#J?DEQL3IrK|p~|ARROu&Y;8zkp|6nvuH4JD6u>K|Ns9# zgEucLNS;NJm#JQX9kfP)Ly^akLy^M~)KUg96xczncJR0)ixQ73FB^DJOOZR_1r|r1EJZPp@0cAFSR56ylvou66gU)kvox3(l-M6yT)SQP}h6?j0-VK-yqP+(OM zH)m!5d0=|h8b(>$RZQF1S3jf3Py32 znJhePpg~H|5IuN!fl0tXf!T2aW0n$V-NOxrEG3TVTh}q_GO|y9ypB;76m07m<)(|R zU^Hbl0LA$9#Py6d$Y!#D%$&}-fze>P#!5yW#pcYgQpFYxD`MvnMQL2WjR8K$Q&WHhDteN5$QRCWi35(gz$9Hb&T>z z*+QOi=Ja>#AvpqEkCK)nf)Saa2Wk@I%;{_!7%dptr`vB}RGIEPm06mRefq^b7V+t` zRxt{)Gb->ZunVM5U$=o#%$x&JMuW1UB0p2T0tcjw1{JzYuriuSfdf=VbArYNSd>_& z|6j!@?!=-1?r~qmhfvPZ2iOdKokr@?OK_xPy0(jVngT+CCV|vI& zMio5{NSVt4Epu5xWiBJU%w+_XsZt7T3hWBv3akP%r!U*cXe1^Ls^vwLI6#FgCx|Ve z$fdwB{oO{!AjX-~9XEkTXrR5C`b~^R`ry$NMhzw&1rFrV6mX+LfK`EuTY)o6i4EjL z4h1#^@#!B6ScIp4-oz*<1S)tzfuq0%D|n}iZD!O0S+f~js5Wk96tiI0X69II$;<(2 zW-ox1tw^OTD6rs@WC~0QoX{bs>E|~yI^ij$w6-uR>VO*3%+P)yc;W`p4+J$KLE}!K zFaS+R8cZ+W!g!34efmZNM$zfPTN%yyIY6x&4n*}5v6WF%3mX24tO{(}%nXWBAQMHDK&$^0`9W+@2y?pfGAeLQ*WLyWW<>bPd-n7k zWN_40V08S`eUQO%N6$e90Ys342hsT)Uw}lHBLz8smJ%-{$ax{P9isy0^ncqJC5(T7 zl)^(ETIJ0IWpB_|kWvJ>7Q~qZ8wT=@WJ_ity}%RLvd=Oacq0Z`j3n6w)bLy}f!jqX9Ex)Alv{ z7_}K04^F?apHY^7D-$;;CcxG(32dFta)42RaprW@1B~Cmot+&_Spxf}s~lu3XFNE4 z&Ot^g#_iL$A7oUQ+786}22x|GVXfU}bFe|VM*i3(ajBx?un&}gcGp2!NM~*Y5 zgNA_PPcj;U=!vHo1sE{`Wy5JkL&llgADw1ogLDC3fVzs)Kb~Q4pM925m~rOx^=BC;LIQ;u(n19V3Lhv?z`o^$`gVHKIYt9m zk8#F1#s{DtBP*zL%%Q*v9xMSR1jhwfdyI?DGbS^xpU!rH5j21wdVw()k_3)#KXHLk z9MmsdTCOp?z|2(q#qp$(cZXasdTF zMHU5V1tw^p940+|=@rHR#`V*`T>;zedX+H~YWMOjR~bQ8Z@tF288os<-%H9e7ysWS>eP&RvoDJ41x4Xd@$T)NQgd2>n7@M|N-(<`Y;$6j}#0jn^ z6gUKqZ2$6_@el{&%<0>|FzQR~nR$=_)EX5B4UP&Zh&ys*IUbpLkU`+=w6Bb_87EJl z^OZ4_apv|8rmpN}&lc{y-IyT@5mf9n`^OaOBAXbrqN#nar4M6qp<@yqjM5ol%nU z!1RaT8RZ#QPhb0k(OUV$y8{dYlR!%`pvrpQ9bhnHvQS`BU|8z}>f%0_&hv{=P8?)1 zC=)Ay)`+lzSSp~S3#L2#WKq$@fgIBp{$&(p+5oX@x|<5K0t-lD zdc6{}g>nnXuMUYorQh~`)Bnukh zd@bh88VXDbOpYAWH~eE%hj^KJ`h68X|_+VVE6})Zb=i zGGP2Vori_V7@;kkg(;Nr(Dbz|Ojc}9IuC*-qTaGFt!G>{eJ(4L6yxdXJ6M@~LDN!f zOiGMjr)#n?$;zH)0u?MgN|5mgP_4k|$dcvw1*CoL^kg=sHAYuJY|xC0BZs4aBb>*> z!R`2@>mX`1_8(al!QGTucXTPzO#yC!a8Z##I?X#T@#uDyVhM>Bh^b zz~XoVT+Kbu3u`i#Y~ z1FX}4kEwxi)%1;gOqqj#z-wFbtxuI#+lOt zrI_yXKW9<^ZKe=}?xdJ*FU=$&@f^I6mq!WQ)?ffl)X2~d3vK9lQ&xnNbLCZ?`ljwj5DXp%QMBYO#ulVnZ8_|DUos2bWRPXIgHPzH!3iR zaf62-99h64^v5-r!Wd^xm(yel24z)0MJ5-Mg-nht+=}c9ysioYj?C^wpq-^s3cTRv zps=d~KS+$1L4ij>7$gMQ2sHh*CX=qjOcn)676%0x1xZ*lhQm=rU?$6SM`5Z=5 z?i&IBIz z0M&}1o-0@x1E`-5uEwXUMKI}smS9CNH8ZZ7elVUXfN|Aytw^Rg#;?;06Tr3Ff=H%l zP(k@Ol4%L!s_9*cU^TZBnd}+APM1ysH*rCQAmhyGbGx_r8K z43jP6s_BKvObKiqkdpU(4AUJ@yP3(Amsx?)QQ4iv!BGG-E;{{wEYktTRnr&5fm^_< zQ<-EKzrrfl`>9N3lAxj$+|GRgG9B9LRS-DBGCeMWsfx-z*a0dbQGIX%B(!!qHGHrF zWE72kaN#pJuOQ+ekrgCDi3cR$QE&ic6v6}BMRS=}FfmS^zAv9im2JvL&?4>WFY}pv z7;j8BD`4_qw4GjGz;uLh^7Q#VOcK*$3YmCds`3h%b};Uru3p6S2GWQ|8hhga4Ksnq z-eAiPAY*TV#Y`e>H$ZK{qtmmCnZT;v?aae6L@vP36T1Z?dc^<1&q@d z)-Y*sy#h5Az+1kjbCxkha#(UJfEL|OpPp65WWac2`s^~M``oV(8^fpj*D)<*d_MhS z9TS%Q>Ffg2w+B`*Nr2j~S(QvGFb~ExFxiQM0#1R+Q6~$uosI!Sun4@JzOjMn6656Q zyQ&bX*EKQ)Y&WT9%4K8>ntr2{NgczLRz$cmlF@4V{cuRncN|XTXOp6Zl=|c6b_I3lReBQNS&`HA1gJw%)AgQyCMHIymrM%cpguCQ6N3Vm0EnjmVzLXo+Fo7E@zo{WtRD}Yg z<3$F?2_Pf?Z+D!;#LmQcV!G!PrZ#@i))WOsM?uFEAhrLu-WsUm z@0bG~n7B3vJTOr@muZ(XXdD5&CWb`;I=Bp~!4<#*6X;{hpb=uQEGKA`fl-0k@dpEF za-wJ+Q!(R_>Cfgd&0<`zym3Agqx^2r7y~C{bOJPd4BE&89@AiU)BtH&uz;zNan*FC zg-jWYtEP7^WSYzcDpDXz(za_XVzOjnoV-1036n2#Jvh916<8eatcPw4QULMxfOw!) zvI^`9td3_uyhWfz->eEO5FS_##Crph1DnFBz~cA^&O?>sLYAAs!^B(9Sf|Y3_+Y!< z3MOtw#(C4NRx)`o?%UqHk|~Xmv1$9ORZQ%VEIa``Me}PlmJ%P4DNtuyRMsN0u-#fn zWP)=B%52L6XwE>*!dB~;IG7nvYfZA>bR{?mVNV_G?V!Zs#X6rpXP12>sKJ2}C_dn^L}(+_TEl7otJ zK-Ou2MBgJs*&(790{+uwcQ6$~)v_T(=j~uBRD(F06)p-|r_BLU%M4oc10F@R5%8aG zx|6BK5}J4*M{X%FE3i3UIRRQT3_8UVmB#{J_{|TR%>WJ2OnNM z0LGcqS4%K!OkZ%8=``Du4+j_oj!!Q<$K=kqYWmJ|Otx%aKte~R|2fCh!nkUB<9Q}A zP!OI6w^|cUF)1-VpMK#8lMHk;i5=ug1_iF^8zq<}rgvOm5{ERrSR8pAuYgPf`3`dQ z%=EycOl1&<(ZVYYpktU&y)pqLL=~@m_zF#Nbnyy!)E(6;;E{Bycm+Q44)x0R3rq^E zt5}p+S*ABeut-h+c7bUpR|Sof zLVKj(6Qr2Um;|^%TNNP~ywt04`t0jW4Qx+94gc=xiZ_^~7`vz2++dPqwA>zcgUJ@u zCZ2K=(aPO-lgXR$?R2hNOpc6}(|v9+O=p}u{mCu3g6({_nKm-I1}d;9a6*;}gJ)XV z6v1o#IJgyA6c`0S4g;?&VSy+CEt)|%tlp6kyt=b-I?G+A4#w{3y?2>p7%jK2x(n(* zPo94C9^AI+@9!}=$v_+rsu7tTO~CDR(Dr!^raO!RZ>Rg-2fMWYKG>z|4-k3-A20<> z-|>p+0;pHZ2$~IIM4kO0!=tQdCO!5DUg;=S9r&?l4li* z5;MHZef1qv7UQbv4)2+iz)fdG2GGU`&;}oYBh!oCGpXRVa@~6-bACi&1U|HJ`FoOow~wpl1Jfi}kpJecnLkx7~D2I$c5)!WNHGAS^D)Xn(J1UrMA2{g9_ zm4E%2Ns3YI9wT_A2MegEXHWobEnzDWn7Lj0E0X|TOJ2Y&Nn@PO{ex*2Hk%-droaBo zbZ+{KpG-bDY@6=&3tUy4{KX{4xN7=~U&ytD_iv^Mkl9OrGsP&ZVo~A%ExzRdE#6{L z-~dgPGdMCTa&ki_6BPe2focuEKTJrq#>_uVOCX~q$EQ30Win!1HNEUFlOANW9WksCm1JBzv#g%G5sGiGY?e7b^#XVKoHH$hzKnaf$BHoLfOhMg5@nVX2b~Yb1RA^JRA2))qFO-V)II&bDDx7=zuV=7 znBT*-?t^OGHyyjy1wRfj2*9*XmltBzn|?`*xq=s*$7V1>6H&Yja{y*DMT+tNbY59z z8BE3c%p3w}EtT!7C72T!A%(*6>4H+s_2R2ol-NKe51XS5_yl@LD`Up=_43RXjH{+U zkYZLc1t&NTP&{ygP7z^JV1}v!@6O^;0&lPaui6K#qIQI~cGq1uQcNFaOb=9JmISZC0j+CboZhF#Y|ivz=Jbn-%)%@OFc*g~@<0}cFs_;I zsKhJrqORFXnh zhA;@soDNzUqB4U#V^~23swjYr0WA$-Jb>cBFUrg+>Nn;?-2+`;LugqDBM)R*2-BDO z(^Q!y@hl2qTs{4k3bP91gz5iPn5FP5^i^fHVq7x)f+DjBBl_}>>GxEb!(eN8_Dl~@ zV}>t~0up&FFD=V8~WtQ2}lH zU^HW505wn*SOn&>fLe+y3M`K28L}MzfVSzbV^jpSCm2ARTNo4=K?|!{z!S`lEsUPL zj0y|_pP4{K9g6};*o;ZUv7SK@w7`S`tQ2e^Xl*u&8mvOu>Afn3d?z%K9^w3HUK+>t|p1$5^H__!nn zMK-2-sIkl%Oe~J9*?i25Obkri3T%#lcO77GWCxuc%IFAc{VA|Hw(LFtIf#^(!4b4` z$`NE}y#|wq5}RW)qc><@7RVw;#%w+&W=4>t29t&ovttXRKd4Osk^=>s2dWScXmtyC zXBTKaI}2ou3fTD|ou0fb3e2EDX91m9qafhK7zkR>gHT@&+Cl`{mjuxQ4nRkZECm+F z6AW1btC=BTqM^hFHCUV3Kv5VRg&+mcxIc3URPQr_Ha}@Fd4L9hKz74j?Zl`kpa7}} zL8o9bvN$--KMW3uCT2zEdIbiMyBQQ16qwDJSa?{W+lj#YrC3~f*}*ZU$OiH`ha%{h zGgcSqWoitHLdpz|8yK^dm{dRqJ}{aw89)-U0+XXbmcVCl;T)jI2#F&EslcSm5TeBF z$dt{;RL{h~2#POol4XM=Stbo810`lqobWP(f|p5w*^0phH2!186G#oB&~g0*lG<14EWTFEd!F6QemZ16Z8` zlV&}0g_0m>M-`JMa{;#!zd3UPSfc{J6JrfnTtU#BIYWWTiNTyX0%CcH0+Zu}!=U^T zpuhw=hJ!=k857858cY&Otd2~erC3ZFOfrg$puIy(pp#k{3waqJ8x0u+I>8GzMHInQ zy#OeDK$VUKXi+hf29u2vD>%0@D6oQ)91|#FK#NluAxlmf&6s*X%O*jGqcA!4FlGr% z2c;4w4WNe-CIUqT_nTEXN*5Vp*%e4_bj*-%!xpqR0<& zKo6rLxP1#r?~Gu}`Ijp)E3kr+KX|htNSTEq$ae7hS4L3cam8bx9QB?8d(O`tLk z67(TT;APoNpskG1HU0rgjG(Om%nFQ}%nVNTtxibWDHZvd9TfNjcvwK?8KdI?#%x8# z=`u%HBx&p!5ogN*+*Df;MG>5-r$uYzj>En#=*9gwF;_*-VZv7_u~(86W}z zSqe;`C5CVT&^A<1KNu>2)8$Mc+ibuErzbDyC_Ye;$Ox+TG_pYXz|kN}iBVuK3roEM zW4#6wgDRtdfTD=N1x6)C1raqyM@Cjh2GA-uW=H|S4BFEPZenOSg8Nut^L5OaOu)s0 z0+XXjmcSR#dRGR}>Pkq7;RvefKrV!wALO9~PHisPO3aR+UO2PAv?3$7mP0g(3VS3`UKfo=2*|3qrmRS;VBKuhD^}XPXSag zDlmbx)<(vYzkW~cP%ZpS+I5H^mDKj`4WGgYMKw2(Ljuu%; z92!glq8d5}+wl9#CNk8VgedUtYkV$gaQvI`BfokrBLb zpAqCB5%Beg3XF~-(4vqLR1R}Mib7CX4B9oO$O|%0Mv)U#_<)ouFgohP3q#NzH4P>a zMRsll_IhZ}gS0xJ#<+osK*vVV9wJcNiWxNd3)*uFYM_9Q`25TSu3JI7mXMtTE&##K zVTTlejM~f!kOC0l23Y9_J_12Ru^yxJ18t91U`Do`57b=a0G(vS2`+0umNP2|SuzVK zFe~tawpl=3$PC&9%>eQCME{PC~gICo4o{N2c(>( zq<|fi<*Nl~RDcOoX~7Cp&`GxnpbFER3Doxll{4U47F2LDfo9Vbz;&$xlQwe$qrf6i z`w<*Yq!*U;u<{gAsDn!(SkVYNL;_szGHEcGfa?HIs~uDafT9r8s#0JASK@OZmAE3K z0wjhMAWbLmz#^#a1WK0(!yGq&R;+`{n>&XN)H6653hW1s2eW7}=|D!FHI%?NCBU14 zOrWM98>k(xkfp%m$N_UQivkb0sFwgW2Tc^gTlftWL8B**GeB)hc7Y~lMJ`Zk1n-$+ z1}PH&?K@WxSPm(v8CmK<=Qyx}`VI`B#L1z+02x^X_g6seP!>&Q33Fxv1qKCSOJ)TH z22ec&+K~^onE`Y=0kr+v$c*0G0d1UuI;4?V5j+I}Zdfva_WQGdR(CUUTSE@~05xhr zg%7CE#nL(uP+(MKV0KUt2mmKw25tPLHG?x0m_fU`3KW<@%>~CZ zH$lfKF7Xz6JGED$PNWhKEGiKfc z8l%!NVV07-AlG8fETI58j7K61R8TTFzPSN%?)G>S<|5F(xJ#zYri?$fbC@ybvoRi+ zUSY#r#CTx(Ya8Z1#skxC$%0a~Tgz-)YA@jq$+r0DES2 z(6M8c_RKMiKc-)^XZB*;uwBuCnGrlj4LWs13ABxX3A9%Lawo&|Q+~`+(}NwEPcz<} zF7E^$qwaQMR)G#aPv7dqTrqt|0JG3`duPz)-IJ#~xxi(&=eRJtf{n&C{4F*8kt^8f zb#7pzH*hmc34jleV{z2Ua)ge7ySOt~Og9f@_L@D$ec1zyZf^7^1-OF&IL79~)=ht<6GpzIGi^M=uzSyT>`bU^cMtO_jL5EY;@ z03-rBjC{I@H}iZ`B!fV{fhcolsRxZONC-S<0?|C66HY)3_-qr053>y8^y#WT%&Ls~ z)4hF|r5UF$PxoPlx>#|0r!TV>IEcWZ4?4UL9Qr)q#qXfdf6jPo`X+zyK)P4}vkGh= z-64Rvg3*5a&H%_j`r$yh)b_W51VcSJnE5Q@t?7m#U~@NcGb?iHWH~~|;P;1sjGn&N zo!NVOb13sZ$fN_@=A1C*EXMTd*Ta~@7*|c#3ulgHoH@NGoLQf7=JY+`%sq@}r+Y>) zJ8^?gS~~$c0dW5GX%WmS7Bd+YSQWtAWq81+mVlNLaDcYXvnntt@Pir)AO+BX1RZMv zRWSWi1hWp~^6B!C%rT>qqzdJ<9miI$1@<#lnLPNmq}%olwOUYKpLuG=k$P7W_89j(-qQ~rKUeiWmb?{&B!AO>hXc5*ugmm zG!Q1Dz~l&4WCfC!z%4H|y)O-7h&Vn)kJ6Yy+i2IPF-t%#XZ$d|KaE+QXEh^_DAaLV zrt_sUOPX%QaJ?{8!8QyTA*jsu=`rcdlF~ac6bL{S?3_LUWcF?h1$=`oN3 z6r0(g3QmAzz}**^n^>VTr>C#WV3rg<15$uuGxKzXbY@9T&?VKNp{sM#|70*rGM?Wq zmdPx@$X@Cw0j^qfvzSvDXHK7##jMN;DnD64JG7?n%VHJ-?-plqG{}M+UdiGpA#h~+ z^DJgF#&grjq1HZy43n`#cT3gdN<3UPiJ$T9Pv#iHPIObc?D zmou)KE|CjX>6go#!m*7Js(n{3bA$}Y1)wvJ!8`xKHnK2qui;=~u4k;9e(*Vq=ww+% zzUc-jEUeSR@|cyBJ}@dW@_=`3gOBI`0^)+(WMJ+ZW<|#72a1@*L3ML{KC|TXbNS%J z_cjkQrvw)R?bv4If$rF5$pR09ffBzAsLMHHI+{8*Ncx7UV=`j`sk<=;td8jb-}H+G z%yNvYr@zlq?mU;WJ7cpkXs; z=!52hz@gvMfi+O>lrWpZc4bSIFl(uNroc{UM1brBN5l%;b~3J>&R@nX#dM?t-RG%g z%rh7-PXAZN?96y^yHh#yJr>4Q(-mu&t=S-#k55mkVLr#WYPw-9a|UDS^jWpczKjdE zzo=za1T{>#>Y2kuc1%3TAONbL!AEjIsCoHcz}H}f*a?(M!k%o2=@-P6;0nL8ODO#jf!Y{EEa`uqjVQj8m> zJM=Nj3$JE$aDGg~okpMJWZ*^K)r3ojeQ|z9VHBoJPI7rpixoK1}MiF(>G3F zR$#m^ed}yyWya0ZZ_Z{`0@(wuOc)%WO%GViEW@~Gy2C_ff5z3@Cro5!WMrJVebOZ6 zOr&F&LCrP9G0dR#&X8l6r^`%XekKe$Xc@dL8l((z3iEW)smv9OxzqcmGTTE=_2309 zpXCr(HT~99<_y`H;3g*c{5v)UX3$woLJBMjObP-DYyvZ<$4_IP#W-{NgLBNF6R{Ph zGlSO4%AIF6VthS4dpffWC7{UisaUr%uf6TNO8;zisPBkIG%+kj_*z{n#CLd ziC&rM_h&J)aTSmo#dndSSb+Q}o?bkM`3mn;(7Jl?A*!JLbRlz@eHf=sUpSW;bgJxu zxy+*Ax*8-8nbHBBQBnbFG%|vYbDjQiF7s4&CvHbZZbjzlA0{!%PCwAXEH(YXCT4$( z%_msOi@?py+OQ4(d)ZmUr`OJB&I0Y}z$`RAKt~@?R<2JMT)-T`_+Wb00-~bt%>rgK znN}vyzB&yi21woowX+o2K!akS{A#z5SsavK!x!R-%MYOZ>cF^tI_Dy0Rqj?Ma^vv> zQath~uwlun{}%dj0if|C z&^1mV1J*5Lmi2|$#tfPs&|m`DroiCH4H_+n4Df+Q1wjQ2t_8cSjslQlHNZD!Zx>(A z%*m)92#I0?(22{SDNT?wU`uDg3wA+U&LI2F6c`0oO!r^GYyi2|jtR7!7j|HfD`@70 z0W@<5y6z7&$`3MR`tlXb-{k`p*g+i7JPdeK3xftz1Na)b7SMH4E2i&V$*d2vkV-{dk+zxJf3V>!? z!R0=S0%+LZ2HeMBQ4kVXFkO5Db0YsH$Pr>bps_$fflbrfH!z=O+&w*bBlB|6r{EJl zm_gT)f%Z|cfRIYo=Ug}dI?3h4 z1@JlYc3YT5nGI*MC@?61XEzu?b19%hnBOb`E1R(tbe=g#-;~7%7#uYm_kd2p-!Q#p zJ98#u?(}!tAr%z|X#Xu6c;l_r4uTcc{vB8`o6u) zwv4;C|Jlpz&S>YPz@@+j+LFi!-gT|O1zJMS23|1^UMUXVg9Xkw$f}@6Y3-igxSx3& zBoT zH!V9)GV8H@0iEq}bo$ev99p5W(pyzu=1=q8^hAoU&Ft&cDZ!uDN4 zhY7*g1A$xyKJ`op_0%&^O;~x9*@bbz^nFK}wst-^ww1`NuNplja{ZM6p2wIhxb zz^v`@7eHgyyQe2zWHw`5Fn#7laMbL)2#%VHOUy!yjAh%qFEht8f`-|zFn2H>m|k*~ zIiK;s^e0!D(-^l*FTBMpGd=wpvmaF2I7^D*w3e)k%)IOBrp4{tJyYHVpe z$e;k;R0yhB86A(bfe)T!2Ct1f(|VA>@k1ME^l-Y|EoLpo1=C}%Gpj?4R-V4%I9x%BBas+5R6SP_n?4l_k6JAfhaGN=Zam#e&JIue-qoFoDtwXw4uKDkcrk<_plE zh>ilYz|85o_n0k1ARz@>KZX%fNKQh86nK^uIi!$OK|+d&VfwGD%qG*NZZgY2;!cJG zwEjUOOQ3jq{xxRJ=`A;zWvQ4*Ja2&mr|=fDGGp=dmDicIrysb*ECfm`S8feRTG?@r zc{}5(=>_+hRT)=JpLU=5En<7(oCnPETF?Vmna~eh1fO*sRJY)`FTrmCM6Xv~)3#QjU zWnRK~a(cmI=5ySR&=v`|z=G);Uowj_E|?zwggFtSc;R%h7tAtfI-Kz8V050o{t>e@ znjU9NJ;z@%S2IqT{`wWO)bx$7z@vzDub3qmH-Ln!SXMLg2uyE$#ViUDkYZZEI()=+(jTRABYPYadzAQ;&Onv>>$}4ATBeA3mR^A+zsNgfViL`1;_m$F4!m* zZUsh5$I~D_KS-Jxr1=(z%M0RyMw%U;gScRuKr8(~ZD;V^;v51U+wZ<%<^(ldpTA}P z4@%%K-Z9rR{+OQep7|f+q3P)#m=`jhozD4@`6Q(I0$TiXU?u2cr|l0vGCyEec*F>5 zsxvyS>O2H$o&5q)imv zGbb^YZU6O~c_kC$|LsfuF-tNs{-3_@Kl2>M|5Kw`KB zWU&zh)nN*tCCH$947^`Wgo$M?cQITpy7W|7=YFmfL6(ZOJJ1lIx_?Jh3PpQEK;DIpX@Bt6;oJ5 zr!U}OF<}F3`Q+i8-p9$JIQ=&Viz4Hy>9U+GN}&Fy11F0eH%MNA5xgaIdM76fXxs2b zguGb@I6KJR385{+&l>}87z(*MOl+B zLDv+pDX=K8)q6`Tu{rXCj9>$wrOxQh%j8%OJ}Vq)Q6FeU4vPYtBV<`08)R7@+gc}y zIweWaMZml)3X;o}SV1bXl-NP0vwAA9IR5zm|3ABT5$NU#P)CPF3A8+xMc_5F0>1{6 zfD{iacfG(&Fh@cPG^EL@z?r4U0Y3Pe1GMIk9lYj`4YVc|wDg*}4CE})AuDHCKr3*; zp3G8W1L;FrgR3NozSI_3pjARU_PjY zSYPZYk&~qa8rV?aR1kH9@_8HuK)1!1GcbVkWPzQh$-n^SEAT*BNGpaJ6}Ul5@xYf- zfmW&tDAaRhgO;xFg8I6k)G3kUD4*q6QK-b0<;a-@x^#nCfm4AkTY*JjCJSgEAEN>{ zXlbnm69ee#8$~t+Rt0WH_CiMncaZZK3qk9TKr1C#9sm9R|DU-~krlkjgDp#mT>-R6 zKuHp`dYZihdi72Hfd|Nj2|{{H^{{|qhQwep~m4eUB_XkY^!(axs8>c|9L z{lww`%08eY_d#g|&04r2^(fYIGdU=5J92fiTN`atVDSx;a z7(mCIvN|#-vN1a-uqkpXutIj7C~#)!GB7wcFuL=CHra4Oqe_uOfzvS~2b3$A9TY$# z+ybDbSOWDs7!|>%W3wpnf^sNNp%SYiy8?>>W^x4O0!I!-E@lS>b_K31MRw3l+gYHU z8Vc+RyoE~aprnA3fF%RKsgVVifmXRMRR)ND@Kue@Gur@wgRUDYj&{$Zy_uQ z*t3*abwPefV7Li)Qgxgh(OF20hc_AEIgpAj#v~pLHR|pOo`R1 zo&hq8qr{>BIJ9wu&RdCVZi!w6$@NO3FhgKK(7dsc~6L27xSBAbGglVpdIH2O_bGNA4iiy|k8 z0-cb+s0_}{%ntB9P%H{;pv0skr6AJ^&N&K_lP4UOtd|UM1+QU*rzo~81=d1PDXPTf zC;;BCzz$m9%&EWy-M#?YH|5I9%nd6Nl_Vh-Qz=Lxr&L8r1#wVSAsN8S3`?wFqZRqM z9T^oQ6{J8{SOtjjGD|72DDY+JFfb^wL5fip1(xXzpfs$+2g-PgpgDWUJs+S;w=|g; z6eYo06r`6s{%0suVgf}Yivl00h-HPuGgwFvbQczQRXV6(1dT?6qM;C6I)X<^dB6+B zc|eANJqul3)OB^#P|LE=P`RB}UM-7qXx= zRS-$g?jZ#R1zAgG@R_X)palU8pjcr6EeK%YRuF^@WHWFpiYu@wNPrwE0Sa?PHXa6U z2JTy|jEwc*hRO7@2o|}?0X$luRTF&ErMX$u>gP5dWN_pJHQ7N6jU1POxZvJ^Jg7mx z4$cLwGIHDo;_&~5ZQ zS&sEL{vBWt=wm`%Y{cmJ1f&MErGh8R@k--Cuo9H@MvRU>KuVy-ynre}S#8AV*wb{7 z!4cHt{1kx)2;_ioYL6ZWG2jN`4dXV&CI3KjQ$nnCz0}PH} z%{(C4qaayuj|{Z3$ngY-3$_W|xtr5)kiiiw3+~))fpfu~yWJoz*eG!4?i@%jJIGn! zw(!-ag8`sDiXGsMc#Mv>K+<5dK)pN1y&%nCAA>u04WRG_TMX{p^?|rtAhST7JI5Iy zE~`Mt^j=;T6NwE+4lrmkF(`?H_P$-24&E@Q$n3ac`b}PzcZ{E>pWtILXPh~WpXC$V zpCbnt1SU=Y!Oyaqapv|V0xT@dj5DXN6lU?`22b&Tu1ytqJ)KE}C6ICE_7D-4*NmY1 zO~qJbnHpKP$BVH@GBRG6UMbEJ$@qKvWpS2F#{TKH5-e$q{nM97u=p_kp8ipSC6%#% zdblJ@3S1VOcuu#pxJ==+s$QJ92gmAZm*DI;bUYERNz$L5|}={SDxiAjI+H^fh8N{K4@R- zt0D_@a34G(!U7!;0j;21KHW}<#fEX!_G%@TK2~Y)9kEP~jM<7zpmur#n_~l;h3UOIEE0@+rZ3ZBQ3OS_4vVhjmm`pYXlBsB zqKyJGVgomyE{g=?>FMgaEN+ZnrswIhNP)Ygpo8JLL5pq~Kr3({`+Y(C)uu1eWx2&T zd3(JciytGS)AV!tEUvtW2?thz1=AG_ST;(d2!ZC(z*B7;3XB4~r@t{^QDNLYUC@vP zG&-bb$P$iM`2s^0b7Ank^dK`JbtmY|y6vwFS;Ck=_b-`%PwR>_VFBH+ec6P?ooz+$ zK?Z?C(-llvR0Tn+*w{du=|FoYz&8MenX-T`!=7u(A}!JZRtXu_W^tSW;{BL@#*}4; zzywzC%5f$IHqgGwh7Z%Hn6W4`uAaWbj76If!joFf$jb<7j)G1x0__Q8c4cvZs#Y{- zX=nT}eWf{zBID}mr_EUm_(6+z6__149T!YK#2~P6I+q2D4dd$V?iMUZL31p;RxCRh zUrs+}#S+2TF0I6Fj#}yQ;rH*jvW^dFhCnV zjE)jnjt$6sfh@-#7m(yRvK&7k^IyO@kn_gDbIqVbHMBs>55W8PI25MyIT5 zKy7r;%^ILv2*CUIz(Wv>j#`d4KvRRDu@6V^IXu%V9a*NyvVa!^MBP-~L6VB-i-B^^S`?|2)pDyjrA~4;?mE|V7 z45QO@8F!Y&jI*a7aAy%=oW1?3J4-*4{*jNMu`keODrN-^&?RA@oh!_q(xBr*;8LIi z3AccG(_?&CbhhvJV##CFe*ijZ3|eTQY5f3~0%^Sf=7F?Ui|+%iAY}rLE%694GAJ^F zdv%TnroZ!HQI!Q9e&h<;Y3{h^7bqS<9(I`DwY^kY+4 z__uHHV_{)pd^vq<0E;%`%k2*XSWbeDyjdN@@{)1#bc1*niS28HS>`Y?I!*TqV`*e` z+I}XC#h;OJ;dGe@7I}Wqi8~6QM$L}Z;2h``!BSk`G5H{aBWMbnC(E&6Dy01ZTB)G` zTY1gsxB#RCbi64~mg5Ad5-vzHh9e7<&>0Sv>(n?s+(V!1ON}x7ffGPnss6k_pP{;fMDFOMDC(H2x zR0-?!#z+>a`VUYpcmo^*+}<@)K&==BCPz>pOoIdhGph5qA}N^wRRUUpfMo9uBqa-= zN*Ga05q3O!CD6cm0#$+*4L!3D zGB`p5=MPi~S~M&HDS<}Al-Urka&Xt9M8h7C8mLWcplZ;f;R;9z)TSd)C1}y`2BZWU z4R@eQz`M8+;odL@8t(NxS&ko|YS7|l3QP@8mSf8th=bAMW(AUx8Bir?akB?W$r`8< zq_`0SC9MlcY7T(aOt*_+Q5IPVsyjhD%Rwi2GJ`ts0@~9{V_0S*s$b1m76ZnW)1zWp zAh)fuX+SQlXHZ}R-4+Wy`*J}n3+PBq$d!THZ^g2Ng0incJWC^^&h$<3EbAFBO;1W- zDPz2}{bmA-7^4uVr~~aF2lXM=`~%=`xk)Uq8D$7ZNgADbc`@TV$YY$WnS~_?DG6ve0x&T#zmJGgtlt9z%6Q~ksGJs`} zo*9Td^arX0k__w|VQQ9u)Nny^`jiSZqWI1jCE17;Gl_jG7$XrAy zZ6r&{3|hc% z04V|8*##<-p-Rxg{Rl`2G~Bm9m7s(Qp>n%x?2Vd=w5@;438Ep9!WqwO zSI%Pz0ky9onRWVv0$5K9G;IP|CdKFY0@9PZSpe!uO+Qw`GM#be^mT>c7I|4IOFCo6 z^qxu<&F$euEEhoCG7=0ED?~QzSRu%;?e|Jqev)WTSp~~9grig|S<)Cgrt1~4Xinc+ z$>LG};MW0Y7aT2TBaf2621%d^3>M4S21%d^45kFzAPF>qftA!NU>_xcCNR*2g`kpo zOEV}(IG+B0fWeUkT;n=U0SRpf5zzFzr1>C&z%F=F1nqYPX}tqd!s^%z8cYBsQJE~q zJs_br(0~C)8pN8`TKVQvK!+2tPLOqKUX!#OoOFFdSzrLQu zRtR*>5@=sO52$$yo)et@ub#!0Z3(D_O{pObpu1uyHDm$k{6+E&+1}B}QoyJT8Y*!7 zvHB2$qrBscHPEpG#}#W1F*qtYo&gI?mu_aUbwLi@hse%-2r>X{Ig)c9Vs-BHX-K$1aG>;Rrqa+H9o{xJP- z4~qoj+38}vEXs_lwp;bG$S@j!P8C&Pa^!YA16uA3>90ESINpKr98p$7Gc!z^$Wp-g zbb8@L77a;QAplw9qr@Qa6ch&VfCH4%3d`^5~@$6ku8R4CdOh(SjLC@8dfS`SnY~aDYE4-?L=7)%f@iaVR;VNiQ~d+Z{XFh-Vs zMjoc=GD}!gr{7u3V#C-!U2+LaGGqVr+9fRZkT%Ql>B`H%4IlqyEUk=Zre9sgq6BLA zfNy4k9J9-^oJCUzbjK*@j2v*ohsBXc;K=lQOIhsM4uHl7$v0%X{c;vAM(!C)4}y*+ z|p zcm%&{70Vo%r%c?uplvP^puIYv>tsN)P@sb@LF@8s*04wlpltYHX5gMKxQfMXdVn7@ zi#%uy7_`_5wvhpg4RzC<*09JCwnhWp8V2q@W+v8p#(eOUs}i#cg8-)@yTFC%d)KhY zGG3T|dkssF&^*w3Kt@$Y1twKS0dBCg{aO}3!@1z&NI`(j$kr6Z_2?{r6M`i^^N6=&mvjVd~(Ddq!EZ$7b zOxsUvWRYTIYGIlV*0p^z%NEA#({r}4*h_)OZ$YCmj-WGq`apMvf_evx0!OAF-NJI2 z@fE*@r-LpsTi9>|kkPWPCb(_f8gF#;4O? z?gVEvn_Vn=j8CU$?_vpNoH>2}E|yy$f6d;_V&u}x#Kc&~Sr4l7Ig~($Ac0y_iX7lG z<3LvgYvg2sj*Ve~oZkrA*{8$?S_cH0Kw$!{9%E2on*RMTi<~eM_!K541<(PX;MAwc zFkRyai+(DT0wZ|AmLupuM$jTPkX|kp2L(>(iUuz5T1-aJ3NOZH@Tpmh*-C8Sg*LDQ z8Nuf*fsVyR9LNYd42c^wYnP?OtiV3~_->Z{j8~?&?_rT=+XLD(`(yf=JuEk2LNCBu zvq3@%(@*bZX=l7LU12|qJX_0m@Gw=yK9=PWAr;0S(<}C|C~QyN&%(^eICpyH0TyS* z-_zF~02dH~2U(JM`x!xpH-R_CaL<^2?l8*%R!8t;)r2D~vY_7U5f&rnnJnDX>khJb z)`PMecr^^@v{`T#1#N$W9G%4oy_*c2y_g}Jd!VwAy*=Q~;8$BO+R{xMTK$A_E(o!j2Ri{ZI`>k@|00#$L9kKW=sMK ze4trS83jHCK1XI~V{F58`D-kapoumC1xCcK8~1DAiMEDoED?-Hrr*5AV#N4#I?r`* z4v4=F&JVrU!PDaRud{G4GCrC9;s%R7;JN=3a4s`w4Z;l&S5Tm1y2@=9bH-iMV{Wsk zF`k^>e48bJZ2}YMM8xTWlUc;4f4I%U$vAWRuiGr3<39}UfcuGocff0?3+}Lpg42-S zEf$~p-h&K|;vnn5>lDs|xJXU}afLy$&=C)TEby8{#|eE0861Ti7l9}a1qR0tAcdX#`k>&UYY71mY4Kf2W7bMT`xCTUlhU<8s%1%z-dzU4ccM50=H8|OW zW~pWGvA8i#nQrrtMNS+v&;Yth0#qe1fR5>6fgBW7_z*lpz3m>04&(0W=kK%BPfxnf zqM-8>w6{`$iI+hNw%>F&IQI&GS8=26bDX~JK8pfG_k7Yc&U(P&$2$$v(bI@=^!C1o zEVYb*yO}_xFbnA57cdJnT_KVKS|rK@?uK%JWWbwWc|ZfgU>Q&s3Do@sZ|(+nf0@9A zDTAYkz|83}k69!bXHGAD%+jriR0^>OfJ-6Jj#<#rgvdn@i@<{Enon5t85eAie8S?v z$hc?vqNgnVjFYDuJ!2_g{5yT|GnP4w9orqAvqUj5E}1_2C5swk!Sq8fSv17YTs#0e z6N<^vKFe_rh~0AO0E58m>5Q*fKzjqCLDcE#TVJtwFs_>Z?-h%J(rFe21{Mbe(9!3h zF;UPO3h5On9hv@Py2EQ0IZz1-y46FMK>%L;Lc9PiDq*b}h$0Q_ieTj_M3Dn_ zMet%3qACKcDwqkq_=Fd)5M>2mWf-d9g)Br>2cq#Huwc5u8B?_e(gV+fcYHB`A|IYCSV7wtz%l>B1-cZlwiV)52ibQU=dY(aP$DkEP*V6)u3hy zlP&`fXh|ZYW5Wr^lCA0GA6TNaw}DDT4M?&DbqOI=o&c(_h!Uf~ZKmmR|5?PXP-Vb3 z9D#O&Zv!v1f*T|O)}g@Y2o(X*(|td(*c&dzZXv2L$U>ON^t~Thq>NxZ7I1C^TMN1> z1|bXHEL2h)3x4$l%Ycj zpy=KUjo9h)ezQnVzxS6#iD@Rw^!#5e&ZeOCETHlc)RzG*6#%biVF2Cf$0)E5stw#b z2AKmB0Gp!%)yf0W%991r>L>wYfYKMllFiV98lsXTO8_bWN=y6EErAI@EP<*-SOOLR zSps1oEZKr?2~+@N$pLgrU;+?JpehlTfCWI7Ko|&1wxU}C6#!Xs5Zw}(0N4^`s7iz- zU;&UN5C$k;F#cn4AUWTg5u5KB1a3n!APYD5hUtMHSrn(=`o|(8za8dsa83oER|U$! zFyZN<|5+4_U_2JEB5*bbb(TRln8V8w&>7Z9cbcdFXQ^XcJ^k5#mSv27Q+ruerTsuP zf&ys1u;I{keNd0o@y4V>433NfepAn~YB2gu{l@CSgPgXfdoi-^1Qo~NybC%F3EYVS zD^4M^1`4?|G+0*un3%GQDjzN5jZ=2FB7XG zqtNvGOsvYPJx8IJ9zw220NwWqy7^22)PZvZOCDlon0}F&)efAaL?L5tpptAaJRtd} zFZ|6S0m@Xe(=Rcz+FC%f1^A$F0y&BSl*Pc;zq4>d%#nubMx+w304SAgntp+q)!qV} z?4jq7gN=s@fKnhV>p(LsgTQ_?XG%jABa8=Yk&TB6fQ*M_8o2QX(2a*G zMi>tk02#jpVmvshBO4DD02vR+^6KKPc0+XXg z4(I?raGR0^bm0sKt0M!qnI4k_XvKY&BWSk>=qPl7D@>qXA_w%CbPXmR5LW3N*2pqdU%4XEas z&&Fyoy_KC+9LT;=nxdpDL)FJ{ZZgbdCk!S430+N zW4pm2J_nrLrnB>~8Zxe$Zpp)%#Rj>nbNWgi)*8k$)75xcjoB74GBVXGOb^(_B0Bwo zIV&rZz|-jxe5^W*Pp7-`u?8~EoIah8)r@iX^mBZyVxW2*)Vu+;kHF16@U%XYBTtUN z%<2F6SjFT)4QNJCs~?=K7{KT7g2r+b7$N;56Mj}R#`Dv&`B^0`AiMuT*Rm)vg4>Rc zELo6(2Ht#xNrDCqp^^eKr|;osH5lmDI2)v$J-twXRZU(}0o2FTfes8@kZ&<(R#0F9 zU4sbfBXvyQCcx?zF?LKpF3hUQcyjtjVOG%SfTjqmVfuN9-JtjY zx5z;qYj`Ukh@X%gLr)s!GFfRYisNds2Q16K^HBw)4ebS`mL z(3p#@IN0odaaIdR2rF?F@Iw5DBW%T{n@F%0F!oPhD#2RG*gsuflGQpDv9SX@sB#Ik z&jY-L1U&x03|=7X_yQ!#;`jzcfyNOyvK+z7KTbjyLoh>z8$N;L*%8V>$320z(wyAB zUy^k{qre~V zf$a`h@$|bgU}K)kveq%qoSr7fs>XO>daoR-7vqKLH{@8=89z^xXSHM8J>6a&UK)Vf zvyf!L04|atr9pu_s~Gq^TF4kczdWlBW5@J8@~m!*tEV$7u+Ek`vIKN;35Nm`=v;UK zNGsqBXmQcm={poyTSUNfq88xeZeVkwAEpN=vWl~U7R47%XOv|Xo?frWDuNj(&=7+L z$`wUcQ?Wh2K?8Xp+nCImM4;!dPM9vQ#Hz)(db*bqs}9#WX7D%wgCq0w1|?Q;)ji;F z2Q5tJ$WmkmwS%&i7?1)GR5}Yx_g7+7XFNB(9JB`;YVTYna44!Mv+6N!pB}8tstP(w z4tLU9tIX=-vY;Ef3Y8GJ9XEg^I0ZVU+p4hYLuP9j968Gz z7fdf#VKriGo4!hgbr#zjP~c9Q?xo7Asd)vwyMsf48FU=22#PO^sDS8EwD>v|0>ud;w_0`k-+?4$yG>I}ld^ z#AOF@`xYK#a8wuQn7&P&Ro-C6B2dZ#9kR=04!UnlfyvPZS~f2bg)eUBfeTIlsKF|y zx0(^O>VnyE!=i%>j?y5bSwKdg25}`oTxJmWF^DTF&@nwwgH;}MMyCd=l*k9fl6jb^ zAEtlMV3ikG4L(h60o0mg(m-SQQx|lIp8LLy_P+=2;vZq2pF8pl#Yn<5o-z z+|vz{SY)RMYqFZUEckr@vQ(KP%W(o|wH1~`0#gE7cMeqoNhBZ%P$D^_$*RqGX8Hy# zRw=0qzd-99n7|9%WwIPMz_9G1SUYIVZ%PPfqcDjx( zs|M4a{nOuo4vs0%WfkR^3##l5vQ(z)>awacJwTFToICxQE~^d)Xsm@ngGpiHr?NnmDP;Zu@$te4^(&>WH~+nu{%HnNWcUt09^(M-bV1D;UI&+hUtw4tn$+x z3|KiW8o;U%YX>>994~;@Gs2C10OCQ-gc$K3JPZHOfK|W#4``hxC>VIM9N&Nv7$kTZ z9iM_F1Uf*gD#2r7++K`K(BNPMZ9s8kuwvkcY>oj9g|j$-*`Qf{ke40#v(|#P2Qw%z ztu+Vj@pWVbHFX#vM)@!@f@d-rrn?xjN-#D}w>M(dp59@|s;YQk!a>k%E7+kMKvxyO z9JCTFA3jHq7kbsV+)8K%Xne>Tq9O-#Y^z7fK}N8V^$SL(dn!vtWk={K@491 z33CK2h^IH0usSlH-G0b~wVjdCbGnxqt1+Yc^g1(ENygjLXPB`bW?VKs#+795UCKoqM2gX14i%WEZw2hBA-pk%UZx|SuYs@4@yB4cyB1)@NTS+X3D zfY``uTYEq$6RaMRGS#6rG=NsJg4Rqu0PVwVgz&&o@&U9j8LUH93$hK@5o#cVBP=su zq0FaBV+w^VQW?uHU%bu|ICWp-K|+SGBLhf{?nF~(FnX+X3nZZ z42~*}2UfurrM_5sh`~|O@d8XhfywbAgX4r{;7zjH_N<#3PfWjW&nnA!boyU=)+&Lc zjG*&qI2AY@XMi?b{h!|Mz^Vum1>M=I!0EUGEV_M%1FIpU$XZ6wX$cDKpxdh)85EeZ z4+^Z^{@0Q933C|OH5aCXx7Y5O1#?Zqj6)2LGLC290#9ZhVsJEb+%p@dVh%{a+;I(D zU^8fouC(JD@D|)kG6>{yO`1B1StPvu! zn8BlqpyHLmU4c=bkxyX7beT|A)p}562N~3cbo)T#IN-h_H@6J~Xi<qEpQ(+S;YXl#ug;&1{$hh1Rc){X-g|IJ92>Pa?nmy z76(TbM-K2Qxzi7Xvc@x>ovskZDl3mVS_{6K0d(=zHc-C^GzJ_K#;Pas0c?!|qriP8 z(28dTMuB@w)8oQeb;Q14k>R!mRdd4A^}|`&Bq5vi9g$bBF98)5C#U;`vno&j8OF-P z3ko8hEJq}9$s?emh#j^zADq{=fJ!8YHc7}XepvnoOM?p_s5IpK0G!g0?Q)L)k#_Wf zGcrW?^qUa~H?>ST$RGd_mxSyibi4-A26gfQP>BJRhV12YoDM1;pwh^?AzKV_>V|A& z#3>EgeTdD;%OY8Wv?pBz_1<_u+X_GpBk+jv3DA+r;GhAs7#*ivJis9Ec)D^Ft2ry^ z*klt#GzqN%hc{@#8rn1Oo8A@0s>k%3ak^eKtN!$tQLNUC{nJ&WSxXrEr_YLJRS`no zATXBjd=5AuL!A_mA% zz!T8r)1Z-g&{-LvJvx2xQdR|=M-&(Z{xO5cJ3yHTG<>uDXbh_}BV+G$&Nx~1+74!bH_#lJh8_3ZOj!bS!jM54Wj$5GoCyNg*ZEN^V#$%Nvvv$b3sKAqvO@4Lkx~A0&^L;<3r1$8dbT>o8m4*$21O;%9k~n&Olph@jEeHg42~a|vX!`17!Lq&`C(l8cYn1+jm26kauKo2VI5Bs8P=Zxu+9!(ik(?5LVC? zte_MG^*;QBb`j`Z$Doy)pFx+7fWirKF(*PdqXve7jG$>h@WK2t?z}8KY}|-@8yUD$ z6&N6)=FSTacTi}97O;Vifn#(u0F7gTJgUe5In|I|g+YNG6nUWNW(P+%q>krfaZq4) z6v$FyRbT*Jlgti^IvLQZXrKf%eSRvdY(19(D`?RVCuqXw*%?OA;g#8-)0-676u5k) z!N*-aJHzM?I_6L#M~Mq^4k0A;!MBLYC@_GQ$bxQKWCNY53a;lJS&G0XuYo4p6j%k8 zGlQm6KuL!IbPMqz$SAjj0+%Cr zaVu!Ss)9KaivkPi-e3j=7SOpZyc$g4yGdCbWwI3bG?^L9nLsikSqeOw%=J(nPnLoJ zREj|XbTTDqGL2P(2{cs6!^G{#p}^(%XFq71gP8&3JqD0G1Ng|121aux5pK|EpC*$C z$ZXJk(FzQXGElFBl!MRa2aUgjl7j*$jR<^Z1lZJ|%-yu>Khn*ae`mLnY7^<)F$^g9(&M7#uG!WP#EWlLP4NLeOay3MgsC zM-er)du%yBbj!va|R>x*WZ(e3lpM}8@nsOvy zcj3ZQjsQZ$AWI39aNzglGAOWtVvkt^WS|NpnaDtriA`~$vtmkG2ITLO_>SRECz6nH^aFo6OTl0a0zx0{M&2|Sygki{xq z&#b_p$s~i60#u+W0OTkUC6Fh<3)5M_MH&O-5Lj+dDgc%D&5YilUwgO95N6=fz$ z;B)T`l%OS&8!xMr0=Q7JFk{kDU7;HUx4!ptb;A-p&Q9n7h~sL7-P@+9a4KLtid z9jGUH>Y3n{H8O*$VHDdK%$PvSYc-e@z;zp_aE4r}3o6y&RR`*&x{TmqT~N}5U^T6^43<$)HD~q!8>gTOxu0HvTR{!9r;Xe3$8M-P3y{Zj6y-p^ z1ThViKuam*z_F2~D5xN($O5jpSwM?r#Xx}tT0Re|46+m%6u3Z#z1FunO;6v+Do_u0 zt|Fg;dI0z=LN4%1elAeK2%7%o$Wml*LOvK)6^R$f%fPLGEYPZ`&aJ?uppIDbF9ccU zugI(*1Ub=Ak!l#g0O;Yy zpkpFI9^g@81D$5fsK5qF>tIidDu{xFc;E*di#l?6f|hbHmMJiLf@dTdK|3HAK`k>+ zX(dKSeoxS3E97KjUls>PP@|5y1a`8q5~Jh4|Nraly?I#`7#$h2cvxU(UP^!tCsyE8 z;9;o;xrITI*^xmJbRjJd!P96N6_~R?%??dw1|?Oe`c^0SX|&*DVO22>qn$1%$ih=k zlv2>xF31_k$Iyc9V^m-y);`d&Up$Z_SeX@gKv!FXj`Xc(0OeKiDjRV1%dEfy8cl*7 zL(9nQpunieuE44Yx=ICfh8$@01ab^5GvsJi){-nmUPlH6_H0Mi5=CiHV_88;fmuO1 z%TXa)U?-!ZDkvmbltdI%mn(^a4x;4%9ryq`3Dl{fF|MhlW5R+14fUWT#p2+|0je_< z*c3QG2ST%fHrKEzfDW({DOBQsYC+Zko)BeLfF@#&ECsMS9oT8e%%DR&rRrI;71+UN z(25ko0)PX42CXRQ3|dhu1_qEb8I-^YH(Nmja)>8b98~_-7dwJH$_zb&mRSRQ1}(D! zuLk4{T3!Y48MM5RGiZ4gm?3A-f_!RL&%grWgU+A@YXF}?3)a8^(hoX=7OVk$1}&(m z$iM?q4?2SutR8#@Em*w(NImEbTCjTX8MI*aA|Uk=pf)E+frJ@@gaTN-1c)nBugIzZ z)*xfX0GhXA1yP)!(^;9p850z(3gBP>olOe~24)2j1$Ia1d9(^3aZow|6)4cdX<0$) zK&SIU)j)-r9VN09cpW7`aRoXs8nm9hUV#^JqBJ;_@j8Md6Rbdi7kZW(E9gQGP!{I# zRAK`iVhh^-1hR!kkqtz#D1o+B!_Tl~1eF1xwOR^npyN~#d6+?phnX9+!3=tAIb*#e zi>EZV5@_~U36$YEz-N^+E3kShFvHI(2VKs>A+U-?33TeZ0w6+!t<4N?<<0!$IK(T*ca36$B9i&`b*S_extq{gkls~}RZ zAf+G<%OlKLN)n)QUSKEVawQpTr;V$E4k*WVJ~^)fD=2?qo*}IYIT0FKHz=wp@G7Xn zs}+$#CMDMC5hbh&kWGxSt)5!k8Zyb7$Ks%_zz3?)8MqY$9Cbm{7@)JjL9H<*4i*Pco27$Ei4C-Yff01<6pIo&qT03UbGtiTHDL4!OC8WT`pR$vFKQB#8iKO-WF71#@vn6p6V8M8vp zGiFp^1QmrM^-9cHx}c(q8)Ww%Mnzswm6@f$35pR;P$38&<;YfGhm?O{AvTcHKBio4s)OKTb6vzgjP^`f0D3J~8>M?^dm`r^(B=ngb6|xmL zK=%YP!dwDg;2@E$1nN90u{kz@hIc?G+6y^yWP?sP)>dExoiLiM#10NFQ2T_{v188x z27y)JPM-+4sRA0#%2LnLz&7#e$@P}PVRYA4h=>>a(lB&}S_PW~Tjt5$7 zb3lcrBTF_c5||x%AU1%^XLpUtGbeDFjg` z0a~UB>Y_3_UYmZef>oJu)pVvxR$B##^bQWtzArPTEgmjNd zKtfDrOn=xF7#y#GRs8@l`OKKUfatqmp${M?n;Fv^5d9l0^a8|Wuwr-sqWR32?tth8 ze?cC&0b(+mFQ%-jN7JLRk2FRfNpL# zW9k5@;I(4-!KT0f8UgzPqPI*h04Y2@y&I%(F4&d>APGq;h7BN^(Tr&gh(0>~AV}ft z>36DFrOao575)HCuu51lya3URW=u~&H0WM+Go}Y1ri2y41rW_-#&iZmPn)h=%_?O+ z1*~}kNJQLOd_2$e13cQXj)92Q)%GQHcQaExrzJScwDX=&?WGf0N zGdM0_%vR!1VNl>ukO$r2&Y_@W#$=+v0V%>jgG%+F)q4>B0S0p>(2W5cj`JC_lo&ym zoN*{{I67pTG5IKfSSDF!Ob(8q>tH!R!uq& zAo7ZQ$_$PZ7_*gFLEZoj32|yL2`Dmy8Xqhm<c0m(Jtd160$Rm=hjt<%2F-!1}BZC5~0-Gk2 zfH|`PlY@c?L>p+nmDN!rOMz{=cLS@Y78}ShJPKfkF@TD67SPxOvm$8z-4S|&_YKfG z_m1iF8d#mUgcR5vYUMUGuy{&?t^wdwU{qk6ZrH>sE(s1tQ1~S%i8(5|@q+F` zyv~rNBs4v-iB*r0ZTf^JRy8dlSo2naRg>AnoVfzzECEGMP^HSC03Oa~6F3H1Uoiba z6RRYn$n;-LtlErh)76?;Q&mA1R)R(^KnD(hMtl_5z-yRUxIw0{fEpc)3L?`tG_#s< zvvGrr^2-;!}?q{=2w`yT^ zt7p?-;(^4P8!z}YOt1kUQSj*qU}I5C0)-13$a@CnOacmQ3L>CH0vfSa0HqY@=pSfI zTLF|(pnQ;x$WDOxNI_bFar(4YR>^t}U4{fDR!2opMa-eW!nZ89|+Men);-$AklPsizXV z0zb6b$PCK%{GhmEt^gUY8KcAuqC>#;J6>VPay)Y40E56`CT@^$1gLS71G@i`WBS2X zR)ruokX8neAGQH+8rsMg9-Vptmn8Xw}&U<%<@gbu=iS44vflnPL)0XbWdPXUzQ zxfNAGrU!t!q0^1qSnaq#RT((pvrVsVV^yDgVIvzO!}Ph9EK1W)x3MZGgMvnh6Ex^7 zqQD99Gbr>q6c`j(vy|A(m;yk#9E6dxBButEgd&3irzVpCq<^lW#G}CK4Z4uXJKOO; zV<8_C6Eh<>bhTn&JF6Jus_7Z+th&x@Yn>F@S`<~8z{LepIsq98N@yUrfF?J<{b>OO zW_XeV&4H*Wa4M)yztPU>E8WBdn$Y4<D-Km|3YCXa)8>g zpnM0)%?zOY4ibU zV9vw*q|M zf|Lh)g5?2C_i!p;#x}PCr-I0IogP+6R?ub>j_F=KtkU&rpos_2C=7U#lM}=fP-Fw; zXBkCa5Tydj<)EC$2;%W5g4+)oOae;mAijvBOiq>=Q;q_M0*@I}h60BIyBSjogi280 za0G3o2m4L{{a#}}P)cV6590B{_Bws&VU?}t09_TX1h%aLQjYy#$a36s_5g#xQAjyf z11>MKlo&w16aW<(pwfc@GE~c;zy``{;MKMa3Id4I1vDrP@9GGEV!pzh2^{0g~N=Z-k=BrWiU_zhOEv~;BZ{Pn56dv02ISBV z&>>eWjy#T#<<8C28ySXKCyK_}0FoPzF z_gp@}V9LaxsOos&@&V8~2t@|RBh#z;SQQwzOux9BRcm_Y308r6aLJtwF6hjeHZUo$ zIG(u->dow7Qebg9bNN8S1x9mFvzNtj22+;6MP_bCWLp$K$1TA&jU3=@F=uvg`~$bR z;R?*+7AT7mbTgkB(+!Y4PeAre59wzWW4uF-gTQTBGo~{jvv9ag+KlN2=umwY#~X~$ zO$Zktj@)tu7CJkiPGfM~17b~AnZPQ}wB*Wk#@(!%;2?4!I*72iNP*k&#`J9ySQQwh zr(d7Isv`vH(Ss)RSd=(GZ4UP7(~q*sGj5r_{V1z4b3HHD^t(q{m5ewP7_uED@{|}I z89aHJ92phaK-In@qaq(DF@gr~*ub|!F@qZ1pnWB5(+!WYiqyldDF)vr;(*w10==df zv^5lRO)==WEJyI|!OV^(pd%YxdBF!jvVsicP+$f31Oz}y9aQ)!aDZC1pgWx*+gBDy zwkWEC?@?oLlmPb$Kw};ZX48)xV-;ZBGX3f?sAqm3V>Pdb)PEwN`iU9TPy;nEt{h;{ zWncge!+?5hj9H*AJ-DK?P+)e%@P(>5vjoU9;C06~;IqC^9M8)Ms$n(2lVZ#oOghkO z4j7df6gb?cZ#>Rw06JKOksCB61HCPJ`p4s}qB0La=|RHr0z5rj0i^;a21N$P8`Bp| zW|d|-fs_{fNJ$HzCDKT#6O>&YAQv&PfZBKr0yC$(Okp)=Ts6IB3ad#y4`?|WsPW<` z1F0B5OGEg;(E#dzF(~jjGFdSgDDXHkS}`an@HnzqF$gH|I5Jx?Fo2iTFJQ`6Vuu*w zr~z37!U;Zh3%s-eG>E0hsKBGkAfU(rq8OBf9NEDQAV(Ho7KeHTb_GUI!;V=2#Bu~r zrYGBEO>r#2E~r;YA)tMbJn$ zgMyG11BU{GQ)5Fzg8*m{jR7=7tRP{|z^TBXzyVo=z^=(`V9p?^z~Fdi`mw33iuLT8 z4CIf%oB<|J0IlR&rovBI3>4syRCsP({)rWo9cWe!kaS73uF4(E0R zZTkV`E&*=;0g&q*%ozj~1Qhr|5d#(oFlSIy z5OBOReeN_?DUjpcLGBd*^$OWF8NxvvcE=9JECptm-JtbB;2>paWK>`W*MN*ja*it) zvlQUIVo+dr+`$Oym_nloq?^l%VF9Q^$Zy54fl+}SG!LBsrs|m|fcOmN%m<+K2M`Tv zlq;AsXDG0P6PbWH^9+!74l9NR5G`cIPyk8^pfF`91kEaeSqnjO;IL!Z2y&=MmZCVQ z>knPB^Z?o+X9soRm6$b|4HQ*%K&e`R88myRv0OM`A!cVN@`Fr=S|O;Q zy4;bm5H#DW!DIuHumCT(^57NaR^SKOBPgw;#}69j0CBj$mhyY@ihw%Ij*MVy*}Qp0 zK#M;V*s_!uym>{YJ1%FHsOLaT!hq)g6ga^1fS~Jhz!NfTpp3!*>gs}vVII)%f*BL& zvQ$P;>jcT+Gr$hlWS+pNs0MOi4#Wc)ib9}(P5=$wYB1R-3WDS;6oo+)kD^39h~`j~ z0Zl+NIVec7I4DRc$e_f4BZGpf6H_2BlN2ac;Q=A2Ae^nl;K<;?E6J_EuOI~Sw>l`0 zq?Ke9I3N+B2IgleNh-*C@=8D=KoS%IlAs8X;C5t)P?SV9Q4(aL1iFa|=qAc4D0uRU zD@cOERu*c3I5>1c=6mysPhYcwRg$xb3A9pLzxfQI|(-+NRHB*rQt-@kekO3`& zWChJu2!Mu#%$R%>SQUiLm^>6%6;!AHnZ??s#&5<{qrj>lWX4pXzzS-j7l3BN%$U}I zCdIkTm{x#jwdpHnv&z-8frs;0K~29KAYoR}l0F$TrYoRW@iu}r;Wl`DSD@{Rj zI7%F#b&TLUO~IoB9F7{WrApw@0}e+81YaOafde!J#0*{p2bvmI0u7467dNrFfI0>o zN~)mZlTCw(MM(%W;MXX@B&H>(AEj4si1Bj$lU=DSqYFgZ@|6D=*W}>%HaGOOrV9~ z;5_5X%K*BM8WLtRKxGzkYH-K~A07!coeeY~39Zw|Umy>I6N?#WSB*Gm9#aO|I~JerxPVnmmBaDCXV~&dcE>&7Dpx>( zT|ofUPXjNEZ_Wp58A>SdISPRq(|nGrz?KLo@HxIX3vvdJ0v{+Nb13jZLWKvs zc20p0bgw&$qYTt?GTEJ1pqadOn z3aYh498XMdTg(c&PGZwyR&6mE1rg9txDbe9QDk&n0rv6q&x=`?a&v$hu8?Ny^u!D=2VGf4YQKDTD*sJT(ASyRep#IXA40DFCWE1whL;(3)o)n#>BIwxxgq zGpKC|>ZU{5mZ0WY^io!-dJbsYQUH`nIG}Ay@Q959QWFenKSLs<7=ujvayZ^#$WmZ{ zIfp@k1JvwtfKUYr93WL27@_kj3g*n9IT2 zHU)NQ%ZVM5`>?f~ruQsom8%Cgk9;8R@&L7jG?^V>%_DJ8I9Mo3fG8eCSrEmcr~qvp z@vt~3$SNoh(>fAYkbt(1WVjVTO(jPL1!(K2UQvM^(q;q~_0phK$%>x5p#4IOB?_Q@ z9|}C6=8-hFBZDFjJix#v@_<@L(tpc|;DpyJ6Z1?m`MsrZ#f>nWS z`rDPP3iTMR9v;+I4-Z)3ksCdrX1Wq`qsN#Z zv}Y08>S0$91SKnQH3ynq2eo>{6@;M`9%y+HsD2iozJC>~tdSsSc!LpA>p>NRCYKx~ zvJ}NZ!yKSigE+i$kjPRHpU$@$(P}_6ka#qi4V;*QV9g^zaE%A*cWW{ifXCr^G?*Mv zT1h;haeS!Jpk|5!52)(|7q9?@3ZnVI2HFuJuD}CYbFay418E?F0>%TWl_ZSbN)m>* zk_4gtXIBuPZoQUOS4tSvs)5$`P)V@Q9kQo?Tg9rv2v#OP{n%Pop?YCRjSi~GksC;C zpvI2^52(+o1nQr|-A-}K1(Y8U%{>W4W(6KBKH&%Z#GVJIPe2n6;2jYPu$Buur~v?K zSVP^)t^hU!;?Fc5h(EEnTqHp)7g=b_MN)xPlZgc~6L0`LqzgI%M1dWtCBxyk09-8! zfTqJiwLf?&oI`sb{zWI*Hpph@nh>sfvDAPpSQS`r2`CeU>T{8kJW3Ji`4Rty>n4503tiUI?u zZw9h_&Gh&Utm2Gork8JEm1A5reHw^rn4Y+iRh+5e!t`?+SY;VkO@9LtJpoaA0<6>m za@Q_swG;zr)dQm=FK9%K(NP98aKq^M1sqW_ki8NT3XG7o6pW5vrk~xwDk*S-0aDj6 zfM#qM94AZRWME8y)bL`$m!E_MRa=5hqJF<>n+ShJHsLCSH<^bMO>RV2YHJixO9pskcF zp!FP2K!e`$)8B4lRbe!nF0`3-CgaoTYc{ijZsGX9nKf1H4}7?@;VOKL{_6DVK2~|A zFG%B^)R-QC->Cx{X?1Yyxe6P3p8&Ud3Y0~7dcca50a(xi6~qAS^m|)bRb`;#{|Df% zI0Chs!STd&!R@TV)8`*yhy}8tZGRF7VfHYD=>i9&@z@deqb!jR^owd8&MKqaRAMegQkQPK(|eSHl8rn zDyTLqs)Bkj*-Cui!3j16wrRUq6}Uh>AkgwAfu+;6cCjuHopBA8(B@o&rSS#R@9$z& zV4N^*H>;IC(E$vZ`kJ1(n^nfJfv?4!`39ro3b^TO;HGbYvRIL4xuys7vr0i`xUA&x zTRH70t4utWDK-u>CQuAPA_X%40#3#^7#$zLo$&-}IfLU1D2r8r1$3Fh1<(W;lNr+q z5PbpUb0VC6&$t% zL4&7Y(KDb_Jb^JwkxiMwv4Ih~vk_E3vN+BGEnE{QoW5rts~rcs0xRf-ZuaR+`&nZd z*{3J$XSHT)xDFb6n7(j7tBfFrBZDFJZBR?x(pBC`Uk z0=qkS0~M>lx#|1|SXK2vNf0z4uEYi!H(~^BWCQDwz^3OqNRRmR$^)!?FpVl8jo__$ z21;O!8hA9GIl#*2GLr=~Lh%5!d4~nGF`5~YJvn$mrynspLOcc9jtc5dGf99NDxk&! zXxms8XayS+g968Nxr3|{j2zR=53;r}7Ea%DkX3_`efrabtQry=ptV#i3LK!mH6t&R zBLm1b1_k!%s)tyE7&)d_9AdTRYXa}`6;K477pK56{oo;1AI8Gze1}y@>CQ)3b>v_fY0Gt3X|dxvthCs3eY)ZVRw*AbNgfusz|!i*QE z%N}L*V`Q72bCgw52sH4k1YVcGqQnJiqH>_j_*U`qOuu`S)ta3RGO;^d{ury8J;nqm zGbG;=H;v0Rz2z9I1}AKimSg(XW8f)f@T@GzLVC^0f(Ht)&dPG3%*ulNzNQU)H4kW3 zRt{F)+jv-danm^DYEN;gOjG%q16F@^V(DpvJ;|Z`>2dKbQhld8lHSGa&NO9`}f^8rJa5(`Wew4Wma zH10fuQ9*S%Xlb1zH>l0f3JMT2NPut%JOhU@x8nw;Ebu@zs4c?nxPmDQyuS~^TfmeB zn#Kb6Zn;6#Z#`(qC6qgXDGT0@<96&|%7Tvef)3hf05xJz++)uCgHeIo@d6Vlq%OdR z;kg}8fJIIqi5vinIAkO1w=iek!KA>g4q8D1-o$!=0df#GBdB5l@1#`{P~djl!IY&W zBA_D{l-GBd!D9*A?!>Pr^=I z(8yBaQ~*s`f$9fl(2igQ(9AOjxV`}KL0w)3(0U98kl$Dpz$>UCKKyx>BB z0kpQ$KmoLf40MzLD4Z2Q4Onw#3CAU?4=^}tgJ)|Tr-0ZORv%yxcnzBG03X@Q<;GI4 zzz@Bb8&YesD)4bD@MbBogN)@+Uq0?m?GPy?cs@7`;OPW1>H>}{R?s;I8cY%j ztgtn;pzZRCs-QH(0h;l4WC3Li22ExG&>B2e1vSvRSkP3i-vw4NMwaQR7g$w&K46F#WMZc1y%(e z&?Eqp1-u!>2&ySS`2^IC0*woSjw68arz>4#)c~g%(CO{qrAgpr?F=w4fe)BrfF^p- zeT|^Yku;cO6d1tQ%R$aUPysm}eCZo#5C-gc(4Au!7(nX>8Mz(rfDTUv-6EtQBGAsH zARurTRNOI`F&$u1;C5=L2d(m8G-m=8Vj4^z7~v(8aceNWVFWKtXY`Z?ZSr$uP~-xw z8UR&y3hdzBclDr=VlGG}p{T0B;s{=+tH=VXEJ3?#+(26cL8YhTo4p4Z1VH=GxIsf$ zs!j|}FW3cMGJzECVN&4AQsM*$FeqVhYcdNcsVT64cD3cLtpOdXpvf$u0Lu4kYZTQW zM-4E7Pgtr~RZvq16VHmEYy+JZ1sw*)4&H9btpM&WfYwGsqZfP> zg#x$Z0n`I2b}&IJGX^uJJ4_1PjxWF!)*YrSfqrm+zF~r#;RFh^7fg^gF}DJPSv}Je zCIxQLo}33DZJ-V3jtq*RdPX5zi4Ar_l@jQXEJbDoZcsA^w9cLZlx0CPb_@b6icFx> zt=Pe*Td_HcWPuhYg68-bK`VDz6u>7qF@PpcK=bq>pk2YB-583Xy`&0k^`IDKgP(Q- zx|kVs4h}O1sGEW3XIYMvq2Rq z*eD*z@@()aBcLp;2swEGbe4$%BWMvM8)zDqMS)F$1yqEB=Al)Jugy8uAlP)C7mC058#2slg>I2~ECU`J*x z0o}G%4{{r*$YTTTuK~LYRNR2hk#S@MAHxE235x>wcrnmg4F%BTH@5~8 zm>|6Z$N?tcnihO;3#hOIXZb&%4R7G=0CG3zj1Yl#CT<08M`Qy)y=){CCX*&q2n3)~VGh{iQX+6l`_yN@006ESPQ?8-?Af(oIyaQ5du7IR( z3RvHCgBz?Os%uU_Ccjxh%l<)Cl|U9`-2W^y1Gf?=?id6WoTuo$dh&tk9wCkDtt`3j(0V?W+tHD)|JUG*lb zt=0mFIXw__WWnYj3_-SKde2Q(S);j(+@cH$jG2y%Zm@%T6d1F83%Mm38S@oDE@c#8 zf@BfM0d@@258h-I7W&M@%`FaAqQEGi1X3{l*-chCol0(D@I`YBN(=(mtaFqFNelcwX>Ku?7ErqZbheZNqrlPW`L|fL7-hH5y2Z-GX#D|n zzdLA764WMz^n$@cp!rGAHamzAxF7EUN-LoA^B5FZ6xam1w_m@_I+2la{`Abdtiiru zT^XQ5%^U@wtHHrS31A@&sL%%G7IS8Zbt+Jy10W%Yb+GH?FHGmW$EsV8q#wmdh<+ZZ zez4mh`eAG3!9pIOh6O0@K=%r>33P+T?^zXCL2U}q>;x<5R3bJ3P+}5<1QRIjfNm2$ z%EB!G65$4&GzAJdMuE!d2kx;3FrJz&c%Stke#mOZSTa59A*&DL zrRm!rvigRXC@_Imd`$U%kik*U@d)TfT<{sbS0Dl{KR`!=gZ3T}RKcyt#F)=mFTev% z8PSheRT+;?Z+yh+#n>_Z%p+D0;kk_5g5b6bm|#(05Li83{V}VzeFAH5?30PD+A*4GdQ+P zI0PyaK*yj@c*3eN-RB9bv>-TMKz$_Wc*}+90Z+lFflqkC>Wo)bW4g*yoCfHEB9RZ2 zGWUT_G86;lelT|qhzq&{ftv^7d<8~jKb8-g}<2nlP$Q|M;AB zp%6Hxeyl#k;3)6-VGZak<>^aau-<08J-y*2t0m*I>APOCO4qMo<^}}-qvMDD2N)c= z5Y`;4V6YfDSj3y8p}|BN-eY96i9Gz$mbq zk(&$DQDIbI63{|0H9(3K866LRjz$OD1XmS`P^B{6_7!U`A}c zC(o$?T2Et;C9r0C?rT;}{R!Z`)CLL+pbIo?K&u)YVKYh#K(|2zfQ4ZBYQglQuUQr9 zSA*}kl2C$Pha&^K4-?c>fQs?J#6Yv{;9E5uZ~O$`Xv*MtpCQZf1c);Mbe27+mH_#R z(eVN3G<&e8z>&8ERI7lwh{$`#%+14456Y;ZK>EOl6o6|$QZSj{$TD9Txw&Csxf-03 z86B5QIEWEd=a4lW2Pqf;eDHci3Y>#yzGan`5#(lJaAe?S0weBa zf0?=%L5J8KVBr33z5T*l)(%njG&7S@Gn35i@yu*T*{7Ruvl)mMmn4>?GB7aI$_g;B zGcYi;$O#!N9-( z<2x}hFvw1qnATf}< z6Q=+}A_D{1I|d94)Af1T^hF@*Kp_jl3Q7VDjyt9^3a}}0S||xH@G&qjxJ}m)VC%2f zXJBA3U|?V{WME)OR46Vf%FIhosw_!WNGvK!tW3(!&q+#YCz@UOAmzI;CSON#iL`9sYJWME(jVqjnhW?*0dIT0im!oVlT%)r2q!oa`)%8O~(&9s9XiqFUC3=D7|XD~1@ zWHK-?WHB%>WKVw~%GRx1$-uzC15KG#3=9m_3=9l4430-G9$?^J$plI` zM@xV~h=GAYPD_A+nSp`fE3W`J;6SAXD+2=qD4V!U7m;AoW=xpwAi-wMIY$eU-`7rW zkzmtjf1oA6;P~U}^j#8cvP?g;rr(rcv*WbT7GMwunL1rTlFeIpf;Lo(mH-12k|m%d z0J0=HmVx1jHY7J3ojya7?K5M|^d2d;%Zw${6QtR^84qkHlOjt^cTu({frUQD^%E=>tC2btcKB=3TkQ!8XB5h<`8jiD6OebQ=_1v zsSv85!2pv}GKYklsyW1KFtrNW3JO{Zx*C4y;<^fOy$KM#^$c)L`UuGyh$LJtF{xN% zhPePZdSU7nH5eGypji;1puuneO>acBfljOj1H%=l{u?NIq9OV53)Gh|pTR5v2=y{+>AS?cWJYE3-Z`Of|J({l4$s+KhtLW?z(_$ zj=~a)@)9A%1vo>3JhhpDfnf`@*a4Za6>J`)@&xg>F)%PV=N9A_geC>Cg1o>}3xi8GI0|7vbDP)1CC$l&4QMV-wIk!oa`~ zmROXXnFlJr8NjtJ$je6=7#NNr1?=(Z^Yq!o1y7(Eb#nSKeKvW)CPx7V83zFdTL%G# z1_uF#zUkle*_@MG9R(OV90eG<9R(Qr90eF`9R(Qd9R(O19R(Pi9R(Ny>;)KH9R(On z90VAw9RwKs90eGn90eFc9R(O>I0!JDMk?;lFfcHjg(SBttp^#nzjA_{c@C7^4%bg` zhNK!84J)QLLB%&iY2;!GCU?piQcRt7hNL){T39jl4P9JUfdQtM!v(Cjo&l~&A0ep% zk%Y^EiYW&dNHGOd4=ScYTu?0r6;l~#dSS&>4OD*viXLM~F*U~p5(+Ta!7Kq4Q#;V* zrcW?ptCl>E6v7u67#J=xFfd$VU|_fmYPi@>Pc~-LU|cnQjxn3O;uW;0Z-Vk+?VhXC z3z^yMr*oUI9bsHG{elTwHaLYb?w{^s%BHP+4auhK3=9l6pmEuMkb!$HI4*C3;xb_R zD^oUM#+B3mnX%-Ea-Z$YgEC3z4&GF_3IO?diFGqxT{Xjbvb zgya@@j^8`oz?w~5av!Kc3Tib%6@avZ@TTc~=4{%Apj_;inx0q$YJ?zVpWC2bLP|!@#XXe8#eL!SBP>2>~fHWAp9CqW}t|@ z0k!M$A&v*B0pYhG+o72g#0TMb;8Fyv74FCPAib#-V9g*kApC)W!3$d4pep_dGBl?= zu@X{N!43HYDl*Gb^GZq+b8-hHpqQ|DAz>;Rh(@r^i^a$ulmPUSq{(?EAzAl5k-(Ec>$gLd4mjG;;QZ$;tVG zvmk?_FC-VSPyb`ZCM|gvQffkD8d3J$gCvFfIFiDH=?S2e@(^0Sh9wq(0}kXB5Pmd$ zf;F3X{bP`SQz6L&Bn-k&KtY-UDMUeh5Pk}(?MgunWrPEsf!gn-;HCgP*q?*?0-0qf zR=oh3msG5)0W!l6>NiL@L@_AnDlotTAj1z50I)z(&_~F%pvi%Xpap)AA_%4)WGl$A zAUrtIY(4eTEGQoHN-}d4H5gXa3j~aH6V%D31;etOTkglL<0`<;5_(M`9 zECOHw2`XlJ0?_29Kd@!{F1R&70Nij2^vn_~1(+>G)6dznnKJzeoX+aN<|I%PBmnOBwgiE^ z;J9FVxC2`;Fwpv(F9_kv9Z6K_$J-?ZaLzD5z_KG!Ztc(CysKJ^5 delta 83572 zcmdn>Tk7vEDISKz;#@`s1_s98OvV#=%qF_avM}Z|=1)v^nYcEJm8rg-v2HRiV^Y)tNy6)nWiCq_OEb$f#UR+bcp3W;|=EdjMJDq8K*E^VRpO5)Xy}5={$2YqgOlQRc5p4 z%;rsu7nluaG8?U9yvVHE&-{b2lVt*PA9FLaNdrsa9>$~%EUQ@FGj}k5V%)~EoTY*J z9@96bQ;dfh-!QLW39UcL+{L(@c_Pyj=8W{4%-gmEj& z7MA-=f0<7+&S74|yq0+p%WvidOp};9nOj*tGJj=W&D_rXjrj*teJ9jyYgleDEoEB7 zbcfmWD^o8M#G=hCADAC7{b%0Ke1Q2N^H%2V%sZI3F>hgBz`T=rKJ#Ygz04b#Tbb7} zZ(?50yn%TZ^K9n1%x%n_ENxIjkFgwQIl-a;vZIUn3*!!!ZkAq_9+s8NeJnd!?lC`M zYB6Kl!gPe?57T?*ZsxCyyI3IfZkA@2ewG!CQ=vl~+K4(NQ7GamlR%44MoK<_ru9jE)jnj&qRt0$Gkzkog>0jy=fy z7C6UI!I48?@#J;9XX+uwb1N`9YGgTHxpja+gMq;eY`j92;~BUPh;>Jh`2tyvdyx4Y zS&mzf`D@@Dh;=MVEUvtf3M`H~W=uQ^EDDTfOdJZ6fAVEBE}opqZ_D+Q2_)#qC}2E! z4ZjTIq{%1wWd%MlDX=ocBwmd(Xm>j^mm;{U` zFB4D#=@L-IrYnsd;?vN{+5F}Rear&Jlh+96s=@j zJo&L`5aZ&>t0km22Z}i{g5!h5L4ncHAj|Q`9i-US$a4IE%vZ>Ae1XiD$Z~vu%ooUV zyn)Q;$a1`Z%s&C=z@mrQl{aj%kc1c8ipvKW1U^kplCb5u!^jiB?RbCzlwLNkmJny; zU32LGgQKM5iAx6<1X?Damy}~%Jo%mEQ2|i!@*=A~EOnnz3@YjmGXtEM{U)E3TDmz_ z)(jLFQ{-3~8I>l_k}m~W=F6?X>Zp+=@N}}Y!b!%|%}*7sF)==yd{#?^=^x|d&sw&E zlUR5dLCKXT%kjdbgA4*oCOc|JP3}?&1u1x_;sjE_gsQ+*CwOwZs-f5ukVXwA9#BGL zP+(JFabzhGm^AsEYAnwuCItbcG$t`QL04*XrrLf+XtIf!?4U2txOlU_MlEjlJb<}p zJr=h>C0%t|aJl2Y4yHRcC+OZ}WL!MiN?(<6@#X~mR+xh#p$_6PY=a3!K!tW1wSu(R zn}D>WnzVs9Z%kFW7qciax$=f7FgP+#E-*3P>~H1)(;5oZy3ZVLK?qbR%Tk^h6g=GE z;9(IsKe^gLZ}VZBHK?MSs~y~#7#B}I?9|D)c(bpwHY4Mt$(1fO(7ecu$iZ{`%r;xQ zN`e%Jx_2@zo_ybZF=NW+W)A_7L#KH5GwzwJ;#G!S;{z|S#$P@ljV-=Y7*i%o`W0iS z-8{$7lL?k2{a}f2GFaQ@`oLz8P0Yc+Odu(pnStAp(NV_{!Mkzm0E457KE({Z~oN?~}gBjBXW(8I!7IUT@%nA&S3t&nep+2|(5G>~DC8-~JB|5c0_O-*|vw{{xs(nEew#W)rY~!6StE*usAT zl035gKOSP(-vCnzvws6ffPnoM9^<$F0Fpei{VN`0*uMd$6lVVekN^SuCp^J#e*=;{ z0sB9ItV7O03qX1a*na_}2BZl``aggqPr&{SFr{$+g9HfJKjA3>|0BsG*>8m<{6B!K z19=5z{{oO+H2a@CoxCvIRO}B(3Zxdv+h8f-$^XNZh2J1aBiU++#nuflr7&B2o)Io} z_JGu&S-)X2qSRS~Bu~KpIWVO#`_F&`(0mOlH<3%7JI^sg{SU%^!81tm9ZXq}GS7C) zbF?(i>bQY9%W)4(G0X*TKmr6@@aF}77ra4|N4Vh13#=}<15*rhLC;IfI6x1B1+VbB zKzIU@JaQcTc!}l)2FC`NQkeZ4Kmr6p;J|DA_HRIvN49^)YYh7rz?8!5zW@>-VE=n?zmPJWw|$q2FqR8=2H zmJnS4s_xM;6|(#U{PJuKVEM_KDcOp9SQxk!I272BnlT)X0sbeFqCj{TFog8^G$fV5(mLR_~u-z&LqwLxwn-?K{A-t1^rjCr`eM zA$tKV%bsb3>b4(XyZ&I>^#ZIu1zr6FR*+w&uwwY7ffeMJgXrp4fYqsd z+Q2Myzia@@R)b~NVaT2U%ihRB^UDXYU0*QmdH_~$nvJHugAL@D9yScW`~a(;gsy%8 zSp5=A^%K}Yet(ayeg|0n9!&Ks!0LT+Kz^^!LHGLsuRacY`JLa z8`wdPZB+qf@Nz! zvYXfEi7_+wPF_$eG5KC0FWZT4psHc=$3j2G*OMKJTp2AVw-rri?4A5zk}NNm8%wWCL$bKgK5ai9{-i49C35413WJ)l>GCOZQxI|m{= z2VHgpSau6Uma7_6GA2}G#26DO{$=wtxEZ+>m^7GJ6u1N?Pu`EA?gCg{O`ZWWm%!xB zay5;RU{Zy}>*-oZyjpX!E3haqJDy<560n?{PzMVmZj=~Ss!s!jPhaBXSM`q=11Fzt zaO3|B8h`@1KndaorN#or&yzQHC}=-sQeXiMd2qS%GJseD3S8h(4;F3(7RQE$hK35r zXdIis0i{U$ z)+x{w$%*3LhrPm+v!@$P?k#4Y?A68%a(hMMuxE08hauw|6fbhZy~v5vi+?(5 z*dSh+T-O;Q-uCYRgCnazFS9Ezp8|_xH4E2o{vIDj zSgr4+u%gO&{&VeR6Hjp}aF?e)V z1mon%aF#Cta1)aC7R!R=M(b#39$Y%*!6F|KVK45JS41?5N1>00cA=S z$0rO~u*|En5LEOPF0^5^oV;!!sGJZyB+JVVQpXHaQ?LkB^c`51$&~=|QwqpSlN}dJ z)uUwH3Xoh4NDejQvI(Flo4^QCH-(X)!WCeJYw#$X{A9l9=8R3``|b z+5t5nWLJm_VLEB@{rOUp6IT334>CkT5M2dJ2;c+*PYBmng@HpyWpeID)5-0tzc2<) zu36&@Y3?v;FtI2xDS+%fx5k(8^W=uj;N}h!sJX)oF2psM1QeLTwF(Qj0u!XB1T}Y< z6xanOZ%$v!#>g1BId7dPG{H`uyBA(XuV3#4iA_e!$>tkCRWxPU1~ zB9kv1fcxt40Z{TZI0*7q$w5#fL+}v1d1QSkl5z6nsfU!fA#F((2JW{ulMfy0tDnTk zBhSrL5Aq0yBDkr=qsZdO0BW0o93`c|;*+GF-L9A-IBXgMoW0nF_p%RB9Ye}{e7pR}Y;>O~jz^=drYQ(dE zo4?H53Sv%-wF+X*N@4-7ybRpjjtmOo3gS+TZOu*%Fjv$!2e|SwNhvTYa5{2iDRF|# zRb=F0q{$jb6V0m?m>oGl%9eu)-^I*4%%JA}2Zk&qMo@2vF-w8j@d87Z0GhhV z2abwKw1RAh=x2630aw~O`Q1@vNl@lt)?kVOIfen$TuxA61Q!RBwT>w>PMYj@Oj2YL z3y&<+I#8^E#(PvJS0CHTxO}qVaRnJ?`VBwLOeD0+5!g9 zdB#bTdrnj^_Dp6ysUi*4e1#D*%8HdvJ_Ol1}@zImu@^cfl+m`&?#hN z6({qY&SA`%TzT4)cQK0+uPZN;0vBjze)9R#8L~4NK}!%692wntSru5dnKcxp6xbAm z6vPy`1ZGSQIWvoK(&YDNRKbD53MwNRK)Hk!R7NsD0!8<%5##g831?*(mrSlbYs0vF z@~*SCjFTq+IO}FOlZAoX5j48^XE|tb0BFXNLxIb&X9bLRVa)*s0kEnEVAkaPb83_Y zfX`&h^8$>jlfBOGWZW>B<-%4*)ycaq>}A|Ax#HqhM%B%FmqHjBRVV9R^51;vGAoFA z<4PB!>g43B69hpa%i_u_4$5i}&#_$71B)`b^0F#$C@?`pov*2ZMOj>VSrBTgu6<)X zKDqF^3ZwtzY1fq`{6R|&AZZz#5*3&oS1@J?%$t1S`U0UWY>Y>qoN9AHr7;9-F#ZY2hR#gkL+X)+$4+;>kK7BgEIL3x82l(2U&!ZOE| zdk$c;Z6^oazr%QZv;KoLMxE7+QVPtDOBk~hSOg&K6HHJxBy`>|XMsxe?1KWUHy?a> zjFoZq=m6-%Zc;sPl-02Y}X_T?Dk@5!=Xjcvfr__Og4gQFD0 zT_F9SRVff2NE);uYcS&yMn;G2KNuOc7#Xij zS7v5}=#~-yj~OC4W%^EL#&Slh>4q$fs3uL1WM%YWoHKnHE8}`~&|sMYCukA?G}NRZ zC;%5=0@qBA23ZPB0^6t8urV%Wd^lZ+oiUYrJ7_cqWRt+o>66$Q-G$(Kz!e_Ikm;}4 z87DGspI*zsIG_I^6E`m?A%f}+kXhQCj843JP99)z6m-0B5;O)iJy4HPM*JfasI=pO zt-J!Qj{_~{nZA~j(Uoz|^v|4(Tjjo-KEU9p<+$JsNE;|8p$JSr#>E)UcyPNMH)9qf z$UJZZfgjdD;0NcW>GOFQpMfJ$Wcn;##&E{o=?0RFQqy_(7`dR)HC=`e6n5LE@G*iS z5+pA%{Qy5B4@~|NKVuBzobCDoj8=?{JEvy}GDb2wOg|#XSj_0K-9m^_5fnL5!l1~3 zXuc|FGFAd^O$mTv96ES{ zE&%HCfD!arJO@?s} zI1PYwg3=&gLxoX+anANm6~=6kpM%}Y+&(=*mvJ^YGbRS;lpzl@wv_05>QHqgq@%B7J#zIEMN!uS7F~&18E}rgS!syL7 zV|tGXqYmS~={rpr%^7D-|7gOP#`KqQd!#Ajd`2Pg0;&r;!7Hl1>;&cZ>0IWF`U{+5i8mKCoCla3O2u$@bfW&vqrRN!^|@&EsSc5hy0M-D|E1zwQT zr!TN#jAxuN&6;sO9VL_+r%o27x8h8EqJC z7?)4Cvti7Y1UDl-fUE*F&=f#sLK<${kAPG$=1ga_V{`+z2{<&ErZ6e7f!Y%s8cZ{o z6xbl;V3HkU9pmEZ5A7J=DS(1oflWcgamgl->p}U8Ly=nn)VC4_Id=Pdd&cvOj4jjm zJ2J*HE}kyy#JH4k()7bljBcPf<924e%BXnY00X#=S72A*cI-I_~wllgi zvNI~d)q!N*z<7=vjt>|d&w#j}rfaz|YA{w!4|Zd0V62*c#f?#)v1&StJEJw{JSOPc z)#)DYjFT9vrr&l4OLBWKx-!n29_YcS&-9mZdXooZCF7*&jh>96(*->lg&8MJSM_9! zh6rhbTg+^Z4%y&nbL0RS3Gw;#!=8+D7#B}Z@M3geTs(cD7o#0ND6AFO71*E&X8JoX z#skPKv^u6_T_%Px3z8GBY(K!@DChWPJ18e^pAo~@3(8|^af~jE%cp0@G3LjCRy;T^ z*m{7$QPc6vR*)s2M08}!0S3oY42}~(BA`U($e|#Nl*n#u200Vd5jg>8?SQcq_!Zb3 z8`gmm|7n9~iS7e{4IzAn;(ibt0n?|MkWUZ4h^OSjMEj98HLT4FoIUo zmI#2_;2auEYZ#Tlohl9urVSt&P>Y0x8>FE`iGjsIfmZ?2)0+M_nNgW>(sacXMsco5 zETG{+4h<#+u$j{fk{Q{-Nsa?ll)%h0fN7nO%oq&rID%Y*-)P23(=AgN6~R3Om|;vH zEil7ac$l~y=YT?8+;PhmP&7<$O<}ZTI>R`fF@;ec>Ovuq@03{_6eJat!G!?}_w;oY zEQ*YireCOF5!V4pb2x5b%2HwA=XRX14!k~m4JanSark00xLoc5ncuQKFO_i{FXPGS zs>O`ujOV7$EoQV}J;}(!$~}EzDWlVNnG!}uCdQN7<;obFK#iq^<&05`4%7dXgX`3S z3Pxp6MLnewRHsg>VpN4y(b`pvrHoe77gm94(P>qT64Rp^8R2c2oJK~)>9498of+qB z*Q;Sn0#(x!YZ+x3cTQhl%b3dOuwAqc(oQn3hng%geRn;g1#qq&Y`jYYF5`Wr=P)U7 zD)56USV#j2+#ZqujcRP4ex;FdF1$UY0TyFKw1<#1K}I0>1?Ehj*92}488$P{0N2W( zBn+yRLG7U%&5UxO1}h7=7Z000gC;HB7I5<@xCPuiYHT6Bc{H83mGKJW+Ubv48T}dO zOgCy{EMVIJYC|8`zM_p$4ODcTZ)aS{xOjSD2jd+6Ni2?>ip)H$+>RWM8UlN!%XBh^ zF;3cE+{swLsJnv^RFkl1FgYkNgTjVIfz6D`M?pZ5NkK+|RRC3bxmup550^_c|hq7X7cofeT*D`WCDzJbylL+jZesCh=N2PC|+>980RNxZ$$fN*vFekJtJpDr_v&{4l zlNd$VuADu^S|6Ddz@2z@XeS;#nf?Kq0XCckcUF#o)VEA$o5FaX@#^+x zQy7mjG6qdwGmY^bM6r#dwc# z@^;_ZjINBzQ2T@hCWE%kFl#XJz=vKz7E1^`W}3e7GBc==eR>W78`%XWPrp5v(NGa= zBRe4@!Qo3oRAbw0$ShLNG(BKGV;bYd>D%WsDluM~ zerrBsOZ^2#9&XU?14a!d4p0W+5ts(qal@d%C;*mpe6RspGbk{DRA4H*$jHOR?f8L^ zvP+Dh;e`g!C=R%#1X}3E#snG@)Sv!fA!7^Ea>mIYjw*tSXRHH@(-$ma^kdYYwu;e~ zk$t+|Dn?6IPDchs_USdN7!{^JnaM28&!@q}015YEB`yW7>3p-8r9xN~1QhrL(m)g8 z3`$%OY0#WLXih+h!}0(B|Nj}hd09d7EQ-8L^$HxIr4t;AJdPZS?2e%3B#5EF0cz`V zg4$p#N<7mIHZqFWvw?ip}?ZR zW5&dyzyj*$GbnJdI4E#9GLfd{BXdcXf~11f0!y$wt0QBU5-UiHC}`j; zONrebH0-Uw1+J*M9GOZ4CQbjjhS8pJ=5&o^jOyy36ydl5Jh%z!SAYT*(uxN4uh9*?`xu!o~&!|1UcR8Z~M-5#Yg4C2j@K0<6(APePg(A~MbU zuc1&rmS9lgMijK5%0-DCQP6^hw-ouA z>J``_1ud&1hawZKpk-2E2Nks7xfd2CR##p&Pzh3^$fW=_!QPt}q?`pZIm2QF+IGjP zz|O76rN9U&dKnd%Kt(Sjs08ML2y!SeDzJizUPc8j(AWt(XohZj=SD^qJ$6Xp$__1D zSwRVnQG*FQ)x)B|sLiaQD5=1vz@Z?nz$!3f`t6O3Mq*MRABre}W&}XiYA^{Xaw@P- zSKh=J#5ies*(OF+X!D(M()82Y80Dv5-oz+u1|Cdc1PvyDCvahd3E)aqfK`E$TY)P} zi4EjV4h1$yLCdJXK3!%rqpT39paq4R0voKLo$kGvQ43_-W=4B|Q0b|_0Er2Z{}>c_ zwV62-IJB8L7F#lNfZC4>U}Y;(DGLfjL@5iJ?}7}=OlR4`=!B;Pi{HWs>Yy}kVH5{V z@quR)k(1i=HCq^u@o+#AK(P{=0^4*&Jr>RB%eOL0@Uts0f#%}DbFw0eT+VS7BdBiVV|GwrpU%6DQBw;VQ;Mt#Y}(8Wijt7H04=;! zlUXiU^E={d;YsI9>0I0eMG&~uPM01+?Xk$XPJhTek= z0!xtMg+EJ)7ZNYLuz2BeWXuB9^WdZnUSYrhn)YRMoB+}ck1lAvI1^MtFe^D3GPdKD}-`qm2=VV-qOaduG6!lJ-2{mc$V9meO|f9_!HU}W4ey=fPtlj0mE1#pWb#E}8iwqzp3sQ-DC@=}knf`Pa<55VzV8!+gyBQ6b85_4h+{dWR$hdbp?*T?x{*6rF<+$Lk zGn2r^>6Ql=6&NQ?k2=8k4crCT!IUMiYkK5C#&X8p(=Q%mlw#aG{mnr}b*asu-R2r# zZ-Ki3i~^gPKyy6;lcwt)V$^1wG(GYV<8(;B0lJ*Tjh8`z8`N(AcL+G49fIk$Ynf!G z>m5e)8$1p}`VF9k6$)&KRVgfvADAH>XViX!%Mr$RjAy1BA7wnuIA{C!ql}`A5?jG- zssoIUjG%aA(O_~>U{+uiu%51RoN)o;%IQasGo~@l*{*YfF JI^`szA&5S9icx?O zBT$~6W;A4+v|aoRBO9b+^nwu-Dr#pL?HTt>Pdm$KjT{`{2}X8MaIiaS2uzy3`z)gd zH1;w$k8QZj_!rtC1t(!vP=}NW)FBm65L9GQkXB%Vc1U5;({Ej23}9S4UHdB7 z?y9SdnNYizzr4x_vij9E#?6e2r_a02xCq=Ih3oXW!6*ajkFvq~qs2EE0~sexKYD}l z6=UP}4L2Ecgg}${oS=e)LxDqJ&vwl>jE6WFCry9zg;8JX%FKfdpth+vXpB%mLEMoe z%kj?4gA4-4r<;CdoXyxf{o+@~P{v8y)xR;iFv`DWRAd0HQf2@xFJTn;2;y>cD?qu+ zrgwd3lw$lcJ@5yk6yt*F2fj1PGp?Ne07H;%B}gO3^#1RRq8Q41elSWgy?8h6H>2eA z{offCSU`%W8%Q#XPXGOrQCa!Hy8{dY6Bt3gQ!^$T1t!NO??B_6779!X3~QZ0Yt1iA zcl^aD$GCEO{7*(vP@|M}dgU)hd9gn*g-%T7OfCvcV8t7zulvPl3ULw3^o0`4!Vqg7 z6K_qzFYt^}*)K*Vu^I27j=^OI)AWfy7)2SkO#lCjQ3~uqh~12n9Tml=hy7-hmU+Rf z$iTw|>WeZsvVhB0CeQ|KkYCZmcC`$%m1GOpUkVCLPR!;^Ixv6nDX~ufC&MhxcwoAM z1hXpR%IP+;%uZI7cVuBQ#%)Xw3sWfL{^^fcn5@|T zbb>18=}N3j>p>Gb%%HX*i=&bi!v)YmY-`;^{NknARA*0T~aPVsPYe6mW#|csRHn z|8yM$&33QoKFA;d9(V;!R0!;uUdGO(g4^wz*qQVg_e_7t&NKm1kP{paGhn*_a?t+i zCpnldnZky`*q}8Z3urII14c-dwg%)RLB|6i^&lsKmJoq9t%;^BCt$m*HkQXoET;2x<#3fd&j2LFF3ycp;Mlha;yOFKErw4RGZp$-`95cyRhu z9;P{rbG94tGVw90f(&E?DFhFvI6h#=0=FjEKsp&fqib~{Rjy(Y_%U~S_E8)fo46xjOm_2Oiheurk@dFI>0z*d#^B)AS2_}>GMUH zL>aB8Zxvyh!MJj|pD0r*-3^a_% z02-MFw;32fjY3c_L}1ePlgdo?jBI;89bgbRw4G0t=?o)d@ATVhOx|pBKw<}`>!>sN zFix6Ysm>J3wgx10X!;#>rbNcY)9o~v<|sX80+nkFpy3Ku5Q_ymT)_hBJg|TVpZ{nu zg)vT=uBXTp49eImG?`o&=T3jC$s`V5$tUcp!0*WHUc}3wz@s1xYUn|>A5B-#V$v0# z#G)X{;-Da-APH-ea5#zxOqy=5#3au6c=|d)W--P|)AN*=tQq%AU!}zKfXooM0oqH2 z76Lm!VyGc-0wgquL*Tp?(=)-3kTk%9mIgk8*NO8ef%jyA(*S5(PhisaFWO9p7#a6Z z->%DK&2|B_fMv<_AG%CMjFYBk>oFBGew=<^k4a2n5({Wo6{8~)sM8LbaOD6EVKVVD zf~Q{v_G}l`XA)p!`v5Xv@pNqirara@5cYlprWK&5&opGR6I}+{O2LxFt;piY#I48< ztrYecGC6`GTbRW`K}10q7TIi$3ed;~6_?;746ZT2&WF|*&PL$KuQ#I9>kXjk0ZP2S z0Av8v>k}aCA>ws#W~apK;1UGtb#O7Uc={0W`id{$wHf3m_!A%lpkChrVGj|nKlx3e z*IWJ^05yZadHoB>F#5#$cKbjkdC=%Yd=L|Obb?8N#f(V+GCIKwZXAF{C%_#)Hi0?Q z4+Sypf^-sBY;Ou?`p3lBxV;1pzrva1 z88=UtieLhdLx8F?a9^7QBkCOyVU)4L*=ni&^Q=Zj4l3XG1*?ko3>p~4lpjBzBd)zuzirqB*XX-R(CGEz$84~KAuTg0=&!w)P`*UnFnprDhTYEUKP(& zO$VP{08MDaeb$%7l*kGap`ynQfXt)6$6kB}=QHFe`vDT7qR(!C%tQEWyH_sL3MR(h z=>gqLid;7svmDoa1g|BLD`4_rygEI*fXRc=W;%ZlljQWX1x%|Md#6_xGO4gZRV^-L z+QGPcdQ1`18%SdsX=IH9G?WCcgke+dkdd{vVkQx`51AYo3>Riu2O$zW1^yzkGOpzQG+zOxts*|VBFJm%b z+%x?`8Pk34XNZ03(|46KMKW4UzgNek&loVBubxR9zQrEAXpRNc-i5501Gnly!yeEr z_UrI865SIgGEyw!VOz^cFA{~&F15RM9 zC>>a6%0U^E-7e6{WDiZ}s<6~s-Oc39cy;>mZYFm~8b89=JN-%zJff!m>j5Y4?Y&H| zAdW;z-rxl%VB1lX_x(O5VOaA1(Z_TiG+YW!-mJ*UdjiyvsLA_dKNAz9)Kew}aZs0; z*@;1cO8~@E05RDGo^I!z$i%`}4_^0oX4xUorieGoV4EWTfCOY5XDo*aELeGn!O_g| z#!8sLjTPXn7ZczDFP0x-aMX32u>z_>fzk0IgX08{k)SOcjx3I>3KEVBdf7ac#H1A^ z9VeV)a9q&4eZnNBw~UO3rq@kjYU2kfRA6)zbUXnv<@a{ssZ4T=91j>7xF_;52~3Y! z!BjJS>olg1j60?;pUz~#IA{8U>ELAXYdSbt9G!uYETDmnlp?@o2{=W7X52ta^B}8x zkW<9T*(9Zi=||@$wzP_qari60taM) zwgNNv<>`J~n1UF8PG7i%NmUIpyvPMQ1yumLzmpl#;sKv&3t9xhEKooF-4-St#>La6 zw=(rI`b}TCmC2uR@pRtpOe&0i)8)1?y+h%xoPK*d6EC=D3)(FS9{yty@SFZ)JCht# zlmoJ&2_&kvgGo*r;tY0(sD*%^0t09&*+PNAkz@LU9ZYf4_wHbV^p!y)k6;rm1pKC7 z-N94{^#UtgFT7vP3|bll9(A-4@SC2qlc~lMnu;Ljhbb^CusOat0a{xNTI+(!V*#&> z<_FDl9AFUGGhJ~P(^|&G)6ef>Dra0g-F-Kc2cy>X3A>r*g2rX`Fo71XyX|381kc@q zrkX*+IpDLl1fat?(;N0M^)Swx&bycCI^)slPxmsFF!oH3+Q*~~*24~6lESFK4q9Ok zUG_L{ACnzp&-A-Us-Wvy*pb$?DDG!cv;;M)*)^C%Ko&ED43U6Z%mSKlV779m^;8mFd!Q-{p@}w&^r15N11dP7f*k1n#r5-F;c@k0@Ns< zdxj~Saq;y3N14>7>z`#}XIwn};z1@I#>dk)9%nL!kDq}n2IRqq^=Fwrv;FySfI;BE z^cClr+(8Q=&oSAu^?;gNho(22WNMLE%mNy7VRmFt1dYftgPP?$paXWMpFhu3#khF7 z*99ge#>dlhFEGgR%nEE8OdQ;xe5Q4$$ z&Kjm)y3W*K{Rfl>T0r#{i{lFh@FEoj_ACWv1@>$Ob_HgEcJN}s49I#9P;CmXnwb^Y z1T41q-e9r?HOf!lL^RvJ-emG-d^O$i7Ly~R#q{P|Ow$>Ar|Y;gO9-)oHqA4F_S&#Q zJ38B4Z!>LVWDfu>Iuw{Z{qG$naUPJnkGJCh@LD>~FE z$j2VA2v}@?2vW+}JN?f+gj>|^Gdam1Jjm>50`4W;03TR#hf(0w^p^WzXCAu`c4piI zgx-z^Oab*%MVR^Ond=y99M|kVz@W&i%;0E{t;D3l0ICYim>598slX&KodtC6BWOxb zKg;pT{sRmGYZw(l`xu~|7!Cyn1xC=?9VXC{PX@;pMo(Tw1qOllOrY&dkimJ-f)ggt zA}7!WXOL}XOg!}pOpZr(gQi~v6qp=EvJ`nC(V)lbZMu7`+#NM;96 zz3a%41zI}{UL_3~SSr-> z3N*2R*V{8`Fi9w~f}}N=SU@8ypmjb1V2dx}|ETdrp&Fr#(mOU~kGBUy4 z0uo?xWY6YfV_;@xWM*Op9W~#(`v8L@JLoVl&=N7Q&=imm_-~ zWekp>Aai5}uT#-bVsva~^aeQ<5fQtGN!(vp#qxa6%_eF?vMc=S^-Wo5N9rdr*P|$aDpF10qyBKz{IV zRe*M?A)yLdv&zHBt<2!)kfp?;!k_?JY0p?_#UKMZ%M#>hmU>W9)lgu8J6=J71vEIp z0xF{)F@c<;02(&~IR=yxSU^$33|?W*3QAX?9Znzz=_s&(c9^p`>VT6F_}D-LCFmMX zutrTL6GZ_~(gCSaU~#n1a$K_iKs~4;TdODlvP1`?1X6$*z{{v0upA_f;y+M8fHZ0- zv4Y$IPNd8ZplW~teE0w}N~&Q7r5eyR5scYNtl(6`qQO+J09MJO!K4C9HQ+r75=zXV zf}fWeRNk>@Fli_;gKSa&r6JG`3q%?MYh?x}Ayx$eQ1W2~?b-kZHZwT+Xeh9N(f~9> zL8kC1f(_$PVs)%%0@Vwk1jC}qqySGaERGt`1OrkJaf~l$jWjbjKSBC++@LhWgIYr= za5^evff^4QOfrfbprT7c30e$-oDSXH0$RPs0Cr_Ps9*=p=Q3$9DJb%QihEEBUkWNN z*#-VFaf1p~MOJ9(j;PBRxj{Q41p`1iS&@uD%LF>9OOcz0k=qgK50DVTPOz2CAS>A&>%q3{pi+XL+wsf(0}PIa0^3;_reA-+bP+VK!w6am#psB% z6l%{y$Wkisf?x1B8WU)&n-M&HK3(|{WW`0rBPI)weh!d+4rKjD9x;KIQhj{{nS8=- zjKgClSH{KD+a5D1LAtezr>}bqUR}lVgvkuj`CT&I;R(}9p2aLm%(@*Icr9s|e2_r^Y)Km9bnSOcyRg{=Q8bjQXX z;^hY>ImX4)IX)tfOk{s#0*_1_{m2xfu$V=O12lNV0UB9iQQ&Z7GGk(JWK`tjhAx(I z`~)7X$oqtEuwv&YrX`U1!voWkKQkFIE}lN^Gm{=<{_xQBQ=gey7#C0X|H353xOjTn z7x0M4r7uiM?2nlg7!}#Mr#GHu5FGb1c-cBYljy6aSN&irXSAJO%*5}kU^Dr-A{I%VlgZVvN>u#vl-8i)F z_yIZq0IGGmJqNSi^iMp@6};fgHk}cgn(Bp^15n1uY^F=|F>^BhnXW6$EQ6_7pP55| zh>{*Q+_hZj5u zMXa|m6qD#}=$IOIZ$k_x;BAN^?B0eB&tZBSGW!6|l+$^{nS&T#Oph05mSXCdIlWMZ zSrWST9JF$rar!zLW^<;7S<^p?GYhk9KwA|JQDQI4EY5gjdZGlg6k=iY90_J?l^L@R zG6*0qj9xGcv|t`-vH1qM>5e}cWkD;W!QCqbQ0WU@8O_mvuwf-?GGJlwVaJt_=MhWDV(2(WQ5JhuAih33toPH2Z5oEbEM3KOMMn&co zI2AFjoSrMqY{j$(5|WJQtE8v@lV%RXw{-o=^a2@Xq-_D9rRz*<+QIR{xMBKlkmP~s zVzTh1>P#OxAh8Kwt3FAVSzq}`J6e>SX-A8a3DXPZnAJcr0zMHFeXY8p9J8+S9U@IZ zU8~O2(uw9I&|-DwIi0w|pK;~%S^pSSn0IvI3Vi5Vb>=JhRDc$%GrfR>70U%aC6?(2 zq?yIJK7dxogT|~_razQsmf-`f&Ih%(E---F&C{#&nN@g#6+xXqQ0q@1c={@R=JkB{ zKd^Giako zfdaGR3x+JmCpSR{%7Er-7&VzWKn-ig=@-qI#h4myOy6$89L~6VI=?BiHsjOj)~3um zBpX59e}gOqW=&ATRFm1msbR|NJIn%4r}LOG&y>b$#TT#@(+`+2tAk8^X~rDOxO=+0 zIkOhy)9FR#%vuQ@!IqQZp@$-gpNDBbuc~5owi+La8wdwxeU~?}pGD``7PjUivVI85( zlc(Nb8{&K*HqJLK>;{%^t0qqp53;>&OEPz>+QE&R20A^{%$;&wcnW0Wq+^!YGtOX7paIk|8 z)&d7R52R0#9nAck@%r@O5O5o3dkC`%tc~+9gt=n+Id^8E>Di&oKNx$br-Z>JxA%n+ z2y>93mmgf@>7BAF|u$NDh)Ojn75wVj|L4OPJ#&78%UHoYR6ISe$( z8Oynw(8S|&>XE5g(E`Uw>Igd=p44>xY=}0|>4~|_lG6`lGjmLD%4HUk7KYk>4#QnS)7R%ROHAj@Vdj*+fFTPS z9RwXSa&fw04zncV<>}rz%#zYqK-Q(&0xy+KLPe2M# zYy!=vfIRaQLk2Wx36gm>eJ;p~=i9gEG7B)WmpDp*tAcZR%qfhMrW@xoD|3P-{aL}g zIpXt~#lYJ{L4%3lK~hH+M+t#F(>wB+%@|Kj-=EK{0@~V|&%Bg97i!Xk0%p(_nPUaa zDvXywD#ZC^K)d=GKv@=iJlJ%>LgwX+i>L1_1gm^s$ehBlg%PSfx`;Ufe2Nw`Y^?;u z#-l~dAxdu<6~PDGfF^1cz*{##XVrifbbtzOe0@G73zNkQTHAV!P&s z>F-OKWNLV*ditx^TH#c_H}8M7(l%IOnJ znXQ%Y6KRpuO3-X0c#?_%bWS6vP5@cN!oxJ(qmo%(Yyob&K)Vkac^IeLmoSSm?U@Vp z=ZiAtaLCqJ@LpK(8ROusv0R{mIxu(H^tf_nDW)rJXyM2(ePS`QII1|~%IRDc=!zLv zPEP;{PUwJIx~+m)U!|ktAYv~pC~zTdVWhyFAUXX*DYMvg`ATMf#+B3cE5YY3fx~o3 z2i7pHtz?F7hh?6=yMkFurJE#6K*7rZiaid{BnEhvj|V*00Sn#(xUFSeIekMFvlP=E zm?zn)nP)Jbn?Apq*_rX&_Q%!C_gEMgPe0VaYz@6Vd^&R@^EuGv*=(-7oYNOHGK)-q z)5z?{STfzZiP@KN?)J_mW<^i~Z*?^MDrRfR-MD*9OD3Nut=j{Z$`x3?t*r>FyJlmoc_% ze>Z_y0(6!p`y}R0#vjusPGUA;+%nx^DYzDTIEh(acqOANFKEcdkx`KWQVZ^xEicSfLPNf?q?RC9ygcSmGQ^) zC3A_2TeW%2PW<_p8NLoBj7g@-Bg?9>Q!WDdYA860a*M-bJ3R6JY7d$WKpafbM2mU{Myc}4cnKi zy@R>Y5NiqX0n}&b=XOL{LCVa)y`7zjZMxMYX2a>PK=+6Jn9jYFsOalm%4{an$OPIp zqrt=g$+DofkRlss)De_T?=NK*2W8VAOYz6$8&EcNU_3v4)iP#P?nWlk;t`QU-=O4B zHY_=G!E(Ggly3#IzYwSxVgMb~2cCOYVBkJIJ%0srx5H1+anPWdFv$57ETH>fS+WGc z!YpP?44}jPK$9nJbw=d!2TzWL9CUpZ;JabEqn0 zF)SNs6_W-Ni$Fa@0}JT(8a4%RBa=g*etOI*=5T0D#4`QBN@h8TcF%gy8P%W*1;P84 zSU~ML(B(6rRa+=Vfre>7XXpsjD=>hjp+R$mOrVpR7#z7k4rPWq6l?-B+%XCaj^HUr z2Jkcrs00L;L9kAg0+Te#A~{w^0m!C#@TI-m53FY9WRwViBnbmhOAx-I4AiZExQ1Db zaoO}AYnTl*z}H=Y&XWQ)Y6QSaL5GSk@PixHEQ;*h3hW9XO#y3}zq1EGIezPy#Tl1P zPg}>VCjvGBytocDvB3y7V)}}8%yN7#;AK;wAOV@M{mMG#*Pu%Kzy{_?jEkoSZ)Co& z^I+mZ(BY&!S&m>9=+WIBWXzc^dx=?T`p!MfvciyQHfYrYUbV|IJ^vE3 z*>w56%sR-mkmYps%ghqfckX5O#8w|cj{paa8z^vqmL>8-k4K!|wGUh~9pA?cI&}?N zGdb^P)+VNA+CFhVa~C6QYXH6*fD+9QRYrY<>|R+m~E#g9%DW>J^L*4Ql;;V zOb)Q6E0885Xs!p8xZq93cgLCa*m^*-R{N)?onxM12s&{9qynkg#_HGrJ>BBPcks5d zKcH>;pwlfn*qB77^Iv5apU!lW`7`oKLtwu!fmU=uP8t$IJ!uG31uC6lc43?|J^d83 zJmaqE?WdUcF*a^@JI$=d$QT0h$v?(`={aYamk{j@=H?;7217-WrbdB@Os~De7 zzkHtg1>@7{doD1iFn*Y>coE#%w7JME&wqjuRKf}TWP(oLWnE+jopyQW8H@Jxvlp4! z8TU-TdXd?lF=x8yC1!U}1B(OHnPUU*4b8m748Ev{Sp#x<9jgK}==3@v1yI2&pui?D zWBR*G1e#sHE`yt0(8L{bh1nL;>@u5v;tDfA?4lwT=xLnb12o{Lv4eOGYe5Y!P!ntd zn6;hbDl-#kgD>|rW;4+7W6&d^z{Qb)KQE~I0@W1YOQr;NO;5T8jvK}6%tDNerQ1zz zFvo*tPp8~u?qJ+CUG^4pKI5+Gy|AZDzHwD{Y{zorVIl z6Qenki2}0%Gvs8X36d@5ps{xa&gA9%xpxKh=)7L*_)?%D6o$U^@I>gpQ&`N=ccbIh;uT0-}hgpRi$*AcEA2EwC zPMUu05wm3wWN8EF7_K92&^{OzYi5A00j(?pANdJB==%%Ee$XHw+%aoFCOn^B`hYnI z;tH_e*%^zbzj?syMxP+K^$->W%8W(R)gCe1LPJ7$dc`AV$pHwC-n-!7cyO0lnXzU% z%ROdi#>LY;?lG$|UYVYMk6GLf9QU9_%%COAkdw1`vLJEK+2mFdgw zGpi_olLyo`UhrCC4bbWu&~Sl{0<*xR>96j?6AQZniz7y2L2?%&u`ogQQh`<&K@tm+ zDrjO!e9XL^aq)D?C(Nphi>KQ^VSbC)Cgl2*SzZfz8X^<=X^7y_A@DMM9_VR^)BBz> zo3lXK69*{_+o#KHIQV0T6}pvBgX8d;DMYr(V+ z%xc0b89}SY!H2!DfTr)59GRx~eqdH)+Q15Sjr2-J&?R0>3JjV|Eaprg*Dyj{Gw1kp z#}CYw^(z@c{Q^eE8OOkjyc=0S{Q*YDCC6c0&_J`}IuMsfppk`#6SUxd7l_LT;(|t* z9Z!I`93U<`NcIAV%M9YOfw-4JTow=)G*aPs9mEA21v=iy((y5f&kvFY4KzD`0&#gk zT+ryU<9`qrY!j%%3Er0tA~*yZx3_&{<^(l{CwyZ54=!XrGuJbInlAW-`5)t+=>lJw z7cw57zUeFTNk}6Kv@Z6*O3*zg+q=FoKVW9OKRx>wvmE37?Onf^1z8wpO`r3R*`0CM z_9y?CqZt_+r#i4CF_vy!%(9Y+@%MILW)?|C#^2M^Sy<*Mf*M@UxS09tS?ZW-AZx~% zRX{ZbsP(VFB#<**g_R|oaq;vTR+dP{8Pl(^vdA&cnEsWOMNjJsvx2ySn7|iifzQlJ zVo61y!4Jsr(HGdU=Z-C#Kvm>)Up5vc#(mQZ*jQ`?!N<3La4 z*;&*W7f)|uXZgvvWO@w;3+N)9Jsd1ig5Zn?no8wY;D(Hmt8=m>fex?WWC7iNv5u2P zTmm#M4_fOA9*9@qQs8ui43KSd<`Y?0k@<85J3Lz^R)B zyxEHh)U5?~Btbi(K&P4_c5kBcSfJhR>6-j3woJEJr^}VHs7(Km!K^b~p`4j@dVMhq z=kzHOENb;z8xJx#a)L4jXtK?5ABYRibMl}}b_~u1&9ph51990vie*8vSKwS35cd{{ z%LDzEVXy(rG#lHg#j$q9^AlbVhS#Y@rnznO%0OEpe0vDlM8V-UM zEW(P=GjJ}r2)zvAf{g+fq0c~i*+I?%7ol&P4hAqdf;|CFWuHLOV4FZ?sN+?TX0VUJ zMd%Drlz=S;7op2QTrQAVpd!?91BlBi&^VnYmQQR`jvinT=$T$9%d(nr@^)D{78Yj4$2$&$pl ze)=R$miLU4rZ;J^sB%tXaa^$!R90@^pvB?<8lC>A&BDjX9-zPp+SWLoO_${^jI;ff zE=xAZL7*ZHbdH=pixK1V=?nE)L>ZS%->%PM!?=9=7k!pKR%y@`WC~1o|VjzS5QR&+T)nz$e0c5e}lvvr)`3q?647bDg!f` z3Pcb6_jFAQme2fhpfMwGMb4ngC?Gmr+mc0J=>rpZA+-WCXuAf3z*6u?g3OL8 zSqcmS6Q|c$viR_TPEunAb-x(|c1)MIViBAE%92G~PDqhk;4GsOivqVAqXM%6ixOyH zPXVlu8KO`T6vb97x=cMsrx#eUh)GRgZZT)}0CkKUPcUSeF1g!2{fDxVzDSN3QU?VYt3?tv3L6qYZgC7 zM#t&ywk)o^h`|O{fjQG>+OlkvMiBxZ9tYYXz@Y#dR!FsDQDNLMy~~aT)Y4mS#}bZL zxuiXdxiGxp25k$n3e4G_Y|j$L1l~dp8s-K~sxpG6ZQ$GAFFCSQGA^F(+k3D?crN$}YHcbgu!35fItr`` ztd7F4)}~O4IkN>=$Rf*(Nkf6vQ3P~7G^?XRmJ*Wy`k=%E4;Bl?Nz?BB*wX zxMzC4C(9bfE!$#}Z%+ z9pDrJjWB`s#ez;5RbYZG5ny!Ga{K@qTLiVE9KqWXSQw@s4PcqgIBR-hAd3j&tnFoi zEWa2Td$$(`v#^3LwJHx`c>&>yGEOfIW0@j03v^ZYe?}_?e+32wPH^XuQDD|~`EZtg zCjC30P1B(ALV;Oi_r#YQ%yE1JHGK zfX2eW27+|G04tn+HTg0${dVg^-EYggN zr&qn%W=+;wcBY0|E17sr$Xr(7;XN>|Q zKer>JBa`D4(9w0^Xk>I`MByRictA>FlH2dZvM4bzKArwQo<*DS>2~b|mXn|z>R%IC zUNZJ>zn{dig^AH|`jk|bMn=c&VreY?jEu9Vr=_#V^Mi+9LG7U(tHJqgN;*q%{esB{ z85}|Rl_$$_##BfP2sBlr09teco~9#jeRsB2hL>jFp#s0+uF<+uZ? zgcGHaF+XFq&R;-xvbL#Gg+kSJElQ=0}6B`1CC4qHFgx396=t2Dgo`bMpAMXNy!SR63~nT zl9CHZN_Ie%fY;c8=BvOi6?S}tq~-)z&GcEBEYbB}W+8(731|gO7ZVR!koU|!$lwSK zh(AyzXhFUNqy!oeQ)WZFiWcO1KuVxNz6Pp(>tP*mWAfR(}m_a*M1+=E`&t{p8r&cb`VKHD_ zK7C0Ji!S)0R5s`_Gz_3^zwn!pxTkNZU;$m62)WQ>yGkxgC@ACJPhydnJ}HkSlTmy6 zpFEcJjOVAX$!95JJilGJfJKZ^2vk1tGJ!g?Opa@Qf(Bxzdl#~3Gp?LoUdUq4_bV#71rIHmOC7@yflp&x>I8ftm50a8K zP$g)INbqDiUV$n>OC>)*N}wIG7f>Z=iKJ%+BK!P- zDuE=DdPi7!v;;}blo=3jLsJP%$sUjrE=W1B2C4*_N?=NEfRsSHekUMGKm|BxHkSJs zGb1Ck3(us&067I>xtl?n49enN|tJs>5}SXl#60*{poER55im$7Iu=1dnV zXQ^deJbgkriyq^Q>HEuBLb<{9?2%odUfFc{3Kl!Y&(q^7SPG%n9Vvsxj$myp(Df;f zQ+B|bGfa*GSxTTYX1OX^G#HOhH?Cy)&Uj(Eb`{G4wl7N#G6?i+zgWe>$;5bW`t2GP zOU854MQd5Y8BcD{tz`*ef?B{hY5J{t7U-lbsDTfel;wj>$|^U2I(pLuT3DuoOB?W> zT}IH^382$HK%+6Bd*=?cu%t6~Pruf|qPhKJEz1Q^zY$WT5M_Eo176bw8bPLS*Jx$= zNut3A+F7RIakfAsi_G-y4i+!Q?&%ecESl5*cd&TW|M+zPI(UFqoFI?yz=n6A=@ynd zu?_D)(=ANNgeJ`49ca1*E2&ptbi_8k15LL);6r5?9nUm_@}lG8{|7*WMW7nqaScf5 zJcxj1i#^Q;83eX5K^AjBwyc2anJ*wEtd6rm!yuq?StiTz3P@-kXsClDO#y7!6OhPu zkP>M5*#bJmcnzqB53Z|4pzfH{0?I!qhW!C)g&3y5;0QM8JjfuZt9n`vG6<}hzPgLW zhV208INc@F8T(kY85d92?PIB7JUm^Ym&FM*6UzwdhZG=ZgnQ6047$MMJNLky1cjx*Lk zheRA#tU1KssN{GCCa`xp|9lpi=?7-8NDAKs^#VbgtXM#!{WeMr0yn2`oWvrgK8b~& z8zjU5I^#uyiA9M);1TGEBmsd*pn--*AbkP?lcw*V&mzNkbGqXU7MbaNOISFj>rZA8 zg$QU^+ywW07&MqHKn8=fgRSC*7!5M>CL?Gu4_K5RQcHt&j89)UgT+Gl7RU~;6v!bU zx81_&w#OjDp>BH&(nrv3w~*a-3#1)v6_VR-;c?q-kR4zRFt^>t>9!{z!=Y|_0@4R} z+imo40}E(a+(vfWZIE`bRY-0F?X+hA?~Vh-6DTjj!)^M!Ni3l2m6lIpQNR|BPeJBE zo%56!=SA6_F3*r0@{A~lteJxDkh^#sA~O}m zA@^`P727!4yj*IYB6U99R~+GR|qo22o~~CU<02V1QnY8X*P?lBa#dUbW{K=E?}9pRwBDsX&y!WLxP=CH^x8i4j{D=;~7JDyp5fI$G#gLdR` zyaVGoqAcZNW|+>ngr$J-(R9aoEEN#fx#$cD2sY2SPMW@E9gC?6xXNv4IKbd2 z>9}PP=wJ%a+AFkt#O=6c$pHpOb;mnPKq{t-u4mEa24zM^4#ypg0(-W5uVtGg<+rgYf!adgGu&>gXi`m7?;?e?%(iq8N|*f6RxDln-s3UDj3 zgQkd>6xgT3RPasTu!lw6a5@WkTwIk=fEA*KMS&eMjRYEb1D%s3FaxwL6>^v$i@^Ko z9D7;h7~fA<-^(J;__HvLUW8d`Y`&dFii#GHQv0R>h zU_Z-i#=z-o4zNhD1v)ZvbI+Q-a36~+v%r7G>0kv<53;y3HcS^h$Z};m<6)L9jF+cx zJIrD)HHifjd!UsapvGT2ixLwrsPn)muxC2|5thr0r-)G|zdiaWiy$Lo-}c;NENqPY zD;Rkh6j&YK&OQX1++DG~={QRhBjdyAtS4D?xgLW13k(`eA=CGrWRaU5b&>^iFKOFJ z7Cpv?)3=^v31*x$o%0mSEs*D)o?1)ohs4#w-e(@a3atKeJ?avSJnAF8{EDGEAoo8WYWSleo&;=G} zmLH5fOw)5OvZzdt&tbJ;?3=AUys(!UvZxBQU|j*! zg;Ic|RtC@<7z=0{2WZ+2Dhpotj#KXm&`s&!q>fed1BA2&Hp71)^i5nyE8H(lf|iy7m- z?cR4;l9?E1O<#YX9-%TxH8V2uK1Wmg>lt(x5q5T zjEr-)S3O~Q%E)+Odcrdn&;cIR&sZcu3v>k(7!eC}7e9l|g+(y#nQr==#fb6Y^o-}= z0(|##7G1`N(_cPk31pnK-TDO!2P5OX=`Jr>>>2NEZ+Xd5!6@Gdy@~7m(gO^R;Du1& z1p;?LTw#I6>C&%R%=NZ0K~|saSayKHQ2;d64_+5=0?q}m3%CK|3JNq%Z+OjO&bV#* zj@K+|j7O&5f6WrW*fZVW4GUqLI$Pj5U3kNU zn|lw_bjD5=x#_20v1rv_=sn2bC=Rk5yrSVbh>LLWR}fbiBnus35Xb`U;b3%J(RYx+ zQOI!@h~iLSaO?mv4uJ?h(3KEbjx+iooqq7jhYKJHgbyFUxy;}N8XrJ>L69v-Ltda8 zD3*YB$#Xld2T`DV>smmJ%^(6aD94fIIHezA3uGJ&RKzhlZUxEnJ01a1piwu_;uMgw zBOt@U`$f3_F*32#GuAOVFiqEe$70Vr8MLtqoX__kfw$OVP9mXBg?ccM^*8y**P+;O^kb+$qyMqyQkt1jjl%E@Qr^9rv4=f50jrEYq zW8DW98GTZW0M$K;?^wKfr((KxDpuESfAx{2mQi9mc!2_VqYan^ny(Pa5tuZ+{xgfD zC8RV4Clv51EpS3%5&(_(F@Uyyvw*TW1Ne9_Mn}k5pA3+bCN6$v>DELlXILO*6etTT zu%Q-EECO?;w|-&KXPmQr>lYReM#i1f|9xfYXY8Hc_l>21@z?bK-&p1_Hg2Euoh6Ei zanJPcKUvfm^QX)GV$l$Pa`6D@+yo}jxs+Ex>^YYXFbF)K9{Y?`06NVKbjmWw8=!RKTstD|=phfQVz&|X)8pw9Q%UX!` z4n`#X(|i7~WXaB81TEHJ03A5Y4B8dIp$OW-1v;pfQDDY&;lC^~0&5O}8i1gc`+LBw z>GgkE(j`uVw=y$;wr|1H1S@C^_1|B3ngAbIjhQACz=JlR^IyS%jFBcpr>Fj7@s-|= zYy+bs2k6vH&_ULqgm?BIc)I89KNcCrNz=Lhvw*I}HvZ4@O=`jk&=V^y54pw7xZU5b%a*l;0s2cZgs90U`YzLAGj*b?d(m>|ds z(CH~q?;wQ1-jq;c5LgHrZU9|Rp320!PU<0O4JWvi zpQbNlWfhdtt2`ac#{NybUjC0JQyq#;EW=o&asx&N7H;l6 z(;cN)g{SwkvI;_M55sgEsG$aSdnp@+yS}lpDnYKI`!rpSoi$7qbVYy$69*`dL6#gr zmbCM*Ix>LH72N>7v24166syAYo$P4--o$}nzA-0j5#x^O%Q#sz80Sns&&irE{*zIG z9keJ!flJ^gqXM@Aj{>g(pTN)Qp-0V zVFy?MWCw%+N?2e!)}#9aDgd%$H@Y1#0f-$?l?Xe)0w6me47eQ|(CvT^qu}vfK`>zcRIfyt0bfEbWK544MyMTL4vFvJjh9V`Z7V* zos8S3CkTPFbd?Y*XwH9@5G$w>*e=AX&vLgr%MX6 zDl!UAw-#nqR$c;H(h8cfQ~)1o54!CKbbKu6R`o1Lu;iZUjl!%Bq~sk2ft@hFEf8Uq zmImh#4JJf-01JT9!`kT$qOA6$mX)>leGpDBF{qwKLZJWm&V>AUD@c-zv*m!+3nUksPaW{cJ`?7SK8i1@NsT zjvSy8n*nsKL<#t20`Lt5jtm|w4vx_J8g#TFlL8A1XqgiW=)7)l(~rfBNyL$nRe_Zo zv=SBEVgju@2CuEe9YxFxplt^lOgx||JzRO0js~3`0FnV$x;&uOD4?ceo;<6V zJg8OA2A0 z;4vwHR)H!hv(_-qoIYQfbsA&ibTbuJO~xbB6I571LlrYrSPelv4Uko!)-WW$D?s94 z`a=~~Ni#^EfGGek2ZhYtfYz;mdm7+qVgiLDsB;FnQGC0BDr+TZbZ?a!YaqDQS2I14 zk5vKGdKUCp0E%wV{Y{Y80H|QQ4yy)14hN+acuNPYm?ukM0YovVK!sJN(<{|kLBl?4 z)L8==Cr$sS&T7GUe!95^s}ff}FWwLpo4#0swScj2x`-xgC1c<8K228ZRK&g$@VL$^ z&^8qC<`B@h1SkiAMm!q83n?61Kon^3f+NcjyvE}QxYNM|QU+Q((FKxcM=0ZgDci26 z#k!wS;0t)vAJpk<0bM{bbNXLx*74DNyeko@9DCdGoF|}PnT6ep#`)BbP^~~9kM|uuYm5XU<4f=3LfbZfGbwh zWmRDN0x`x%7i>(J9%~)rr0G}nSk)NMPXD9F>cx0=y1PEBI^+B4`TDGOjN7NL(`OX} zwd^6`4{o7=uV?~!6Lfh0^!xg(V&IeLz{3&K|LL>pFg8xtHehvQTsghSfOWRioh6|C z;T#G~pwnDIwulLnu=Zd4eF1AjAk-t5`mu7)-b)#h*gVm<@B9KtU6pLn8BkB42~?*-y5-t zt3pg+0&o9N1Wir|WGjL0Cjq5smMnpzpb9`>`aUC8b;c9ZpBb?#uyq^(&B#yZF$Ra( zWMfu6#`Dt;8MA_qr@@`jWK39nTy}IHWN-wPn;cn=S3qIk1z%_bUdN-r=y(981hlpg zssuF6;dlZh!70!>P2XwCs;T+r z2qZX|K?m1~fOeTcilz@t;Ep%50<^o{FrC|sHG%QO^c*u*(6G!_GgbxV!>GeDpoL?Q z4UC|1nLnT~_%!{88LJLzkpb$Lz={kTb5=I*=|W0@V>79M19Q~+_=xfPflmw~wI0*%vEEm-B5HY}R{(1KM`bb@FL=y+Yw z5F-zCPJDvs^aM**IlYyPpdnjk#}kVVGB`?u%mJSy^%%sJ0CAZ?#{LFzMFkqCAFyDR zXIwG;fd#9S$OFUze3+>ZrpH^d$_uOn&t`$I&eBj|ay&EL){<3`5hAI+5;U|4-rd0B z;0PTGV{w$vazq*mV`AW*UR}r{JN=L)tEtP5-v{6+Vg+cm6qXbLQvzDH4pjn45g-Xr zimBx1dJ)2l(sZotG9m>jVy zBgQn-W1z!;7{E;t=t6rLu+0)#jxX@rfTk6+q7<%m0_bcVgdgBsfh*IwZCEWqtt=Z> zb3Ra~!h?~q-jN4<7G{?Xs~JE1O7biw#(KuO=@-7RDo+1k!z#*nU^<&Es}|$&>4vtf zevAjEH`uaDF&>{j+m=;>>CVCFj_;Wz86Ql)Z_6smF%y)U46;W@5AGTxFGisR$T5<5pod)9kKFFqV#a0JC6PnP2i&~24n&^mX>mgek9pRb{vK)Vav_kbWIGR8OplkUc27)%N zu9?2XkyT%33MkQn91dEgjhveQf|gLS2sDD$HG+q@pJ`(KoC!pbLnDKYP5=c&*&gsIcp@^*h z2R8N77r3zMqA2UQ4B6=m&c`rgr@wPyRbdpFF6_!0rHC9(;ANCBN5H~qdY>z+BjfSy z7hGA}85upMN4T>ZGpbGRac7leyfJ;5JL_S_CDXG!SnEKuUmmQAj1Q-Cd$Ov-5^e=J z;j;c<$P#!sJ2{ITT!0nn0F1xOu*Y$ar0E~!>Zn1f0qP?H8~^$gJBRM1MXA58}t9A`p!;N;N( zSuKlXH9|9FYmMV&(C!(~tlJh4<2HzZZc}NQ0-g^;)@%o}8M3>_@i<61s96Hmd4kU2|bNcq{LoSuoc$%s9m0DC2krF7RX~_>%TLvtcUcfCS7P*T4lfgSG=pJHFWn zQnB4KoOL22jZXL@a8>U1y08~AkE;VaBQ%h#k03x zPGJ26Jrj%zE;{{666;OI+0)l0vuZKUo_;f#RbCII(NP1Y1Z*h$xG=EXpN)qY9HpQx zny!|@s>*m{x=#vgCgZB<+frCPxj?EE7!mQ3eNWz}b#H2vUxR?rcgfvK#@uzV^2 z&ZqJM;0lJ@8hNt@=#(lACI(eT0kP?uQduKJrZ9u%oIqOz9U0se81)(X1Qtz~OJh~7 zht^gi;C?5l+JbhzS-81v7(nZ7bQu^Nxj`4qF$mlNw{Sq)<^-OC)>!H?I6$Qw9kK=P zfabLrKs%Q~vTlq_^$MW5SVc(7SCQF~15_DrXe z1``9gR|lT*294pM&E0@cVg}vfwF%Uf0gdOzrL*dZyan5?z$kDVJWip&C~%8udO|v@ zj_^lJnd$e_S!E<4hXTOL0C3&`mr+Ni2V}4+OF~Wsa712gz6VrH{=8YoQ6X-);Uf`&(=`gYrx`;>p>K>#+(BxGN96sjfjr#KpP36 z(lqP;UdY zj}_cR0S`@m03DnN4izwq(Q(bi0}KKWrmJSNnlnC_9-GZ7D|7@Lgpd{zxcA&Oy(gPh zkLd^Fbb}mL{pqi>S*;oSrmN?$mN52BpOeF?B80rxa{|cAUDMffSv5qUY~ z!I8;LiBVdC!EpEi)s3qR z+&fia;8vRcuz*#9shM$lVF9ZmqalRSg-|{a$`eAlK`1i_WdNqQYS9du4>rh|(RupI zLRMYohfLhl84FpZbWLIER2dW)KpQHMhCD$_2tfxOfDS$eIi7oZLJ_O71!yu)8INj4 zkXlv-Zge%%cNekBWMVTPtV0)52k5vL(5=p(O^skR`b4NPWZ+h2WUNPOpj$s=;^yW8 z^}QItMU*s18a#XjTCf2cby8q-WG(^qRJj$=JT`q=F{_&598ihF=yn-4L7mM<_UF-SX#I;tozNP{#^d&S74QqNY$RIk9G zr~<0C85Ee*7!?>56_gnqA24MrajP&Wa67(W%u?iV?AddGL6Hq|9WJ8^D6N1p9Qfo% z4$$T<$Q{?930Iyh$0zlmA*D5-bF-nBfSNHeC~zn+fChiTgSP0GT!Tk&IY0x>jG!YH zK+PbKji4i~7#*kV0cCOtCI?Wl?a7?ggQ9KiRPf;OIl1~Wty7(x3+>%qH6 zA=g;zC@?C3PNLMwQep*PW32!>E(nAb7#$U|AeULQDsaN?vS!p^QUKp&4ccS|%6*{t zR$_tPWz7O!`p5`AbJCGfkzIk&krC8RWz%3{abyQg46tc1G1NQW-wnOG+L6H>bW$uM zXj?0*BVEo3xaN^hUms(AS39S zO7Lmo^%Cy9ETC&O5jRkR_PsPTfG+mr1qU`Lh#Aa4vscXEa8Lwm6i{Sm%!k{1y ziZIY!$>N~9k{KX(C5wYL^RX&0fbL2b2gMcWu4K^7=NA~Vl^8$;7n6fRJ@lqz4n-Cw z&`rrq97^n9qn-&gDTs1gG6U!s z6=s1j&=iP;67-T&P<%0HFd2aEM~0*+P(oz`jiG`kxI~mdR~j>bZujMKWB^;orNH9I zT9T#23ck4;bTkfVB8VB3WkEiaQDS3(_+J8X9Vst(7!@+TzzbFhT4oEjlrdY04LnfF z3W_{XIn1iT1Ug{^G_c76S}VqwrNpAZ4!LQT0klqo8Fb(R$W02Mpb~&wmCOJ-u!9$L zNllg}6GOc@GwAGKjVvWT@Rh(CObj58F(|NTGBJQgt{60#4HVTuVIiW#4x)I#K>@0} z!51tqhK#ieD6oS)%M7{0m03X@WH7S=gC?_tITMcpv!h6s0M+QYM zW(QCvfrLLOv4IY$0iQ<93Q0m5OfpI=EDrSwpu3_FS8jt68!L3l6(q4iuiRz<-F?df zPHfDe#0E7_0(2#J4%kR8N5(8AE(JDtVv_+MRta(vEUkf8nt-miZf5j`T(Dfv;AjBS z1v;P_oVq|M&mv2SSApG802+Cq`+mW48la@(07-c&O01xiCj&`&GFgyonV~69L4g(G zb5QVbC?Kai4S34q0;N0`CeR6eGFb||;G_pid92`+r=kFIiAa{fBk(jIiy}Cb8Njz; zgF}H0bb6u;IIT_JUBxP2{~na;9Up)WrsoDFD;_1##lGI4))%4RlvLXpNmX3+U2#Na-RDR>%grEt?Jb zj&;!0-{9m0(yGAb2rXSe0j0#Mzzm6SF9y(dX)Xl@=nN<`@(sqIVz>d6XhHoo4p0fn z0lHKKRHK6{cJRf(P;dTan!c-=RjOV_2~^L6>MY2m$)L&(UZaA77I9}XBlvWCNG1l6 z3fvk@FBp{+A$bRsM7TAW-hhsl`MdW3Xqx92vm(0!$aqgsz5>;gjNBki9~c$oLG&9& zMMm-IaW$+G_3DljW*lbFWM+WmXwYPf3MgqXSTXQ}$N9hq6tOsf*`RGQkXDZpXb6Nq zYb~V6V_XY5^b>Th4QP`Tc&yN|W5!_yCq{E-2FDpQ4l^ilYchXeR00=~+?vcU7`YWS z6u2D?>a!eI>^T6kA7m1@f`&P>1=vLj8cvKg5HWSoDaG853t;LrKw-e-pdioUpdhXw z56TLPLJH#GNQX4Z_(1I(9z_liC7{R*Dli~tBJ!&+DDZ>ghev@QbWJ!%lmfS-MwSxj z#(D*Q(4mLh7!@@^*N?L(F(_y*FH~ev&~%dQaQe^C?9|xQ(lKGdfdrP6gWWXkQ3DP=TZO{bi9ttWlD^W>^UH_J*Abz92v_L7(7`V6vRL}7(vB{ z0;8w25`!bZC-}JP|NsC0XY^%paI9BgaAYoVWY2SC%uX*;VsQNT|9`!`H!oQeg z3=AL*3fYP>j*Q?W%K&P>DKaWBgPQURj3CZoX81BNh5&8!4Y~ZyaG!W=w47q4$w6@ z>vH!y74k8Fl#U{fSjbjs=>fu z#=xM!s=xxKG#Eft6)Q*qix~sxmJBde&#b|~0n@-?#=rs5zyZ<^3IebO9y10WP)8X| zX)p-D)C-s~2td>efYgg9vM7Mni$YOud8|g9Jpq1W3J%B8x&jSc8li z18ByK#f(9Qhmo6GK@i2$jE)=#PlIA#&=GV-8YnzqQcwZV!FdX-juN0q1D*W_T7j>? z>L`HVb7U#7II3iYgzLEGAQtRDlvkh60*vGQ$b9DBioFL1CjL@qY(pt=oQuybT7v4S!Tv!?>15D<~v* zK}k;xT&6043PMFe1y)UF2B-Q~vuyoCk1?pr;WrMSj%=8b+EFyC1klex! zF38zIVGGXN>Tf$?Fb zi~>@_mQz8%jH#YQfm4AO)V|_W;DMwI1uoDkE>OYGTH>gl<(N>Y#E|94nWe<&$_u(5 zlp!0uC7Xv4R&sMlaVv;GntS{jOdN_F3jCmzY|PMlM?is3K@-#<-~-jPEDC&}nwEiE zfgjW`s0WR!LE0}YEDoT?$PY#(W>8ZNycdH-i51dRSgynYa)u@Y15*5f>Oyd_1&Rnz zHK51<_BCjz0n`b>t^*t`u-cbTfgwwQ6{JvyfkBCVdR-fckt1)=Gx9juy+i>Lc{uu3p~n4ZzWYR33t`uq-7 zJ&_mSqZVg?W__8=n5KZ}chetsu-Y@en6B8#YQXqndQc~;rVvD(1Zcr0Xqbc1@!j;^ zPF7{c#nU%-vf3&@q<4TO^90P8wt(p7zn}rJ4IpO2=jnW1thV(KRSh5^CNri#pr-LV zu>C(kOg=NFFCh9WSm*mu;X2oy-L^GN(?O_M4&pAK+To~yC9@T5^8t{Aq!q&k5Y1@Dv<5`qon8P^ zxOsXvNZ|&s!XKc-B4New0z@;KF+Bm%ccvc%DO@-GPB*KR`5Lgo4Il||D~1Iin$e7D z4v1b2mYM-#id!*sfM`ZDrWO!=d%A89tCaalu!{&`10=$1#hgY6gfYZ^h67qM6N@T0r#4>GgfA5{$>D&*)>-Vf;1yXdkNu zQ@uH}fC8`MoasLOtg`i>uA3u=;|s|2p8|`cL$)HnGK1p+ z&>))%g94j^0_fmlHU$+kCKKq9yr3>^Lp^BW9^{DL0}P zW=uZd15Zq{%$OX&l{6b@_zHBg3Zoel=rk1pP`BHR$wdJy5u?C1{YO8mOg*Sx1$ELQ z6!{z(6d4uRG?^mc4FVwrHpd4HS&ocFiXu#){y&=rlMAT6kpO84P?UtoEAlBbI8I>9 zR$>Kt!_gsIi4#2N1!_)!MhX;V6j&966gUMkLA^B)R$v9SqZQp)(jCBx6l4S@GbwO_ zYAXS-fD#9&J`+HUM(`-GI$D5g1PRaxBB)!+3L3`Za8!Wv6*x4R1k9NYm>d)YARTj1 z$A#5VBTIo}`mYJBnpzwnw}V=spoWhUy9N^rsC&+=2%5Negx<&b0kovPWxDS~Rwph& z1$M`HZ(c?P!Ra$6va0h7I`WhhDX=>hc!KuK3Qj*ik=0oOwCa_~5wrt}Q9(=~3haCZ z9)ZczwI;F3F>*}zoCMzZkv)l3hF#E+t)xgvaC+Y)RwV;4r-)mL-LZkula~Q}!#BHQ zg8+!l?8u_P?%2@4;wi1j!L7ilz^K46{lO$waY=AEg2FFBNz75v4b(nxyv~rNBsg7Q zGOHdV$8`J2tZG_<&}IlLs2S&B&RhXiM8i~`eF zPG;3+B;gDDZUDL$@ zH2@?E9_0obi((QeTsT19GcX6a5Y)8dQQ!a_gaJw^ps_d5td64ssG;tV4dsJuM0Nti zM+!0mjFYFYpUNs(&!)?epv3B^2Lsa-(=lrq^AB+ZxtK#4vCR5ybL^DO*%nWPjz z6Ju-|Oc4r<;JYqZxFKFpWB@G%VRLL}%u?b|5OL&(brje@$0I1QD~Le*4$Po@F9M1z z<_eJUnlVbuAUXtWzvC5#EXO;by94(zaf5^-!0Vks9Rs%M1=Cm+6gfaz89;_GgIhi^ z3hJP0D@%!CZ5XJj%{G1GG*&5bkP{X8z?qv{Q5|GbfD)?$+w@1%Snaq#wK6!Bb4=Ho z&Z^GO0Z!!%&{WPbJz+YlZ89hd;XVNT`Am2FOH#$I~ayWEJBB?V{iWjZvy7a4M)zZ=b>HEBz1Lh~-e^;f6E_ zSrm92d2+Hqp*sEj3|8%WaEYeCCh!Y-l^OWnNOsV1`k=u=W>A$6>MXNqG9`d+t^xP_ z*c@Llz{iRO9y5VP1h^Gg*D64rsR0`D`2YVue=|-OGl6{1qr^OY=1f*TO%#`Fm@~;J zaDryDBtZT!XA%Gvz?_;)GKw10FU(|BmtX_!n3w=sSHk8vfiX)FJTlFr$T6LN7ON~H z&ve~ctjhH~j*NxU-~n8YEJY6Rm>7p6xUt9!n%x9vd=5tzQ0q||R0x13!Q6Qn9KkDs zIY48w9H3L^OxzF?Kv(vHhdVf+JD_<%V;>yQ5qus6UV&a_upve)+zJ?`FoISS z^JIeujX(|nP5HC)GC~zjXPnKdsd@pl|MUQ;X$zjJ0>>6BD5*|h1hvmWy=(=x>Hf1> zWtBA*7(grJ85GzYKQMse6f{Z%9ajg(krK!B{@JXe(rlpaPlBTcWZey`D=(V@D`@_Q zP2kt`{j*t>#5thl0mvfe1al?^=)HD7X0s~kLn0Uy35di3nhW58ObM`n@+N4@jpGB5 z(+^GeoWm-|hnirfm(F3;W`v|u6-aE0m@$FUDQ0Ygig$tOx96}*f_8!^uucCthgG^B ze0Yh3A}eUzUPO@-LVxhaZ$Tcmx&Ta^Qht1-9wy`TNN7qKvdrjV~(KEPng#Gt6|c;oT` z(A=*ggX5j)n)6u|7|%>^IK!$nUE(IIKs~su&IT8C=1dzv7sWog3~D^?VNzgmdUE+d z!v#ijQ0te)aRyVCz-eY~6k8NP=ODrMgKXe!F=uvgoN@(b@r)}li|0UDjG&>7qCh*?YT0&@eHdbI3$R%nEf;}w*t50iRq~eSrr&%rnfC*)e!7 zQ2oF*-R&ByJmZ<^Y1delnd^ADr}tcARWf2%V90iq$Wvl;Wbot#U0}`us=6H+75P9Z zPXKx=E2y+$0QGX2L9MN8tRnW1n;T6Oz&AHKfU1oYOZhVwJRD2em^%7dpcADyoB~$G`_6fm-pPac%}PCItm%u;Bvc;5qg)(_5}X z{jlmft9d=7Y7CZNCt3S$As59a4UB^r-{0H_e>P!K@4UI65J2Xh8N z1px&fD+UDxut0!0gQ9|ftO{<{2RE>{bj7AX?Chp#YQ;z-}spg)YNFkQ_Md7&d|& zDw3rr0qUwdGAMF@*0jMp&<{Xu8}Jes9dLu188pwPwOmOWveO*A%7R&gi37BmQQe6t z2y!8k`t%7aSViPGKv{SKXzdrX22+M2I7jDz#1a$*71XEeZ)X*+7w1;s%64Q>5R_Kp zQs7Wv1hLtrLEQ>2PhK%l2ckrQ5mb#c`tvgKh=I$S8H}KrFb$?TP@^X>Ld?!kNynH!2{2Xpz&r zXl0orgMtQ_pQR+NAnVBs%B_qg3eun;mj(s7B)21jqBOFBUfD|0AQL6gO;kcRQC308 zlUG7P8WftcPzyi>0|VH6Z(fP%(K}fsIsY+&mOgPPa!jw?$!a}4a5bx$iX>=>BddZO zX!9DYf);4_id8`fG`7U5APgEtVpUL|zIruln;MT9Q;h3r! z0b;fwh++Y)Sx{itU`hb52V_v-0BsylU47nUn<0V}k-$5^6pdXk9LRwNZaG2% z4eA{(CIz19-RoF&?ZGWh21jh+#{mmJa8Hw&K>-|opiVT@W-f>!^3%oEvkGZLS5PvV zK{`Gl4}%kn8R)_-2}h1B1vzLxS7Q2y4Xk3S?2b1+gUnE{*#vWL>K@03aD+j^r*A+NHrze314jCNRfW<)#AJFt0 zsNv%{18NQkvd^<x>Ssn!u1yRrp zo`~av>84v)LAN&~Zei6HlLM{K;ZPI=Q7np#jw`?(p1x=c>r!quP)ilkPMsdKmDQXZ zv{I0P0d%wm+w>`0S(QRy?NLw@6W$au=Y};Z1wb{YfC4M1HHqFHQvfw41whL}Bp~fE zaAOkG9^={uX^(*$lLFvG0&Pr!hh7xm7J=Gh;Px;>q5^ol(+ONuLr!65a747bKv7R*)*3840q6+-}6femwo0@Sw*feLJnB3X*kpsE+zggO9k zLOEnBF@sxBNDZjz_qVZ%S%C^|#9$9dg9B>5gaWRHlO(r- z5XeFaX;8(c4XT|O6!^gnCm~Qp4;oE_H=HDp8cq`6hLb8$4X5eWJ6PrF!L1`7h`T&M z4Ixct2UzP!0u&AwkY*8&qAZBVp{N9H9r3U@D99=(5z{!5P>_T+j%2wNKrJOl&@w;J z*rigvvI09KaKRQ_2uR~6K!H_30@6&9gf)}Y zcd;gjYM3)OfSNqan#>K1=Ah05s{+ULIlEXD>MCy=GUk0_x* zwThB3cy$M~Oy*GFM{V;#APlYVK+F6<)w9I( zyxpv_QbM573`R($2UQH3{c)7Yn*MhWtIG6~yIGB3Ed)ekh+mW0z=s%|*fmEI>hkXew}kmU&Ak@Pk(2Yckt_OB`@0 zcp$Zigwb0>!tfT65Y)5m3KG*_?Pb-q7Y4OppmjS`66{TfY(-Gp2(qF??uk8a_}< z7o|<}0OTwMKJc~>^frwmqaeHm0&QvBm_B1as|M4AuhS3hXEl<%0&Y%dK$#l44~eaf&zo%k?DK~S;ZNTOjkR|DyINm zJ4Jw?#TaKyuQ|vnDR6@U-kJlgeR%+GZ81KWUT}!ji*eHQ-G^8u z!6%(@LK<6~kj56L<7cS%IUQF_|9ps5)qM{OHv_jLhvN!(BMQ-+>VS)#fHbTeIUJ!) zEJqG_(~?0!%JIzf_`|F!lAxxhBa5R5xD}?r0$Nq^1T;9UFn!KpRux9m=?4$9&SZQz zJ^BbM=r)UWM_5zErd)*&n_qAlBTRb`<=@;BfX-ho=f;P~L`^a~4ErI=12`IXo)c}E6Cw&^LyS?wXC zzzvL!FW@%3f!pw5`hnxD(kP?A)})LAH-N^rF^7RuPq60lcU%MCCJ(BkSR5O!O@DZT zRi064I^#)JF&k%F{P~V(IgQFTFg z)shITRaFNq?*(llU@UR`z*v~A#P28onov~|U~y33cjN)F6$HS$T%dag6xBgph-@W3 z@ES-C1&-zhBRhaS5^#Ai&r6AKlR)ivb{Z&?(1S~T^ zY-UUipiBn7{sA)00Zwi=7#)AWt^NbIy5Ty+ldK9Xpj*E$fQI*(%$QDq=ob+G65|ra z)6-9!WtC%OoBsSPtFje%7UBY=mVQ`!PWg*+h2(|G6cxu9ukd3p?vC4>_ zW(Lg$-e3gv>KH&w(E2igNz>1rW7TC;o&M(>tGcS zwi(w!o&M8rN|5#6?F&ie_<6k zHC^x`tGEr15_qOJ8G^M44aZ0<{!T=T|Fvc|r55*6bXRY1HZQx0xlTKfA`tN8!vV zH+bfBy3ci1e$5GzEu_qsg4{%}`BL!I2iEygE|mFFQ1Bqlm&(CPst@p(`vQ--AJCY4 zKtjxciY75c(Zu3_R5DfEWZl3xX}abu)-+zoIW{by0a$^j)92h`m1bNxea9_UCGema zi{k^PEYPV6x(ptU;4RnO8cZRIYzo{OOaY3FAj(IP+3_)Gi=&jlFVGf8&>m1mMes%` zM;_1;DJ52c9wyM%8PFvQpp_3wppCqs)iU5UN8sfopyRk5B|sZS*g#{FpdIG*+zQO# zu{>Cz1lrTW?RbDOOMx4_WDdST(QyY@><2@Z60Bp&4LU?gfg3a!4jT0V_x-rR(|+8b zKBN+8Ckv=?zztdyqQDL6Mk=vEyD;32GeG9mgRTfvVu1@z059C*2K6SD*kPieeGwi? z>gLQHjG)1X|BQu>+-@umj%z^yVg?Bi4uQvv5VtR2$^s8ALu{VGl%;@h?*yhS(9{#u zr5#LJ^`M1}P;LWL7IaJ&bil}r1rumdg(_%O8Dttp34DMCsDlLF%Bduv!0ot# zDN9L2Ky~`xJFM0gY>u5%Uf*E`4+Cg0nSeKIF={effIJG?CB_6=?#l)qF#&a}K(m)% zsp$oGS-mttwHCWF1LzD^W);xF2N}=_0-)^&5?M+d0y#_$prIuhC9diB@3M-ib1E={ zhJ%?Em_f691`5myjAl$a3e2EYMWFc#GbRlMW(BV4GWS?jr@P)`)%0Kib@M>y2!J-x zf_9dI&lmvj?*@q|WPvun!4?f8ojCyU3V5+ngaU&C%XEc@tn&V|nIK0qIViC>HiEnj zDg+rotL1o@9TZp`8z5qgps2P`)Bq1Rf|ET5bh8MHgJTm&jUtPJhNAj(mHVt3^`KUx z61bMq08M@{D5(d6+mGPYdP?jHET9dY8j9+mC1~mj8X>%lpcPM`#wBQr3~0kU#-UZ9 zdWb=h1Jt&K*$i6t2ii3WI(C=?T+f3KXkc`me)>KuFF41853MjzU;yp<)lgsntr1gD z0PiM|a9pzb0E448xM|`z1;oCv8gy+9XhH&Hjslk(OT7XQ^nz>f9(Dm%1wL*CUeJ

EiGeF&;YIS zWC1NS1Emh|?s^4gT?S^zTss>i7D1bLm_c)g3}F8BeGgd$7$;3X|BzMOWD@vPY0#<; z$dCrO!2&vZ0+i&KKJh7g4yyvACX)rILI-UvRA2-Z%TP_= zRga904%smN^t4B;pi5@@AF+yYfLa5L8cY(?KjyFqPe1U8l^qfC1!9yRe10+fE3+e zRAdFwR~QvpK=c_#MGg>s0kpJ;TZ8EiXk8%#csny_mY+cpR7!wr6$K9P&M?p*DqEHk z=tu=cbj?Ijq)2^nlID!HU;x3Ro7(u5w zfr>}Pdhoe}i~{eO6u>K8SU@ghQD6ZF8aQRBfIFcqifkYsGdMC9@-l&TCorgjHl(nr zGAghMyk`>NRRC=#Va!ru2W`6ml{Vmo;sV)99N=*Y&@mp0ps8P$EZEslV3+HI+y-jS zfE0j_%kTu<;sZKv#E}tn1{jwD8z>gJKmh})Gwq+VO4nauQUZGcv|$;fQ~{Kfm~JpR z{@8PX!I4dY+wlfdmg5T$r(rLwPT|&Iy27N$4mwi;)URa*oh$)4WCe007i2364{S*y z=&%uR;}euvz$JwS69eQtn0n~qbVwEf*VUj>7_`j_>{)Pc7nFKHMW_M;+G!*5kjg|6 ze6)okmgAGwgA9%x?FShI zo-;9UJ7UVsfXjUWDK%F>=yPyf(+1V30A88}IxUA0RR6O&9)Vtu#tK@;F9F_C4_U|n zItWtr)*#_oE_Dr-B3 zkz15OficsO(Me(V8L$vUKkN{Bu-hQ|VT;+pLLQ)^5EN&in_<}mT0o5!kn2t` zWPv6!SV1SIu?c|EjQ}JhL5T!(A#Vk@AXtDKOoBxAvP|cA&ljikg$z$;+R#nEm(@%b4^i?gF6ye z9F;4D%9RFj`57ErCL98l0}KMIrpJC^bru9ih6ZBk`+?~jzkqL^i2cHY43wS0+#?_^=zaoj9*A!g7zNHUf&9YgIN{I%21hQCQiR;r z>1V&PW-(6LZt;zE0qE%Oo8MVY7}cip{a{@v1dgsBs}C_a$~%5o13CuxE@lV- zEn;wlWuOVurT(xg)UN~&bxJ5fZ=aD-fL@CVI=u@j#sd=rjf#Ln!12RR@O`BWj`ta| z93Ox399Mfl6$hA$h>sV{+&m2Rpd1Oht?ex%QZz0DNx@`( zAj^DYA1K;%yRfXRWq((@By+w{V}tioA6ObQIrg3JsIAZLMYXlDeSObW_g zj%Q{c0(lJP$~%V-F*r&hO96JD-8f|0&S;FWz>jdcH0#Jg5I_(`JqVkXgmk#g# zvP#PcaI-KtGH^425%<2oOkIqiYUlt1_hOsvs{dF!MAWXAUCVzO-R)Bnh`>G?U%*?)k6o0XA)fkBYLaSfa!#NfCG&JkvCJcG=+1Lue^ zIKBaKuCstl5S{K{#U?quNuEtwr8qOUBr`V^yGK*=N{TX5i>GJFvL#RdE5|11z`&53 zSzMf%m#&bOnVOTLkdSajL4bjufq~(+f&c@^@RZVmoXq6Jl2n)q1_p*V3IYs*U^UaZ z<=Bj-JIS#bGc(vIPA`{ZYn#4Do=ri|iBo_f5$rn#1_MyoF)%Q&KrzTzP%wh9g^~b+ zaY_OV+|v`)*o3DyD6my<>M<}d=rb@d7))nWWRtH~QWjv~ zWME*>R))ARGp{5yJ+(+7fq{X+22Cz4CqJITv7zm$uLD3k~m89GD{T75~t5sWShxou-#ILEt)aVkb!|=0s{jB2Ll6x z5d#B*F#`jG2?GOzDFgUCD258CoH+vng9QTvgCzra9}4vIo(u@JqeO1|{EkWT9(i_RZz!1g2z!1&Azz_qC3kRq{v7qo~U|@)6U|;|RU@!v% z16aFwE-3mMpvsaM7#NZn7#LC*7#LC+7#L8T#=yYf$iTqh#K6Gd%)r2qh7=^}3=9kz z3=9mJ3=9le`1C=%oubC(qYMf%9%xdjWME*ZVqjpXW^lZ7@c;w&N+wX^shNJ$fz5lm zoI0C}YApi;LvVgB$WibFRtNPYEWy=JpJ>S@Jbjirn+oHO>HF2$te7TTnf_ay%}`ZE zOMpQL6jxdT49pA+3}1N#z+ol9z`(%DzyK}{Vx|XbuxT?^Os~~ov*z5Q1xfrzrytZ{ z(`WyoCBWb~;o9`?8f>ym0@~BXG}-Jp1GEJg#6hM`kJV)J=3Jo-)3Q;MO`7wLHYDNR zoqko5?K9()=_j?=E;IH_pR3L0&3I$`OKmo3M#clvS#{awGbT)5s>?Q?iNRpHn;zRd z#s$-#>ane7bl5&spUoPi=%NAJdB&LO3k})kGya+GXvDUdanAIoMr`vL9j3P$v(0CG zFkRJzt)H=A`c@M*=XwTnh}AG!Q$bBlK|@1R2`a7(r8O05Y7{gy6+#s>7+`W%=8zz= zH5XuDVqjo^sa4QcP|#A))ks4Z*HwV)t$^sQM`+SVNKS!B!sQZ^iZwQv3xJ~&W{IK( z1H%zC3nCOW7;d2HjfghTiPd0Wcmvh{0Yy(VB**YrKtciLGngfy9HoIn4wR%|=?Ro8 zobvN?ki{Ce2b!^|Gx9bwFfg<*Ffg<-Ffg=DSF~c&He-lEYs7 zJix&HlN*%77J+jZFR}+0PnWl5GoGGg%_gC`980EK0a6UjwxEDoIeor0n>y=7TLA{9 z>5j^5#?${0<$qX_Aqy~hKgE&amo&be=CPX2qUsu060M*#*C z2LXmq2LXl|4gw6zrW-r3IVaC`6ku53D8R7TQGj8YqX0vwqX0v=qX0vsqX0v+qX0vO zy#Pb3qX2`Cg8)OYg8)OCqX0vZqX0v$qX5GO2LXmtNNM{t0|UbuNZNkWdXRzpD<{aM zXF+NEaQzBrNJ50su%hr3RQxoQMlK3ra*v!LMd4FtNFs)*g%yQ-E@&libh@K?(OgRkXVW&^3Mv&+(=kegTcA=Q1zajH z+(ya}Tc)dfuq89znO^O|wt2dpCz}l8i|KoP*ur|_$|1s0jq`^@eb@lNU;P`1H$j82l}#!OMUkn@!yI5y-!( zkg5Qr3xpqof-?nDaDwp%Lfx#uS3>;e^r6BwqWJFT2 zt_A}GL$)8(J5aAH=qfP4yxiai@iHt}6!Z~tbI{~KrN<6GNa+Dn4=#Q|7J~3#O@Q_A z1gNONaL^w$G(ctD6@S!FfR%MG{2{)5gQf@6PvQuGBq&%&!a@X8)TyA#F)_$bm-S=& zE_gOTfWaHos}F=U=;f!Y`m?30P6&kb8WsgYtjo+ROU%hkQ2=#Ci^>vnK#jc}(>MCF zNozU;2r#&VObHNR@DC7R2nrBjaBNv}kb!$8Bd9j|!N9=qlYxQZ*YvOcY~D;FLDQWA z*qj8W1POrqlyibWj&|HJeM$gZG2@o$9D!{5j4!5J1hUBq_Afukz|C>M8C-52WpG@y zJw1?3i;?ll^hrT%`U)MZ4l;0yZvb^g4vQJb^jt| z)PJC{4p8c3WMDuR2Rj(lBb=_A%O*bEB$rJ@6*K|?8pmK`WME)tWB~WBK}m~)k%0kJ zICC*FFmP}0&1K_e6y;?^v^)7285sCM>Zh;GV>1^OM3NF>WMB{mOa07alVudyE}qYJ tL4Z@7k%2*ik%2*S`-ghA)xv^upx{F)oaDE!naswa$@pjc);(;ji~w!tYiIxf diff --git a/src/lib.rs b/src/lib.rs index d47f356..dd50dd6 100644 --- a/src/lib.rs +++ b/src/lib.rs @@ -16,30 +16,17 @@ use serde::{Serialize, Deserialize}; use serde_wasm_bindgen::{from_value, to_value}; use std::time::Duration; -// #[wasm_bindgen] -// pub struct WrappedExpr { -// expr: Expr, -// } - -// #[wasm_bindgen] -// pub fn parse_str(s: &str) -> WrappedExpr { -// let expr = argus::parse_str(s); -// return WrappedExpr{ -// expr: expr.expect("fuck!!!!"), -// }; -// } - struct TraceMap<'a> { - events: HashMap<&'a str, Signal>, + traces: HashMap<&'a str, Signal>, } impl<'a> Trace for TraceMap<'a> { fn signal_names(&self) -> Vec<&str> { - self.events.keys().cloned().collect() + self.traces.keys().cloned().collect() } fn get(&self, name: &str) -> Option<&Signal> { - let sig: &dyn AnySignal = match self.events.get(name) { + let sig: &dyn AnySignal = match self.traces.get(name) { Some(signal) => signal, None => return None, }; @@ -47,42 +34,12 @@ impl<'a> Trace for TraceMap<'a> { } } - - -// type MyTrace = Vec -// struct MyResult { -// ok: , -// } - -// pub struct DefaultFalse; - -// use argus::signals::{InterpolationMethod, Sample}; - -// use argus::core::utils::Neighborhood; - -// impl InterpolationMethod for DefaultFalse { -// fn at(a: &super::Sample, b: &super::Sample, time: std::time::Duration) -> Option { -// if time == a.time { -// Some(a.value) -// } -// else if time == b.time { -// Some(b.value) -// } -// else { -// Some(false) -// } -// } - -// fn find_intersection(_a: &Neighborhood, _b: &Neighborhood) -> Option> { -// None -// } -// } - #[derive(Serialize, Deserialize)] pub struct StateBuddyTraceEntry { simtime: f64, - inputEvent: String, - outputEvents: Vec, + state: HashMap, + // inputEvent: String, + // outputEvents: Vec, } #[derive(Serialize, Deserialize)] @@ -90,43 +47,38 @@ pub struct StateBuddyTrace { entries: Vec, } -// #[wasm_bindgen] -// impl StateBuddyTrace { -// #[wasm_bindgen(constructor)] -// pub fn new(entries: &Vec) { -// StateBuddyTrace{entries} -// } -// } - - #[wasm_bindgen] pub fn eval_boolean(s: &str, js_trace: JsValue) -> JsValue { + // convert input (a sequence of state-objects) to a Trace that argus accepts: let trace: StateBuddyTrace = match from_value(js_trace) { Ok(trace) => trace, Err(e) => return JsValue::from_str("failed to parse JSON"), }; - let mut traceMap = HashMap::<&str, Signal>::new(); + let mut traceMap = HashMap::<&str, Signal>::new(); for entry in &trace.entries { - let value = traceMap.entry(entry.inputEvent.as_str()).or_insert_with(|| Signal::::Sampled { - values: vec![], - time_points: vec![], - }); - if let Signal::::Sampled { values, time_points } = value { - values.push(true); - time_points.push(Duration::from_millis(entry.simtime as u64)); - } - else { - return JsValue::from_str("this should never happen"); + for (prop, val) in &entry.state { + let signal = traceMap.entry(prop.as_str()).or_insert_with(|| Signal::::Sampled { + values: vec![], + time_points: vec![], + }); + if let Signal::::Sampled { values, time_points } = signal { + values.push(*val); + time_points.push(Duration::from_millis(entry.simtime as u64)); + } + else { + return JsValue::from_str("this should never happen"); + } } } - + // parse property string let parse_result = argus::parse_str(s); let expr = match parse_result { Ok(expr) => expr, Err(e) => return JsValue::from_str("failed to parse expression"), }; + // evaluate property on trace let eval_result = match expr { - Expr::Bool(bool_expr) => BooleanSemantics::eval::(&bool_expr, &TraceMap{events: traceMap}), + Expr::Bool(bool_expr) => BooleanSemantics::eval::(&bool_expr, &TraceMap{traces: traceMap}), _ => return JsValue::from_str("expected boolean expression (this should never happen)"), }; let mut result = Vec::::new();